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
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.261289
[ .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]