Filter your results
- 6
- 4
- 2
- 6
- 4
- 1
- 2
- 3
- 1
- 6
- 6
- 6
- 6
- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Lightweight Parallel Multi-Agent Epistemic Planning17th International Conference on Principles of Knowledge Representation and Reasoning - KR 2020, Sep 2020, Rhodes, Greece
Conference papers
hal-03015803v1
|
||
|
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
Journal articles
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⟩
Journal articles
hal-03147798v1
|
||
|
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
Conference papers
hal-03008589v1
|
||
|
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⟩
Conference papers
hal-03450078v1
|
||
|
When 'knowing whether' is better than 'knowing that13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France
Conference papers
hal-02302984v1
|