Publications de
Emiliano Lorini, Nicolas Troquard, Andreas Herzig, Jan Broersen
Grounding power on actions and mental attitudes
Dans : Logic Journal of the IGPL, Oxford University Press, Vol. 21(3), p. 311-331, 2013.
Accès : http://jigpal.oxfordjournals.org/content/21/3/311.full.pdf – https://oatao.univ-toulouse.fr/12311/
BibTeXJan Broersen, Andreas Herzig, Nicolas Troquard
What groups do, can do, and know they can do: an analysis in normal modal logics
Dans : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Vol. 19 N. 3, p. 261-289, novembre 2009.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Jancl09.html
BibTeXPhilippe Balbiani, Andreas Herzig, Nicolas Troquard
Alternative axiomatics and complexity of deliberative STIT theories
Dans : Journal of Philosophical Logic, Springer-Verlag, Heidelberg, Allemagne, Vol. 37 N. 4, p. 387-406, août 2008.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Jpl08.html
BibTeXJan Broersen, Andreas Herzig, Nicolas Troquard
Embedding Alternating-time Temporal Logic in Strategic STIT Logic of Agency
Dans : Journal of Logic and Computation, Oxford University Press, Vol. 16 N. 5, p. 559-578, octobre 2006.
Résumé Accès : http://www.irit.fr/LILaC/Pers/Troquard/PUBLICATIONS/PAPERS/BrHeTr06atl2stit.pdf
BibTeX
Philippe Balbiani, Andreas Herzig, Nicolas Troquard
Dynamic logic of propositional assignments: a well-behaved variant of PDL (regular paper)
Dans : Logic in Computer Science (LICS 2013), New Orleans, 25/06/13-28/06/13, Orna Kupferman (Eds.), IEEE : Institute of Electrical and Electronics Engineers, p. 143-152, juin 2013.
Accès : http://ieeexplore.ieee.org/xpl/articleDetails.jsp?reload=true&arnumber=6571546 – https://oatao.univ-toulouse.fr/12432/
BibTeXAndreas Herzig, Tiago de Lima, Emiliano Lorini, Nicolas Troquard
Trois traditions en logiques d’action: vers une unification
Dans : Sixièmes Journées de l’Intelligence Artificielle Fondamentale (JIAF 2012), Toulouse, 22/05/12-24/05/12.
Andreas Herzig, Tiago de Lima, Emiliano Lorini, Nicolas Troquard
A computationally grounded dynamic logic of agency, with an application to legal actions (regular paper)
Dans : International Conference on Deontic Logic in Computer Science (DEON 2012), Bergen, Norway, 16/07/12-18/07/12, Thomas Ågotnes, Jan Broersen, Dag Elgesem (Eds.), Springer, LNCS 7393, p. 170-183, juillet 2012.
Accès : http://www.irit.fr/~Andreas.Herzig/P/Deon12.html
BibTeXAndreas Herzig, Emiliano Lorini, Nicolas Troquard
A dynamic logic of institutional actions (regular paper)
Dans : Computational Logic in Multi-Agent Systems (CLIMA 2011), Barcelona, 17/07/11-18/07/11, Vol. 6814, João Leite, Paolo Torroni (Eds.), Springer, LNCS/LNAI, p. 295-311, juillet 2011.
Résumé Accès : http://www.springerlink.com/content/kt2wu301vl67m254/fulltext.pdf
BibTeXAndreas Herzig, Emiliano Lorini, Frédéric Moisan, Nicolas Troquard
A dynamic logic of normative systems (regular paper)
Dans : International Joint Conference on Artificial Intelligence (IJCAI 2011), Barcelona, 18/07/11-22/07/11, Toby Walsh (Eds.), International Joint Conference on Artificial Intelligence (IJCAI), p. 228-233, juillet 2011.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Ijcai11.html
BibTeXAndreas Herzig, Nicolas Troquard
Dynamic languages of propositional control for protocol specification
Dans : Workshop “Logics in Security” at ESSLLI 2010, Copenhague, 09/08/10-13/08/10, Dov Gabbay, Leendert van der Torre (Eds.).
Emiliano Lorini, Andreas Herzig, Jan Broersen, Nicolas Troquard
Grounding power on actions and mental attitudes
Dans : Workshop on Formal Approaches to Multi-Agent Systems Formal Approaches to Multi-Agent Systems (FAMAS 2007), Durham (UK), 06/09/07-07/09/07, Durham University Press, p. 371-390, 2007.
Jan Broersen, Andreas Herzig, Nicolas Troquard
Normal Coalition Logic and its conformant extension
Dans : Theoretical Aspects of Rationality and Knowledge (TARK 2007), Brussels, 25/06/07-27/06/07, Dov Samet (Eds.), Presses universitaires de Louvain, p. 91-101, 2007.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Tark07ncl.html
BibTeXSome clarifications in logics of agency
Dans : 12th ESSLLI Student Session, Dublin, Ireland, 16/08/07-17/08/07, Ville Nurmi, Dmitry Sustretov (Eds.).
Emiliano Lorini, Nicolas Troquard, Andreas Herzig, Cristiano Castelfranchi
Delegation and mental states (regular paper)
Dans : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2007), Honolulu, Hawaii, USA, 14/05/07-18/05/07, Edmund H. Durfee, Makoto Yokoo (Eds.), ACM Press, p. 610-612, mai 2007.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/aamas07.pdf
BibTeXNicolas Troquard, Robert Trypuz, Laure Vieu
Towards an ontology of agency and action : From STIT to OntoSTIT+ (regular paper)
Dans : International Conference on Formal Ontology in Information Systems (FOIS 2006), Baltimore, Maryland, USA, 09/11/06-11/11/06, Vol. 150, Brandon Bennett, Christiane Fellbaum (Eds.), IOS Press, Frontiers in Artificial Intelligence and Applications, p. 179-190, novembre 2006 (Best paper award).
Résumé Accès : https://www.irit.fr/publis/LILAC/TTV-FOIS06.pdf
BibTeXJan Broersen, Andreas Herzig, Nicolas Troquard
A STIT-extension of ATL (regular paper)
Dans : European Conference on Logics in Artificial Intelligence (JELIA 2006), Liverpool, England, UK, 13/09/06-15/09/06, Vol. 4160, Springer, Lecture Notes in Artificial Intelligence, p. 69-81, septembre 2006.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Jelia06_Jan.pdf
BibTeXNicolas Troquard, Robert Trypuz, Laure Vieu
Ontology of Agency, from modal logics to first-order theories
Dans : Studia Logica International Conference, Towards Mathematical Philosophy, Trends in Logic IV, Toruñ, Poland, 01/09/06-04/09/06.
Andreas Herzig, Emiliano Lorini, Nicolas Troquard, Robert Trypuz
The hidden faces of Intention: using STIT to discover them
Dans : Studia Logica International Conference, Towards Mathematical Philosophy, Trends in Logic IV, Toruñ, Poland, 01/09/06-04/09/06.
Logical modeling of interaction
Dans : Doctorial Consortium of the Tenth International Conference on Knowledge Representation and Reasoning (KR’06), Lake District, England. UK, 01/06/06.
Jan Broersen, Andreas Herzig, Nicolas Troquard
From Coalition Logic to STIT
Dans : International Workshop on Logic and Communication in Multi-Agent Systems (LCMAS 2005), Edinburgh, Scotland, UK, 01/08/05-01/08/05, Vol. 157, Wiebe van der Hoek, Alessio Lomuscio, Erik de Vink, Mike Wooldridge (Eds.), Elsevier, Electronic Notes in Theoretical Computer Science 4, p. 23-35, mai 2006.
Résumé Accès : http://dx.doi.org/10.1016/j.entcs.2006.02.011
BibTeXTowards a logic of agency and actions with duration
Dans : European Conference on Artificial Intelligence (ECAI 2006), Riva del Garda, Italy, 26/08/06-01/09/06, IOS Press, p. 775-776, août 2006.
Résumé Accès : http://www.irit.fr/LILaC/Pers/Troquard/PUBLICATIONS/PAPERS/TrVi06duration.pdf
BibTeXAndreas Herzig, Nicolas Troquard
Knowing How to Play: Uniform Choices in Logics of Agency (regular paper)
Dans : International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, 08/05/06-12/05/06, Gerhard Weiss, Peter Stone (Eds.), ACM Press, p. 209-216, mai 2006.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Aamas06.html
BibTeX
Andreas Herzig, Tiago de Lima, Emiliano Lorini, Nicolas Troquard
Three traditions in the logic of action: bringing them together
Dans : Krister Segerberg on Logic of Action. Robert Trypuz (Eds.) , Springer, p. 61-84, Vol. XXIX, Studia Logica book series `Trends in Logic’, subseries `Outstanding contributions’, 2013.
Philippe Balbiani, Olivier Gasquet, Andreas Herzig, François Schwarzentruber, Nicolas Troquard
Coalition games over Kripke semantics
Dans : Dialogues, Logics and Other Strange Things — Essays in Honour of Shahid Rahman. Cédric Dégremont, Laurent Keiff, Helge Rückert (Eds.) , College Publications, p. 11-32, octobre 2008.
Independent agents in branching time
Thèse de doctorat, Université Paul Sabatier, septembre 2007.
Accès : http://www.irit.fr/LILaC/Pers/Troquard/PUBLICATIONS/THESIS/thesis.pdf
BibTeX