Nicolas Troquard

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 OpSys-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.