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, Jan Broersen, Julien Brunel
Decision procedures for a deontic logic modeling temporal inheritance of obligations
Dans : Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier, Vol. 231, p. 69-89, 2009.
Jan 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
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.
What I fail to do today, I have to do tomorrow’: a logical study of the propagation of obligations
Dans : Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII 2007), Porto, Portugal, 10/09/07-11/09/07, Vol. 5056, Fariba Sadri, Ken Satoh (Eds.), Springer-Verlag, LNAI, p. 82-99, septembre 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
BibTeXPreservation of Obligations in a Temporal and Deontic Framework
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 : Association for Computing Machinery, p. 1108-1110, mai 2007.
Jan 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
BibTeXJan 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
BibTeX
Jan Broersen, Dov Gabbay, Andreas Herzig, Emiliano Lorini, John-Jules Meyer, Xavier Parent, Leendert W. N. Van Der Torre
Deontic logic
Dans : Handbook on Agreement Technologies. Sascha Ossowski (Eds.) , Springer, p. 171-180, 2012.