Publications of
Emiliano Lorini, Nicolas Troquard, Andreas Herzig, Jan Broersen
Grounding power on actions and mental attitudes
In : Logic Journal of the IGPL, Oxford University Press, Vol. 21(3), pp. 311-331, 2013.
URL : 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
In : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Vol. 19 N. 3, pp. 261-289, November 2009.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Jancl09.html
BibTeXPhilippe Balbiani, Andreas Herzig, Nicolas Troquard
Alternative axiomatics and complexity of deliberative STIT theories
In : Journal of Philosophical Logic, Springer-Verlag, Heidelberg, Allemagne, Vol. 37 N. 4, pp. 387-406, August 2008.
URL : 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
In : Journal of Logic and Computation, Oxford University Press, Vol. 16 N. 5, pp. 559-578, October 2006.
Abstract URL : 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)
In : Logic in Computer Science (LICS 2013), New Orleans, 25/06/13-28/06/13, Orna Kupferman (Eds.), IEEE : Institute of Electrical and Electronics Engineers, pp. 143-152, June 2013.
URL : 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
In : 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)
In : 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, pp. 170-183, July 2012.
URL : http://www.irit.fr/~Andreas.Herzig/P/Deon12.html
BibTeXAndreas Herzig, Emiliano Lorini, Nicolas Troquard
A dynamic logic of institutional actions (regular paper)
In : 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, pp. 295-311, July 2011.
Abstract URL : 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)
In : 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), pp. 228-233, July 2011.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Ijcai11.html
BibTeXAndreas Herzig, Nicolas Troquard
Dynamic languages of propositional control for protocol specification
In : 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
In : 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, pp. 371-390, 2007.
Jan Broersen, Andreas Herzig, Nicolas Troquard
Normal Coalition Logic and its conformant extension
In : Theoretical Aspects of Rationality and Knowledge (TARK 2007), Brussels, 25/06/07-27/06/07, Dov Samet (Eds.), Presses universitaires de Louvain, pp. 91-101, 2007.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Tark07ncl.html
BibTeXSome clarifications in logics of agency
In : 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)
In : 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, pp. 610-612, May 2007.
Abstract URL : 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)
In : 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, pp. 179-190, November 2006 (Best paper award).
Abstract URL : https://www.irit.fr/publis/LILAC/TTV-FOIS06.pdf
BibTeXJan Broersen, Andreas Herzig, Nicolas Troquard
A STIT-extension of ATL (regular paper)
In : 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, pp. 69-81, September 2006.
Abstract URL : 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
In : 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
In : Studia Logica International Conference, Towards Mathematical Philosophy, Trends in Logic IV, Toruñ, Poland, 01/09/06-04/09/06.
Logical modeling of interaction
In : 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
In : 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, pp. 23-35, May 2006.
Abstract URL : http://dx.doi.org/10.1016/j.entcs.2006.02.011
BibTeXTowards a logic of agency and actions with duration
In : European Conference on Artificial Intelligence (ECAI 2006), Riva del Garda, Italy, 26/08/06-01/09/06, IOS Press, pp. 775-776, August 2006.
Abstract URL : 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)
In : 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, pp. 209-216, May 2006.
Abstract URL : 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
In : Krister Segerberg on Logic of Action. Robert Trypuz (Eds.) , Springer, pp. 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
In : Dialogues, Logics and Other Strange Things — Essays in Honour of Shahid Rahman. Cédric Dégremont, Laurent Keiff, Helge Rückert (Eds.) , College Publications, pp. 11-32, October 2008.
Independent agents in branching time
Master’s Thesis, Université Paul Sabatier, September 2007.
URL : http://www.irit.fr/LILaC/Pers/Troquard/PUBLICATIONS/THESIS/thesis.pdf
BibTeX