Skip to Content

Nicolas Troquard's Homepage

I am a researcher at the KRDB research center, and a research associate at the Laboratoire d'Algorithmique, Complexité et Logique.

From 2014 to 2016, I was a non-tenured 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.


Contact

The KRDB Research Centre
Faculty of Computer Science
Free University of Bozen-Bolzano (FUB)
Piazza Domenicani, 3
I-39100 Bozen-Bolzano BZ
Italy

Algorithmic, Complexity and Logic Laboratory (LACL)
Université Paris-Est Créteil
Département d'Informatique
Faculté des Sciences et Technologie
61 avenue du Général de Gaulle
94010 Créteil CEDEX
France

troquard [at] loa.istc [dot] cnr [another dot] it

 


Teaching (2015-2016)

Bases de données (IUT1-S1)
Mathématiques discrètes (IUT1-S1)
Bases de données (IUT1-S2)
Mathématiques discrètes (IUT1-S2)
Logics of Agency (ESSLLI'16, Bolzano-Bozen, IT, August 2016).

Teaching (2014-2015)

Algorithmique expérimentale (L1)
Architecture des ordinateurs (L2)
Dévelopement de programmes (L3)
Mathématiques discrètes (L2)


Softwares

Some pieces of software I wrote for reasoning with logics here.


Publications

DBLP & Google Scholar

2017 - 2016 - 2015 - 2014 - 2013 - 2012 - 2011 - 2010 - 2009 - 2008 - 2007 - 2006
Other communications:
Theses
Other communications

2017

Roberto Confalonieri, Oliver Kutz, Pietro Galliani, Rafael Peñaloza, Daniele Porello, Marco Schorlemmer, and Nicolas Troquard
Coherence, Similarity, and Concept Generalisation.
In 30th International Workshop on Description Logics (Description Logics 2017). CEUR-WS 1879, 2017.
[ ceur ]

2016

Nicolas Troquard.
Nash equilibria and their elimination in resource games.
In 25th International Joint Conference on Artificial Intelligence (IJCAI 2016). AAAI Press, 2016, pages 503-509.
[ .pdf | ijcai ]

Youssouf Oualhadj, and Nicolas Troquard.
Rational verification in Iterated Electric Boolean Games.
In International Workshop on Strategic Reasoning SR2016 @ LICS, EPTCS 218, pages 41-51.
[ arxiv ]

2015

Daniele Porello, and Nicolas Troquard.
Non-normal modalities in variants of Linear Logic.
In Journal of Applied Non-Classical Logics (JANCL), 25(3):229-255. Taylor & Francis, 2015.
doi: 10.1080/11663081.2015.1080422
[ arxiv | taylor & francis]

Emanuele Bottazzi, and Nicolas Troquard.
On Help and Interpersonal Control.
In The Cognitive Foundations of Group Attitudes and Social Interaction. Volume in the series Studies in the Philosophy of Sociality. Springer, 2015, pages 1-25.
[ .pdf | springer ]

Nicolas Troquard, and Philippe Balbiani.
Propositional Dynamic Logic.
In The Stanford Encyclopedia of Philosophy. Spring 2015.
[ .html ]

2014

Nicolas Troquard.
A formal theory for conceptualizing artefacts and tool manipulations.
In 8th International Conference on Formal Ontology in Information Systems (FOIS 2014). IOS Press, 2014, pages 119-132.
[ .pdf | ios press]

Stefano Borgo, Daniele Porello, and Nicolas Troquard.
Logical Operators for Ontological Modeling.
In 8th International Conference on Formal Ontology in Information Systems (FOIS 2014). IOS Press, 2014, pages 23-36.
[ .pdf | ios press ]

Daniele Porello, and Nicolas Troquard.
A resource-sensitive logic of agency.
In 21st European Conference on Artificial Intelligence (ECAI'14), Prague, Czech Republic. IOS Press, 2014, pages 723-728.
[ .pdf | ios press ]

Daniele Porello, and Nicolas Troquard.
A resource-sensitive account of the use of artifacts.
In 13th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS'14), Paris, France. IFAAMAS, 2014, pages 1549-1550. (Short paper, submitted as such).
[ .pdf | acm ]

Nicolas Troquard.
Reasoning about coalitional agency and ability in the logics of "bringing-it-about".
In Autonomous Agents and Multi-Agent Systems, 28(3):381-407, Springer.
doi: 10.1007/s10458-013-9229-x
[ .pdf (preprint) | springer ]

Andreas Herzig, Tiago de Lima, Emiliano Lorini, and Nicolas Troquard.
Three traditions in the logic of action: bringing them together.
In Robert Trypuz, editor, Krister Segerberg on Logic of Actions, pages 61-84, Series: Outstanding Contributions to Logic, Vol. 1, Springer, 2014.
[ .pdf | springer ]

2013

Wiebe van der Hoek, Nicolas Troquard, and Michael Wooldridge.
Reasoning about Choice.
In 2nd Int. Conf. on Agreement Technologies (AT-2013), LNCS 8068, Springer, 2013.
[ .pdf | springer ]

Philippe Balbiani, Andreas Herzig, and Nicolas Troquard.
Dynamic logic of propositional assignments: a well-behaved variant of PDL.
In 28th ACM/IEEE Symposium on Logic in Computer Science (LICS 2013), New Orleans, USA., pages 143-152. IEEE Computer Society, 2013.
[ .pdf | ieee | erratum ]

Emiliano Lorini, Nicolas Troquard, Andreas Herzig and Jan Broersen.
Grounding power on actions and mental attitudes.
In Logic Journal of the IGPL, 21(3):311-331. Oxford University Press, 2013.
doi: 10.1093/jigpal/jzr039
[ .pdf (preprint) | OUP ]

Nicolas Troquard.
A simple logic of tool manipulation.
In AISB Convention 2013, Symposium the SOCIAL.PATH, Exeter, UK, pages 80-82. The Society for the Study of Artificial Intelligence and the Simulation of Behaviour, 2013.
[ .pdf ]

2012

Nicolas Troquard, and Dirk Walther.
On satisfiability in ATL with strategy contexts.
In JELIA 2012, LNCS 7519, pages 398-410, Springer 2012.
[ .pdf | springer ]

Andreas Herzig, Tiago de Lima, Emiliano Lorini, and Nicolas Troquard.
A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions.
In DEON 2012, LNAI 7393, pages 170-183, Springer 2012.
[ .pdf | springer ]

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, pages 1245-1246. IFAAMAS, 2012. (Short paper).
[ .pdf | acm ]

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

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

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. Taylor & Francis, 2009.
doi: 10.3166/jancl.19.261­289
[ .pdf (preprint) | taylor & francis ]

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

2007

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 ]

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 ] [superseded by J. of IGPL 2013]

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

