Publications of
Hans Van Ditmarsch, Andreas Herzig, Tiago de Lima
Public announcements, public assignments and the complexity of their logic
In : Journal of Applied Non-Classical Logics (JANCL), Taylor & Francis Group, Vol. 22 N. 3, pp. 249-273, 2012.
URL : http://www.irit.fr/~Andreas.Herzig/P/Jancl12.html
BibTeXHans Van Ditmarsch, Andreas Herzig, Tiago de Lima
From Situation Calculus to Dynamic Logic
In : Journal of Logic and Computation, Oxford University Press, Vol. 21 N. 2, pp. 179-204, April 2011.
Philippe Balbiani, Hans Van Ditmarsch, Andreas Herzig, Tiago de Lima
Tableaux for public announcement logics
In : Journal of Logic and Computation, Oxford University Press, Special issue Special Issue on Tableaux and Analytic Proof Methods, Vol. 20 N. 1, pp. 55-76, 2010.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Jlc09.html
BibTeXAndreas Herzig, Tiago de Lima, Emiliano Lorini
On the dynamics of institutional agreements
In : Synthese, Springer, Vol. 171 N. 2, pp. 321-355, November 2009.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Synthese09_instAgree.html
BibTeXPhilippe Balbiani, Alexandru Baltag, Hans Van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima
`Knowable’ as `known after an announcement’
In : Review of Symbolic Logic, Cambridge University Press, Vol. 1 N. 3, pp. 305-334, 2008.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Tark07ArbAnn.html
BibTeX
Andreas 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.
Philippe Balbiani, Hans Van Ditmarsch, Andreas Herzig, Tiago de Lima
Some truths are best left unsaid (regular paper)
In : Advances in Modal Logic (AiML 2012), Copenhagen, 22/08/12-25/08/12, Vol. 9, Thomas Bolander, Torben Braüner, Silvio Ghilardi, Larry Moss (Eds.), College Publications, pp. 36-54, August 2012.
URL : http://www.irit.fr/~Andreas.Herzig/P/Aiml12.html
BibTeXAndreas 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
BibTeXEmiliano Lorini, Tiago de Lima, Hans Van Ditmarsch
A Logical Model of Intention and Plan Dynamics (short paper)
In : European Conference on Artificial Intelligence (ECAI 2010), Lisbon, 16/08/10-20/08/10, IOS Press, pp. 1075-1076, 2010.
Mathijs De Boer, Andreas Herzig, Tiago de Lima, Emiliano Lorini
Tableaux for Acceptance Logic (regular paper)
In : International Workshop on Declarative Agent Languages and Technologies (DALT 2009), Budapest, Hungary, 11/05/09-12/05/09, M. Baldoni, J. Bentahar, J. Lloyd, M. B. van Riemsdijk (Eds.), Springer-Verlag, LNAI 5948, pp. 85-100, April 2010.
Andreas Herzig, Tiago de Lima, Emiliano Lorini
On the Dynamics of Institutional Agreements (regular paper)
In : International Workshop on Knowledge Representation for Agents and Multi-agent Systems (KRAMAS 2008), Sydney, 17/09/08-17/09/08, John-Jules Meyer, Jan Broersen (Eds.), Springer-Verlag, LNAI 5605, pp. 66-80, October 2009.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Synthese09_instAgree.html
BibTeXAndreas Herzig, Tiago de Lima, Emiliano Lorini
What do we accept after an announcement?
In : Logic of change, change of logic (LoCCoL) — Prague International Colloquium, Prague, 10/09/08-14/09/08, Brian Hill, Ondrej Majer, Michal Peli (Eds.).
Andreas Herzig, Tiago de Lima, Emiliano Lorini
What Do We Accept After an Announcement?
In : Proceedings of the International Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008), Sydney, 17/09/08-17/09/08, J.J. Meyer, J. Broersen (Eds.).
Hans Van Ditmarsch, Andreas Herzig, Tiago de Lima
Raisonnement sur les actions : de Toronto à Amstermdam
In : Journées Francophones MODÈLES FORMELS de l’INTERACTION (MFI 2007), Paris, 30/05/07-01/06/07, Jérôme Lang, Yves Lespérance, David Sadek, Nicolas Maudet (Eds.), Université Paris Dauphine, Annales du Lamsade 8, pp. 127-138, 2007.
Philippe Balbiani, Alexandru Baltag, Hans Van Ditmarsch, Andreas Herzig, Tomohiro Hoshi, Tiago de Lima
What can we achieve by arbitrary announcements? A dynamic take on Fitch’s knowability
In : Theoretical Aspects of Rationality and Knowledge (TARK 2007), Bruxelles, Belgique, 25/06/07-27/06/07, Dov Samet (Eds.), Presses universitaires de Louvain, pp. 42-51, June 2007.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Tark07ncl.html
BibTeXPhilippe Balbiani, Hans Van Ditmarsch, Andreas Herzig, Tiago de Lima
A tableau method for public announcement logics
In : International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2007), Aix-en-Provence, 03/07/07-06/07/07, Vol. 4548, Nicola Olivetti (Eds.), Springer-Verlag, LNAI, pp. 43-59, 2007.
Abstract URL : http://www.irit.fr/~Andreas.Herzig/P/Tableaux07.html
BibTeXHans Van Ditmarsch, Andreas Herzig, Tiago de Lima
Optimal Regression for Reasoning about Knowledge and Actions
In : Conference on Artificial Intelligence (AAAI 2007), Vancouver, 22/07/07-26/07/07, Robert C. Holte, Adele Howe (Eds.), AAAI Press, pp. 1-6, 2007.
Epistemic Actions and Ontic Actions: a Unified Logical Framework
In : International Joint Conference: IBERAMIA-SBIA (IBERAMIA/SBIA 2006), Ribeirão Preto, Brazil, 23/10/06-27/10/06, Jaime Simão Sichman, Helder Coelho, Solange Oliveira Rezende (Eds.), Springer-Verlag, Lecture Notes in Artificial Intelligence 4140, pp. 409-418, October 2006.
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.
Hans Van Ditmarsch, Tiago de Lima, Emiliano Lorini
Intention change via local assignments
In : Postproceedings of the third international workshop on languages, methodologies and development tools for multi-agent systems (LADS 2010). M. Dastani, A. E. F. Seghrouchni, J. F. Hubner, J. Leite (Eds.) , Springer-Verlag, pp. 136-151, Vol. 6822, LNCS, 2011.
URL : http://www.springerlink.com/content/k365153j84804857/fulltext.pdf
BibTeX
Optimal Methods for Reasoning about Actions and Plans in Multi-agent Systems
Master’s Thesis, Université de Toulouse, October 2007.