Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

44 résultats
Page :
triés par
Image document

A Logical Modeling of the Yōkai Board Game

 Dominique Longin , Emiliano Lorini , Frédéric Maris
[Research Report] IRIT - Institut de recherche en informatique de Toulouse. 2020
Rapport hal-02983253v3
Image document

Conférence Nationale d'Intelligence Artificielle Année 2016

 Philippe Mathieu , Domitile Lourdeaux , Christian de Sainte Marie , Serena Villata , Yves Demazeau , et al.
Association Française pour l'Intelligence Artificielle (AFIA). , 2016
Ouvrages hal-02189782v1
Image document

Beliefs, Time and Space: A Language for the Yōkai Board Game

 Dominique Longin , Emiliano Lorini , Frédéric Maris
23rd International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2020), Nov 2020, Nagoya (on line), Japan. ⟨10.1007/978-3-030-69322-0_28⟩
Communication dans un congrès hal-03029712v2
Image document

An introduction to cognitive planning

 Jorge Luis Fernandez Davila , Dominique Longin , Emiliano Lorini , Frédéric Maris
Doctoral. Tutorial at PFIA 2022, Saint-Etienne, France. 2022, pp.134
Cours hal-03763006v1
Image document

Monotone Temporal Planning: Tractability, Extensions and Applications

 Martin Cooper , Frédéric Maris , Pierre Régnier
Journal of Artificial Intelligence Research, 2014, vol. 50, pp. 447-485. ⟨10.1613/jair.4358⟩
Article dans une revue hal-01118794v1
Image document

Relaxation of Temporal Planning Problems

 Martin Cooper , Frédéric Maris , Pierre Régnier
International Symposium on Temporal Representation and Reasoning - TIME 2013, Sep 2013, Pensacola, United States. pp. 37-44
Communication dans un congrès hal-01147301v1
Image document

Isomorphismes entre instances et sous-instances STRIPS

 Martin Cooper , Arnaud Lequen , Frédéric Maris
Journées Francophones de Programmation par Contraintes, Association Française pour l’Intelligence Artificielle (AFIA), Jun 2022, Saint-Etienne, France. pp.35-42
Communication dans un congrès hal-03819065v1
Image document

Simple epistemic planning: generalised gossiping

 Martin Cooper , Andreas Herzig , Faustine Maffre , Frédéric Maris , Pierre Régnier
22nd European Conference on Artificial Intelligence (ECAI 2016), Aug 2016, The Hague, Netherlands. pp. 1563-1564
Communication dans un congrès hal-01500520v1
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
Communication dans un congrès hal-03015803v1
Image document

Poster sur ``La logique facile avec TouIST

 Olivier Gasquet , Andreas Herzig , Dominique Longin , Frédéric Maris , Maël Valais
Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes (JFPDA 2017), Jul 2017, Caen, France. , 2017
Poster de conférence hal-03116309v1

Planification par satisfaction de bases de clauses

 Frédéric Maris , Pierre Régnier , Vincent Vidal
Lakhdar Saïs. Problème SAT : défis et challenges, Hermès, pp.289-309, 2008
Chapitre d'ouvrage hal-00869998v1
Image document

An Implemented System for Cognitive Planning

 Jorge Luis Fernandez Davila , Dominique Longin , Emiliano Lorini , Frédéric Maris
Journées Francophones Planification, Décision et Apprentissage (JFPDA 2022), Plate-Forme Intelligence Artificielle, Jun 2022, Saint-Etienne, France. pp.1-4
Communication dans un congrès hal-03763068v1

A Simple Framework for Cognitive Planning

 Jorge Luis Fernandez Davila , Dominique Longin , Emiliano Lorini , Frédéric Maris
W17 - Workshop Cognitive Aspects of Knowledge Representation (CAKR 2022) @ IJCAI-ECAI 2022, AAAI Technical Track on Knowledge Representation and Reasoning, Jul 2022, Vienna, Austria. pp.6331-6339
Communication dans un congrès hal-03760340v1
Image document

Codages d'arbres compacts (CTE) pour la planification QBF

 Olivier Gasquet , Dominique Longin , Frédéric Maris , Pierre Régnier , Maël Valais
12èmes Journées d'Intelligence Artificielle Fondamentale (JIAF 2018), Jun 2018, Amiens, France. pp.1-9
Communication dans un congrès hal-02982959v1
Image document

A Logical Modeling of the Yōkai Board Game

 Jorge Luis Fernandez Davila , Dominique Longin , Emiliano Lorini , Frédéric Maris
AI Communications, In press, pp.1-32. ⟨10.3233/AIC-230050⟩
Article dans une revue hal-04304902v1
Image document

Monotone Temporal Planning : tractability, extensions and applications (Extended abstract)

 Martin Cooper , Frédéric Maris , Pierre Régnier
