Marie Curie postdoctoral research fellow.

Contact

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

voice: +39 0461 314843
fax: +39 0461 314875
troquard [at] loa.istc [dot] cnr [another dot] it

Publications

DBLP & Google Scholar

2012 - 2011 - 2010 - 2009 - 2008 - 2007 - 2006
Other communications:
Theses
Other communications

2012

Nicolas Troquard and Dirk Walther.
ATL with contexts: agency and explicit strategies.
In 5th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS@AAMAS'12).
[ .pdf ]

Nicolas Troquard.
Coalitional Agency and Evidence-Based Ability.
In 11th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'12), Valencia, Spain. IFAAMAS, 2012. (Short paper).
[ .pdf ]

Emiliano Lorini, Nicolas Troquard, Andreas Herzig and Jan Broersen.
Grounding power on actions and mental attitudes.
To appear in Logic Journal of the IGPL.
doi: 10.1093/jigpal/jzr039
[ .pdf (preprint) | OUP ]

2011

Nicolas Troquard.
Learning and Practice of the Property Specification Language.
In IEEE Design and Test of Computers, 28(5):110-111, IEEE Computer Society Press, Sep./Oct. 2011
doi:10.1109/MDT.2011.111
[ ieee ]

Andreas Herzig, Emiliano Lorini, and Nicolas Troquard.
A dynamic logic of institutional actions.
In 12th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XII @IJCAI'11), Barcelona, Spain. Volume 6814 of Lecture Notes in Computer Science (LNCS), pages 295-311. Springer, 2011.
[ .pdf | springer ]

Nicolas Troquard, Wiebe van der Hoek, and Michael Wooldridge.
Reasoning About Social Choice Functions.
In Journal of Philosophical Logic, 40(4):473-498. Springer, 2011.
doi:10.1007/s10992-011-9189-z
[ .pdf (preprint) | springer ]

