Andreas Herzig
15
Documents
Publications
- 15
- 6
- 6
- 6
- 6
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
|
A Lightweight Epistemic Logic and its Application to PlanningArtificial Intelligence, 2021, Special issue: SI: Ethics for Autonomous Systems, 298, pp.103437. ⟨10.1016/j.artint.2020.103437⟩
Article dans une revue
hal-03147798v1
|
|
The epistemic gossip problemDiscrete Mathematics, 2019, 342 (3), pp.654-663. ⟨10.1016/j.disc.2018.10.041⟩
Article dans une revue
hal-02147986v1
|
Planifier grâce au bavardageInterstices, 2017
Article dans une revue
hal-01616344v1
|
|
|
How to share knowledge by gossipingAI Communications, 2017, 30 (1), pp.1-17. ⟨10.3233/AIC-170723⟩
Article dans une revue
hal-03512916v1
|
|
When 'knowing whether' is better than 'knowing that'13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France
Communication dans un congrès
hal-02302984v1
|
|
Simple epistemic planning: generalised gossiping22nd European Conference on Artificial Intelligence (ECAI 2016), Aug 2016, The Hague, Netherlands. pp. 1563-1564
Communication dans un congrès
hal-01500520v1
|
|
Epistemic boolean games based on a logic of visibility and control25th International Joint Conference on Artificial Intelligence (IJCAI 2016), Jul 2016, New York, United States. pp.1116-1122
Communication dans un congrès
hal-01530163v1
|
|
A simple account of multi-agent epistemic planning22nd European Conference on Artificial Intelligence (ECAI 2016), Aug 2016, The Hague, Netherlands. pp. 193-201
Communication dans un congrès
hal-01500521v1
|
|
Building epistemic logic from observations and public announcements15th 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
|
|
How to share knowledge by gossiping13th 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
|
|
A simple account of multiagent epistemic planning10è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
|
|
A poor man's epistemic logic based on propositional assignment and higher-order observation5th International Conference on Logic, Rationality and Interaction (LORI 2015), Oct 2015, Taipei, Taiwan. pp. 156-168
Communication dans un congrès
hal-01592020v1
|
|
Une logique épistémique modeste basée sur les observations d'ordre supérieur (IAF 2015)9es Journées d'Intelligence Artificielle Fondamentale (IAF 2015), INRIA; AFIA, Jul 2015, Rennes, France
Communication dans un congrès
hal-03193119v1
|
|
Alternating-time Temporal Logic with Explicit Programs (LAMAS 2014)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 communicationvan 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
|