Andreas Herzig
7
Documents
Publications
- 7
- 4
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
|
|
True Belief and Mere Belief About a Proposition and the Classification of Epistemic-Doxastic SituationsFilosofiska Notiser, 2021, Årgång 8 (1- Special issue on modal logic), pp.103-117
Article dans une revue
hal-03011708v1
|
|
|
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
|
|
|
A Computationally Grounded Logic of ‘Seeing-to-it-that’31st International Joint Conference on Artificial Intelligence (IJCAI 2022), International Joint Conferences on Artifical Intelligence (IJCAI), Jul 2022, Vienne, Austria. pp.2648-2654, ⟨10.24963/ijcai.2022/367⟩
Communication dans un congrès
hal-03873341v1
|
|
|
Lightweight Parallel Multi-Agent Epistemic Planning17th International Conference on Principles of Knowledge Representation and Reasoning - KR 2020, Sep 2020, Rhodes, Greece
Communication dans un congrès
hal-03015803v1
|
|
|
A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Nov 2020, virtual, Vietnam. pp.676-680, ⟨10.24963/kr.2021/68⟩
Communication dans un congrès
hal-03450078v1
|
|
|
A Logic of Explicit and Implicit Distributed Belief24th European Conference on Artificial Intelligence (ECAI 2020), Intelligent Systems Group (GSI); Research Center on Intelligent Technologies of the University of Santiago de Compostela (CiTIUS), Aug 2020, Santiago de Compostela, Spain. pp.753-760
Communication dans un congrès
hal-03008589v1
|
|
|
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
|