Andreas Herzig, Emiliano Lorini, Frédéric Moisan, and Nicolas Troquard.
A dynamic logic of normative systems.
In 22nd International Joint Conference on Artificial Intelligence (IJCAI'11), Barcelona, Spain, pages 228-233. Morgan Kaufmanm, 2011.
[ .pdf (corrected) | erratum | ijcai ]

Wiebe van der Hoek, Nicolas Troquard, and Michael Wooldridge.
Knowledge and Control.
In 10th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'11), Taipei, Taiwan, pages 719-726. IFAAMAS, 2011.
[ .pdf | acm ]

2010

Andreas Herzig and Nicolas Troquard.
Dynamic languages of propositional control for protocol specification.
In Workshop 'Logics in Security' (LIS@ESSLLI'10).
[ .pdf ]

Nicolas Troquard.
Playing equilibria: What's the outcome function, again?
In 9th Conference on Logic and the Foundations of Game and Decision Theory (LOFT'10).
[ .pdf ]

Nicolas Troquard and Dirk Walther.
Alternating-time Dynamic Logic.
In 9th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'10), Toronto, Canada, pages 473-480. IFAAMAS, 2010.
[ .pdf | acm ]

2009

Jan Broersen, Andreas Herzig, and Nicolas Troquard.
What groups do, can do, and know they can do: an analysis in normal modal logics.
In Journal of Applied Non-Classical Logics (JANCL), 19(3):261-290. Hermès-Lavoisier, 2009.
doi:10.3166/jancl.19.261­289
[ .pdf (preprint) | jancl ]

Nicolas Troquard, Wiebe van der Hoek, and Michael Wooldridge.
A logic of propositional control for truthful implementations.
In Theoretical Aspects of Rationality and Knowledge (TARK XII), Stanford, CA, pages 237-246. ACM DL, 2009.
[ .pdf | acm ]

Nicolas Troquard, Wiebe van der Hoek, and Michael Wooldridge.
A Logic of Games and Propositional Control.
In 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'09), Budapest, Hungary, pages 961-968. IFAAMAS, 2009.
[ .pdf | acm ]

Nicolas Troquard, Wiebe van der Hoek, and Michael Wooldridge.
Model checking strategic equilibria.
In Model Checking and Artificial Intelligence. Volume 5348 of Lecture Notes in Artificial Intelligence (LNAI), pages 166-188. Springer, 2009.
[ .pdf | springer ]

2008

Philippe Balbiani, Andreas Herzig, and Nicolas Troquard.
Alternative axiomatics and complexity of deliberative STIT theories.
In Journal of Philosophical Logic (JPL), 37(4):387-406. Springer, 2008.
doi:10.1007/s10992-007-9078-7
[ .pdf (preprint) | springer ]

Philippe Balbiani, Olivier Gasquet, Andreas Herzig, François Schwarzentruber, and Nicolas Troquard.
Coalition games over Kripke semantics: expressiveness and complexity.
In Cédric Dégremont, Laurent Keiff, and Helge Rückert, editors, Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman, pages 5-26. Tributes, College Publications, London, 2008.

2007

Nicolas Troquard.
Some clarifications in logics of agency.
In 12th ESSLLI Student Session, Dublin, Ireland, Ville Nurmi and Dmitry Sustretov (eds.), 2007.
[ .pdf ]

Emiliano Lorini, Andreas Herzig, Jan Broersen and Nicolas Troquard.
Grounding power on actions and mental attitudes.
In Formal Approaches to Multi-Agent Systems (FAMAS'007), Durham, pages 19-37. Durham University Press, 2007.
[ .pdf ]

Jan Broersen, Andreas Herzig, and Nicolas Troquard.
A Normal Simulation of Coalition Logic and an Epistemic Extension.
In Theoretical Aspects of Rationality and Knowledge (TARK XI), Brussels, Belgium, pages 91-101. ACM DL, 2007.
[ .pdf | acm ]

Emiliano Lorini, Nicolas Troquard, Andreas Herzig, and Cristiano Castelfranchi.
Delegation and mental states.
In 6th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'07), Honolulu, Hawaii, USA, pages 622-624. ACM Press, 2007. (Short paper).
[ .pdf | acm ]

2006

Jan Broersen, Andreas Herzig, and Nicolas Troquard.
Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency.
In Journal of Logic and Computation (JLC), 16(5):559-578. Oxford University Press, 2006.
doi:10.1093/logcom/exl025
[ .pdf (preprint) | OUP ]

Nicolas Troquard, Robert Trypuz, and Laure Vieu.
Towards an ontology of agency and action : From STIT to OntoSTIT+.
In Brandon Bennett and Christiane Fellbaum, editors, International Conference on Formal Ontology in Information Systems (FOIS), Baltimore, Maryland, USA. Volume 150 of Frontiers in Artificial Intelligence and Applications, pages 179-190. IOS Press, 2006. (Best paper award).
[ .pdf | acm ]

Jan Broersen, Andreas Herzig, and Nicolas Troquard.
A STIT-extension of ATL.
In European Conference on Logics in Artificial Intelligence (JELIA), Liverpool, England, UK, volume 4160 of Lecture Notes in Artificial Intelligence, pages 69-81. Springer, 2006.
[ .pdf | springer ]

Nicolas Troquard and Laure Vieu.
Towards a logic of agency and actions with duration.
In European Conference on Artificial Intelligence (ECAI), Riva del Garda, Italy, pages 775-776. IOS Press, 2006. (Short paper).
[ .pdf | acm ]

Andreas Herzig and Nicolas Troquard.
Knowing How to Play: Uniform Choices in Logics of Agency.
In 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'06), Hakodate, Japan, pages 209-216. ACM Press, 2006.
[ .pdf | acm ]

Jan Broersen, Andreas Herzig, and Nicolas Troquard.
From Coalition Logic to STIT.
In Wiebe van der Hoek, Alessio Lomuscio, Erik de Vink, and Mike Wooldridge, editors, International Workshop on Logic and Communication in Multi-Agent Systems (LCMAS @IJCAI'05), Edinburgh, Scotland, UK, volume 157 of Electronic Notes in Theoretical Computer Science (ENTCS), pages 23-35. Elsevier, 2006.
[ .pdf | ScienceDirect ]

Theses

Nicolas Troquard.
Independent agents in branching time.
PhD thesis. Université Paul Sabatier, Toulouse, France and Università degli studi di Trento, Italy, July 2007.
[ .pdf ]

Nicolas Troquard.
Coopération entre démonstrateurs par tableaux et SAT.
MA thesis. Université Paul Sabatier, Toulouse, France, 2004.
[ .pdf | English abstract ]

Other communications with reading committee

Andreas Herzig and Nicolas Troquard.
The Dynamic Logic of Propositional Control.
In 3rd Workshop on Logical Aspects of Multi-Agent Systems (LAMAS@AAMAS'10).
[superseded by LIS@ESSLLI'10]

Nicolas Troquard, Wiebe van der Hoek, Michael Wooldridge.
Reasoning about strategic games with hybrid logic of choice and preferences.
Plenary session at LOFT'08 (July, Amsterdam, The Netherlands) and long presentation EUMAS'08 (December, Bath, UK). [superseded by LNAI Vol. 5348, 2009]

Nicolas Troquard, Robert Trypuz, and Laure Vieu.
Ontology of Agency, from modal logics to first-order theories.
In Studia Logica International Conference, Towards Mathematical Philosophy, Trends in Logic IV, Toruñ, Poland, 2006. [superseded by FOIS 2006]

Andreas Herzig, Emiliano Lorini, Nicolas Troquard, and Robert Trypuz.
The hidden faces of Intention: using STIT to discover them.
In Studia Logica International Conference, Towards Mathematical Philosophy, Trends in Logic IV, Toruñ, Poland, 2006. [superseded by AAMAS 2007]

Jan Broersen, Andreas Herzig, and Nicolas Troquard.
From Coalition Logic to STIT.
In Wiebe van der Hoek, Alessio Lomuscio, Erik de Vink, and Mike Wooldridge, editors, 3rd Int. Workshop on Logic and Communication in Multiagent Systems (LCMAS 2005), Edinburgh, 2005. Workshop at IJCAI 2005. [superseded by ENTCS 2006]