Accéder directement au contenu

Andreas Herzig

8
Documents

Publications

guillaume-aucher
Image document

Global and local graph modifiers

Guillaume Aucher , Philippe Balbiani , Luis Fariñas del Cerro , Andreas Herzig
Electronic Notes in Theoretical Computer Science, 2009, Proceedings of the 5th Workshop on Methods for Modalities (M4M5 2007), 231, ⟨10.1016/j.entcs.2009.02.042⟩
Article dans une revue inria-00556034v1
Image document

Dynamic context logic and its application to norm change

Guillaume Aucher , Davide Grossi , Andreas Herzig , Emiliano Lorini
Dagstuhl Seminar on Normative Multi-Agent Systems (NorMAS 2009), Mar 2009, Dagstuhl, Germany. pp.259-271
Communication dans un congrès hal-03526732v1
Image document

Dynamic context logic

Guillaume Aucher , Davide Grossi , Andreas Herzig , Emiliano Lorini
Second International Workshop on Logic, Rationality, and Interaction (LORI 2009), Oct 2009, Chongqing, China. pp.15-26, ⟨10.1007/978-3-642-04893-7_2⟩
Communication dans un congrès inria-00556156v1

From DEL to EDL: exploring the power of converse events (ECSQARU 2007)

Guillaume Aucher , Andreas Herzig
9th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU 2007), 2007, Hammamet, Tunisia. pp.199-209, ⟨10.1007/978-3-540-75256-1_20⟩
Communication dans un congrès inria-00556150v1
Image document

De DEL à EDL ou comment illustrer la puissance des événements inverses

Guillaume Aucher , Andreas Herzig
4èmes Journées francophones sur les Modèles Formels de l'Interaction (MFI 2007), May 2007, Paris, France. pp.253-260
Communication dans un congrès hal-03516654v1
Image document

Exploring the power of converse events

Guillaume Aucher , Andreas Herzig
Patrick Girard; Olivier Roy; Mathieu Marion. Dynamic formal epistemology, 351, Springer, pp.51-74, 2011, Synthese Library book series (SYLI), 978-94-007-0073-4. ⟨10.1007/978-94-007-0074-1_4⟩
Chapitre d'ouvrage hal-00557002v2
Image document

From DEL to EDL: exploring the power of converse events

Guillaume Aucher , Andreas Herzig
[Research Report] IRIT : Institut de recherche en informatique de Toulouse. 2007
Rapport hal-03516649v1