Search - IRIT - Institut de Recherche en Informatique de Toulouse Access content directly

Filter your results

6 Results
authFullName_s : Elise Perrotin
Image document

Lightweight Parallel Multi-Agent Epistemic Planning

Martin Cooper , Andreas Herzig , Frédéric Maris , Elise Perrotin , Julien Vianey
17th International Conference on Principles of Knowledge Representation and Reasoning - KR 2020, Sep 2020, Rhodes, Greece
Conference papers hal-03015803v1
Image document

True Belief and Mere Belief About a Proposition and the Classification of Epistemic-Doxastic Situations

Andreas Herzig , Elise Perrotin
Filosofiska Notiser, 2021, Årgång 8 (1- Special issue on modal logic), pp.103-117
Journal articles hal-03011708v1
Image document

A Lightweight Epistemic Logic and its Application to Planning

Martin Cooper , Andreas Herzig , Faustine Maffre , Frédéric Maris , Elise Perrotin , et al.
Artificial Intelligence, 2021, Special issue: SI: Ethics for Autonomous Systems, 298, pp.103437. ⟨10.1016/j.artint.2020.103437⟩
Journal articles hal-03147798v1
Image document

A Logic of Explicit and Implicit Distributed Belief

Andreas Herzig , Emiliano Lorini , Elise Perrotin , Benito Fabian Romero Jimenez , François Schwarzentruber
24th 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
Image document

A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition

Andreas Herzig , Frédéric Maris , Elise Perrotin
18th 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
Image document

When 'knowing whether' is better than 'knowing that

Martin Cooper , Andreas Herzig , Faustine Maffre , F Maris , Elise Perrotin , et al.
13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France
Conference papers hal-02302984v1