Accéder directement au contenu

Andreas Herzig

21
Documents

Publications

tiago-de-lima

Public announcements, public assignments and the complexity of their logic

Hans van Ditmarsch , Andreas Herzig , Tiago De Lima
Journal of Applied Non-Classical Logics, 2012, 22 (3), pp.249-273. ⟨10.1080/11663081.2012.705964⟩
Article dans une revue hal-00868339v1

From situation calculus to dynamic epistemic logic

Hans van Ditmarsch , Andreas Herzig , Tiago de Lima
Journal of Logic and Computation, 2011, 21 (2), pp.179-204. ⟨10.1093/logcom/exq024⟩
Article dans une revue hal-00868361v1

Tableaux for public announcement logics

Philippe Balbiani , Hans van Ditmarsch , Andreas Herzig , Tiago De Lima
Journal of Logic and Computation, 2010, Special Issue on Tableaux and Analytic Proof Methods, 20 (1), pp.55--76. ⟨10.1093/logcom/exn060⟩
Article dans une revue hal-03470301v1

On the dynamics of institutional agreements (2009)

Andreas Herzig , Tiago De Lima , Emiliano Lorini
Synthese, 2009, 171 (2), pp.321--355. ⟨10.1007/s11229-009-9645-2⟩
Article dans une revue hal-03474458v1

'Knowable' as 'known after an announcement'

Philippe Balbiani , Alexandru Baltag , Hans van Ditmarsch , Andreas Herzig , Tomohiro Hoshi
The review of symbolic logic, 2008, 1 (3), pp.305--334. ⟨10.1017/S1755020308080210⟩
Article dans une revue hal-00800649v1

Arbitrary announcement logic (abstract)

Philippe Balbiani , Alexandru Baltag , Hans van Ditmarsch , Andreas Herzig , Tomoshiro Hoshi
The Bulletin of Symbolic Logic, 2008, The 2007 Annual Conference of the Australasian Association for Logic, 14 (3), pp.438-439. ⟨10.2178/bsl/1231081377⟩
Article dans une revue hal-00747135v1
Image document

Some truths are best left unsaid

Philippe Balbiani , Hans van Ditmarsch , Andreas Herzig , Tiago De Lima
9th conference on Advances in Modal logic (AiML 2012), Aug 2012, Copenhagen, Denmark. pp.36-54
Communication dans un congrès hal-00866705v1

Trois traditions en logiques d'action: vers une unification

Andreas Herzig , Tiago de Lima , Emiliano Lorini , Nicolas Troquard
6èmes Journées de l'Intelligence Artificielle Fondamentale (JIAF 2012), May 2012, Toulouse, France
Communication dans un congrès hal-03464947v1

A computationally grounded dynamic logic of agency, with application to legal actions

Andreas Herzig , Tiago de Lima , Emiliano Lorini , Nicolas Troquard
11h International Conference on Deontic Logic in Computer Science (DEON 2012), Jun 2012, Bergen, Norway. pp.170-183, ⟨10.1007/978-3-642-31570-1_12⟩
Communication dans un congrès hal-00866707v1

Tableaux for Acceptance Logic

Mathijs de Boer , Andreas Herzig , Tiago De Lima , Emiliano Lorini
7th International Workshop on Declarative Agent Languages and Technologies (DALT 2009), May 2009, Budapest, Hungary. pp.85-100, ⟨10.1007/978-3-642-11355-0_6⟩
Communication dans un congrès hal-03470302v1

On the Dynamics of Institutional Agreements (KRAMAS 2008)

Andreas Herzig , Tiago De Lima , Emiliano Lorini
1st International Workshop on Knowledge Representation for Agents and Multi-agent Systems (KRAMAS 2008), Sep 2008, Sydney, Australia. pp.66-80, ⟨10.1007/978-3-642-05301-6_5⟩
Communication dans un congrès hal-03474452v1

What do we accept after an announcement?

Andreas Herzig , Tiago de Lima , Emiliano Lorini
Prague International Colloquium "Logic of change, change of logic" (LoCCoL 2008), Sep 2008, Prague, Czech Republic
Communication dans un congrès hal-03526740v1

What Do We Accept After an Announcement ? (KRAMAS 2008)

Andreas Herzig , Tiago De Lima , Emiliano Lorini
1st International Workshop on Knowledge Representation for Agents and Multi-Agent Systems (KRAMAS 2008), Sep 2008, Sydney, Australia
Communication dans un congrès hal-03526739v1
Image document

What can we achieve by arbitrary announcements? A dynamic take on Fitch's knowability

Philippe Balbiani , Alexandru Baltag , Hans Van Ditmarsch , Andreas Herzig , Tomohiro Hoshi
Theoretical Aspects of Rationality and Knowledge (TARK 2007), Jun 2007, Bruxelles, Belgium. pp.42-51, ⟨10.1145/1324249.1324259⟩
Communication dans un congrès hal-03516650v1

Raisonnement sur les actions : de Toronto à Amstermdam

Hans Van Ditmarsch , Andreas Herzig , Tiago De Lima
4èmes Journées francophones Modèles Formels de l'Interaction (MFI 2007), May 2007, Paris, France. pp.127-138
Communication dans un congrès hal-03516651v1

Optimal Regression for Reasoning about Knowledge and Actions

Hans Van Ditmarsch , Andreas Herzig , Tiago De Lima
Conference on Artificial Intelligence 2007, AAAI: Association for the Advancement of Artificial Intelligence, Jul 2007, Vancouver, Canada. pp.1070-1075
Communication dans un congrès hal-03516644v1

A tableau method for public announcement logics

Philippe Balbiani , Hans Van Ditmarsch , Andreas Herzig , Tiago De Lima
16th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2007), Jul 2007, Aix-en-Provence, France. pp.43-59, ⟨10.1007/978-3-540-73099-6_6⟩
Communication dans un congrès hal-03516645v1

Epistemic Actions and Ontic Actions: a Unified Logical Framework

Andreas Herzig , Tiago De Lima
2nd International Joint Conference: 10th Ibero-American Conference on AI and 18th Brazilian AI Symposium (IBERAMIA-SBIA 2006), Oct 2006, Ribeirão Preto, Brazil. pp.409-418, ⟨10.1007/11874850_45⟩
Communication dans un congrès hal-03537162v1

Three traditions in the logic of action: bringing them together

Andreas Herzig , Tiago de Lima , Emiliano Lorini , Nicolas Troquard
Trypuz, Robert. Krister Segerberg on Logic of Action, 1, Springer, pp.61-84, 2013, Outstanding Contributions to Logic book series (OCTR), 978-94-007-7045-4. ⟨10.1007/978-94-007-7046-1_4⟩
Chapitre d'ouvrage hal-03464936v1

'Knowable' as 'known after an announcement'

Philippe Balbiani , Alexandru Baltag , Hans van Ditmarsch , Andreas Herzig , Tomohiro Hoshi
[Research Report] IRIT/RR–2008-2–FR, IRIT : Institut de recherche en informatique de Toulouse. 2008
Rapport hal-00872316v1