20th International Conference on Principles and Practice of Constraint Programming (CP), Sep 2014, Lyon, France. pp. 928-932
Communication dans un congrès hal-01153605v1
Image document

Planification SAT et Planification Temporellement Expressive. Les Systèmes TSP et TLP-GP.

 Frédéric Maris
Informatique [cs]. Université Paul Sabatier - Toulouse III, 2009. Français. ⟨NNT : ⟩
Thèse tel-00442014v1

La planification par compilation (JFPDA 2018)

 Frédéric Maris
JFPDA 2018 - Journées Francophones sur la Planification, la Décision et l'Apprentissage, LORIA; AFIA, Jul 2018, Nancy, France
Communication dans un congrès hal-03034000v1
Image document

Compact Tree Encodings for Planning as QBF

 Olivier Gasquet , Dominique Longin , Frédéric Maris , Pierre Régnier , Maël Valais
13th Workshop on Constraint Satisfaction Techniques for Planningand Scheduling (COPLAS 2018 @ ICAPS 2018), Jun 2018, Delft, Netherlands. pp.21-28
Communication dans un congrès hal-02279383v1

L’intelligence Artificielle: De quoi s’agit-il vraiment ?

 Frédéric Alexandre , Leila Amgoud , Christian Bessiere , Jean-François Bonnefon , Tristan Cazenave , et al.
Sébastien Konieczny; Henri Prade. Cepadues, 2020, 9782364938502
Ouvrages hal-04270163v1
Image document

TouIST again... Formalisez et résolvez facilement des problèmes avec des solveurs SAT, SMT et QBF

 Olivier Gasquet , Andreas Herzig , Dominique Longin , Frédéric Maris , Maël Valais
Journées d'Intelligence Artificielle Fondamentale (JIAF 2017), Jul 2017, Caen, France
Communication dans un congrès hal-03116308v1

Dynamic logic of parallel propositional assignments and its applications to planning

 Andreas Herzig , Frédéric Maris , Julien Vianey
Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}, Aug 2019, Macao, China. pp.5576-5582, ⟨10.24963/ijcai.2019/774⟩
Communication dans un congrès hal-02865935v1
Image document

Temporal Epistemic Gossip Problems

 Martin Cooper , Andreas Herzig , Frédéric Maris , Julien Vianey
16th European Conference on Multi-Agent Systems (EUMAS 2018), Dec 2018, Bergen, Norway. pp.1-14
Communication dans un congrès hal-02378391v1
Image document

Compilation d'un langage de planification temporelle de haut niveau en PDDL2.1

 Martin Cooper , Frédéric Maris , Pierre Régnier
RFIA 2012 (Reconnaissance des Formes et Intelligence Artificielle), Jan 2012, Lyon, France. pp.978-2-9539515-2-3
Communication dans un congrès hal-00656490v1
Image document

Conférence Nationale d'Intelligence Artificielle Année 2020

 Isabelle Bloch , Zied Bouraoui , Stephan Brunessaux , Sylvie Doutre , Amal El Fallah-Seghrouchni , et al.
Conférence Nationale d'Intelligence Artificielle Année 2020, Association Française d'Intelligence Artificielle, 2020
Proceedings/Recueil des communications hal-02964840v1
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⟩
Article dans une revue hal-03147798v1
Image document

TouIST: a Friendly Language for Propositional Logic and More

 Jorge H. Fernandez , Olivier Gasquet , Andreas Herzig , Dominique Longin , Emiliano Lorini , et al.
29th International Joint Conference on Artificial Intelligence (IJCAI 2020), Jan 2020, Yokohama, Japan. pp.5240-5242, ⟨10.24963/ijcai.2020/756⟩
Communication dans un congrès hal-02925894v1
Image document

Compact Tree Encodings for Planning as QBF

 Olivier Gasquet , Dominique Longin , Frédéric Maris , Pierre Régnier , Maël Valais
Inteligencia Artificial. Ibero-American Journal of Artificial Intelligence, 2018, 21 (62), pp.103-113
Article dans une revue hal-02181997v1
Image document

A Simple Framework for Cognitive Planning

 Jorge Luis Fernandez Davila , Dominique Longin , Emiliano Lorini , Frédéric Maris
35th AAAI Conference on Artificial Intelligence (AAAI 2021), AAAI : Association for the Advancement of Artificial Intelligence, Feb 2021, virtual conference, United States. ⟨10.1609/aaai.v35i7.16786⟩
Communication dans un congrès hal-03091086v1

Génération de plans à partir d'une spécification déclarative d'une collaboration

 Djamila Baroudi , Chihab Hanachi , Frédéric Maris
Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes (JFPDA 2017), Jul 2017, Caen, France
Communication dans un congrès hal-03120299v1
Page :