Filter your results
- 4
- 2
- 5
- 1
- 6
- 1
- 2
- 1
- 2
- 1
- 4
- 2
- 6
- 5
- 4
- 3
- 2
- 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
|
||
Simple Epistemic SAT Planning3èmes Journées sur la planification MultiAgent, Flexible, Temporelle, Epistémique et Contingente (MAFTEC 2017), GDR IA sur les Aspects Formels et Algorithmiques de l'Intelligence Artificielle, initiative INS2I et CNRS, Nov 2017, Lille, France
Conference papers
hal-03120298v1
|
|||
|
Dynamic logic of parallel propositional assignments and its applications to planningTwenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}, Aug 2019, Macao, China. pp.5576-5582, ⟨10.24963/ijcai.2019/774⟩
Conference papers
hal-02865935v1
|
||
|
Temporal Epistemic Gossip Problems16th European Conference on Multi-Agent Systems (EUMAS 2018), Dec 2018, Bergen, Norway. pp.1-14
Conference papers
hal-02378391v1
|
||
|
Codage SMT dans un espace de plans (liens causaux) pour la planification temporelle en temps continuJournées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes (JFPDA @ PFIA 2018), LORIA : Laboratoire lorrain de Recherche en Informatique et ses Applications, France; AFIA : Association française pour l'intelligence artificielle, France, Jul 2018, Nancy, France
Conference papers
hal-01840825v1
|
||
|
Reasoning about concurrent actions and its applications to epistemic and temporal planningNetworking and Internet Architecture [cs.NI]. Université Paul Sabatier - Toulouse III, 2020. English. ⟨NNT : 2020TOU30317⟩
Theses
tel-03533234v1
|