Accéder directement au contenu

Andreas Herzig

15
Documents

Publications

1078523
Image document

When 'knowing whether' is better than 'knowing that'

Martin Cooper , Andreas Herzig , Faustine Maffre , Frédéric Maris , Elise Perrotin
13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France
Communication dans un congrès hal-02302984v1
Image document

Simple epistemic planning: generalised gossiping

Martin Cooper , Andreas Herzig , Faustine Maffre , Frédéric Maris , Pierre Régnier
22nd European Conference on Artificial Intelligence (ECAI 2016), Aug 2016, The Hague, Netherlands. pp. 1563-1564
Communication dans un congrès hal-01500520v1
Image document

Epistemic boolean games based on a logic of visibility and control

Andreas Herzig , Emiliano Lorini , Faustine Maffre , François Schwarzentruber
25th International Joint Conference on Artificial Intelligence (IJCAI 2016), Jul 2016, New York, United States. pp.1116-1122
Communication dans un congrès hal-01530163v1
Image document

A simple account of multi-agent epistemic planning

Martin Cooper , Andreas Herzig , Faustine Maffre , Frédéric Maris , Pierre Régnier
22nd European Conference on Artificial Intelligence (ECAI 2016), Aug 2016, The Hague, Netherlands. pp. 193-201
Communication dans un congrès hal-01500521v1
Image document

Building epistemic logic from observations and public announcements

Tristan Charrier , Andreas Herzig , Emiliano Lorini , Faustine Maffre , François Schwarzentruber
15th International Conference on Principles of Knowledge Representation and Reasoning (KR 2016), co-located with DL 2016 and NMR 2016, Apr 2016, Le Cap, South Africa. pp.268-277
Communication dans un congrès hal-04109521v1
Image document

How to share knowledge by gossiping

Andreas Herzig , Faustine Maffre
13th International Conference on Agreement Technologies in European Conference on Multi-Agent Systems (EUMAS/AT 2015), Dec 2015, Athens, Greece. pp. 249-263
Communication dans un congrès hal-01567082v1
Image document

A simple account of multiagent epistemic planning

Martin Cooper , Andreas Herzig , Faustine Maffre , Frédéric Maris , Pierre Régnier
10èmes Journées Francophones sur la Planification, la Décision et l'Apprentissage (JFPDA 2015), May 2015, Rennes, France. pp. 23-29
Communication dans un congrès hal-01316827v1
Image document

A poor man's epistemic logic based on propositional assignment and higher-order observation

Andreas Herzig , Emiliano Lorini , Faustine Maffre
5th International Conference on Logic, Rationality and Interaction (LORI 2015), Oct 2015, Taipei, Taiwan. pp. 156-168
Communication dans un congrès hal-01592020v1
Image document

Une logique épistémique modeste basée sur les observations d'ordre supérieur (IAF 2015)

Andreas Herzig , Emiliano Lorini , Faustine Maffre
9es Journées d'Intelligence Artificielle Fondamentale (IAF 2015), INRIA; AFIA, Jul 2015, Rennes, France
Communication dans un congrès hal-03193119v1
Image document

Alternating-time Temporal Logic with Explicit Programs (LAMAS 2014)

Andreas Herzig , Emiliano Lorini , Faustine Maffre , Dirk Walther
Workshop on Logical Aspects of Multi-Agent Systems @ AAMAS 2014 (LAMAS 2014), IFAAMAS, May 2014, Paris, France
Communication dans un congrès hal-03224137v1

Possible worlds semantics based on observation and communication

Andreas Herzig , Emiliano Lorini , Faustine Maffre
van Ditmarsch, Hans; Sandu, Gabriel. Jaakko Hintikka on game-theoretical semantics and epistemic logic, 12, Springer, pp.339--362, 2018, Outstanding Contributions to Logic book series (OCTR)
Chapitre d'ouvrage hal-03033975v1