Daniele Porello, and Nicolas Troquard.
A logical modeling of artifacts' behaviour.
Symposium Italian Society for Logic and Philosophy of Science (SILFS 2014)

Daniele Porello, and Nicolas Troquard.
Non-normal modal Linear Logic with an application to resource-sensitive agency.
In 7th Workshop on Logical Aspects of Multi-Agent Systems (LAMAS@AAMAS'14).

Emanuele Bottazzi, and Nicolas Troquard.
Help as a form of control.
Collective Intentionality IX (COLLINT 2014)

Emanuele Bottazzi, and Nicolas Troquard
A Logical and Philosophical Analysis of Helping.
5th Joint Action Meeting (JAM 2013)

Emanuele Bottazzi, and Nicolas Troquard
Preliminaries on the logic of cooperative impulses.
Collective Intentionality VIII (COLLINT 2012)

Andreas Herzig, Tiago De Lima, Emiliano Lorini, and Nicolas Troquard.
Trois traditions en logiques d'action: vers une unification.
Sixièmes Journées de l'Intelligence Artificielle Fondamentale (JIAF 2012)

Andreas Herzig and Nicolas Troquard.
Dynamic languages of propositional control for protocol specification.
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 ]

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

Nicolas Troquard, Wiebe van der Hoek, and 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.
Some clarifications in logics of agency.
In 12th ESSLLI Student Session, Dublin, Ireland, Ville Nurmi and Dmitry Sustretov, editors, 2007.
[ .pdf ]

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]



about seo | page