Nicolas Troquard

+39 0461 314845

Institute of Cognitive Sciences and Technologies (ISTC - CNR)
Laboratory for Applied Ontology
via alla Cascata 56/C
38123 Trento, Italy


Research Fellow
  • formal ontology;
  • logic;
  • multi-agent systems;
Short profile: 

My updated pages:

I am interested in logical aspects of multi-agent systems. I received a PhD in Artificial Intelligence in 2007 from the university of Toulouse (France) and the university of Trento (Italy). Then I have benn a research associate at the university of Liverpool for 3 years. I am now back in Trento at the Laboratory for Applied Ontology (LOA).

I am currently at the LACL (Algorithmic, Complexity and Logic Laboratory) at Université Paris-Est Créteil.

I was the PI of the project "Logical Analysis of Socio-Technical Systems" (LASTS) It has received funding from the European Union's Seventh Framework Programme for research technological development and demonstration under grant agreement no PCOFUND-GA-2008-226070.

My (more up to date) site on the pages of the LOA:


Journal articles

Troquard N. Reasoning about coalitional agency and ability in the logics of "bringing-it-about". In: Autonomous Agents and Multi-Agent Systems, Springer, [Online First 04 June 2013]  image   image   image

Broersen J., Herzig A., Troquard N. From Coalition Logic to STIT. In: Electronic Notes in Theoretical Computer Science, vol. 157 (4) pp. 23 - 35. Elsevier, 2006.  image   image   image

Contribution to Book/Monograph

Troquard N., Vieu L. R. Towards a logic of agency and actions with duration. Amsterdam: IOS Press, 2006.
Troquard N., Trypuz R., Vieu L. R. Towards an ontology of agency and action. From STIT to OntoSTIT+. Amsterdam: IOS Press, 2006.


Balbiani P., Herzig A., Troquard N. Dynamic logic of propositional assignments: a well-behaved variant of PDL. In: LICS 2013 - 28th Annual IEEE/ACM Symposium on Logic in Computer Science (New Orleans, LA, USA, 25-28 June 2013). Proceedings, pp. 143 - 152. IEEE/ACM, 2013.  image   image   image
Troquard N. A simple logic of tool manipulation. In: AISB Convention 2013, Symposium the SOCIAL.PATH (Exeter, UK, 3-5 April 2013). Proceedings, pp. 80 - 82. H. Verhagen, P. Noriega, T. Balke, M. de Vos (eds.). The Society for the Study of Artificial Intelligence and the Simulation of Behaviour, 2013.  image   image
van der Hoek W., Troquard N., Wooldridge M. Reasoning about Choice. In: AT-2013 - Agreement Technologies, Second International Conference, 2013. Proceedings (Beijing, China, 1-2 August 2013). Proceedings, pp. 4 - 18. C. I. Chesñevar, E. Onaindia, S. Ossowski, G. Vouros (eds.). (Lecture Notes in Computer Science, vol. 8068). Springer, 2013.  image   image   image

Herzig A., de Lima T., Lorini E., Troquard N. A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions. In: DEON'12 - Deontic Logic in Computer Science, 11th International Conference, DEON 2012. Proceedings (Bergen, Norway, 16-18 July 2012). Proceedings, pp. 170 - 183. T. Ågotnes, J. Broersen, D. Elgesem (eds.). (Lecture Notes in Computer Science, vol. 7393). Springer, 2012.  image   image   image
Troquard N. Coalitional Agency and Evidence-Based Ability. In: AAMAS'12 - 11th International Conference on Autonomous Agents and Multiagent Systems, Proceedings (Valencia, Spain, 4-8 June 2012). Proceedings, vol. 3 pp. 1245 - 1246. (Autonomous Agents and Multi-Agent Systems). International Foundation for Autonomous Agents and Multiagent Systems, 2012.  image   image
Troquard N., Walther D. On satisfiability in ATL with strategy contexts. In: JELIA'12 - Logics in Artificial Intelligence, 13th European Conference, JELIA 2012. Proceedings (Toulouse, 26-28 September 2012). Proceedings, pp. 398 - 410. L. Fariñas del Cerro, A. Herzig, J. Mengin (eds.). (Lecture Notes in Computer Science, vol. 7519). Springer, 2012.  image   image   image

Herzig A., Lorini E., Troquard N. A dynamic logic of institutional actions. In: CLIMA'12 - COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS,12 International Conference. Proceedings (Barcelona, Spain, 17-18 July 2011). Proceedings, pp. 295 - 311. J. Leite, P. Torroni, T. Agotnes, G.Boella, L. Torre van der (eds.). (Lecture Notes in Artificial Intelligence, vol. 6814). Springer, 2011.  image   image   image

Troquard N., Trypuz R., Vieu L. R. Ontology of Agency. From modal logics to first-order theories. In: Studia Logica International Conference - Towards Mathematical Philosophy - Trends in Logic IV (Torun, Poland, ). Proceedings, 2006.


Troquard N. Learning and Practice of the Property Specification Language. vol. 28 (5) pp. 110 - 111. IEEE Computer Society Press, 2011.  image   image   image



Mon, 16/05/2011 - Thu, 15/05/2014
Provincia Autonoma di Trento

Taking part in