Nicolas Troquard @ unibz
I am a researcher at the KRDB research center in Bozen-Bolzano (Italy), and a research associate at the Laboratoire d'Algorithmique, Complexité et Logique in Créteil (France).
From 2014 to 2016, I was a teacher and researcher (ATER) at Université Paris-Est Créteil and at the technical institute of Sénart-Fontainebleau. From 2010 to 2014, I was a Marie Curie fellow, working on my project Logical Analysis of Socio-Technical Systems at the Institute of Cognitive Siences and Technologies (LOA-ISTC-CNR, Trento). From 2007 to 2010, I was a research associate at the University of Liverpool. I obtained my PhD in Artificial Intelligence in 2007 from the University of Toulouse and the University of Trento.
I am a computer scientist. I am interested in logic, artificial intelligence, multiagent systems, ontologies, games, social choice, and formal philosophy.
- Co-teaching a course on Logics of Agency at EASSS 2018, Maastricht, The Netherlands, June 18-22 2018. The page of the course is here.
- Our paper The complexity of rational synthesis for concurrent games was accepted at CONCUR 2018.
- Our paper The Mouse and the Ball: Towards a cognitively-based and ontologically-grounded logic of agency was accepted at FOIS 2018.
- Our paper Modeling manufacturing resources: An ontological approach was accepted at PLM 2018.
- Our paper Two Approaches to Ontology Aggregation Based on Axiom Weakening was accepted at IJCAI-ECAI 2018. A version Social Mechanisms for the Collective Engineering of Ontologies will also be presented at COMSOC 2018.
- Co-organizing the workshop BadOntoloGy @ JOWO 2018 @ FOIS 2018.
- Program Committee member KR 2018.
- Program Committee member FOIS 2018.
- Teaching labs, Operating Systems CoSyOpSy-1718.
- My paper Rich Coalitional Resource Games was accepted at AAAI 2018.
- Our paper Repairing Ontologies via Axiom Weakening was accepted at AAAI 2018.
- Program Committee member IJCAI-ECAI-18.