Publications de Frédéric MARIS
Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris
A Logical Modeling of the Yōkai Board Game
AI Communications, In press, pp.1-32. ⟨10.3233/AIC-230050⟩
Martin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Elise Perrotin, Pierre Régnier
A Lightweight Epistemic Logic and its Application to Planning
Artificial Intelligence, 2021, Special issue: SI: Ethics for Autonomous Systems, 298, pp.103437. ⟨10.1016/j.artint.2020.103437⟩
Olivier Gasquet, Dominique Longin, Emiliano Lorini, Frédéric Maris, Pierre Régnier, Sergei Soloviev
TouIST, a Teacher-and Student-Friendly Language for Propositional Logic and Discrete Mathematics
Computer Tools in Education journal (“Kompjuternye instrumenty v obrazovanii”), 2021, 2, pp.13-25
Martin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
The epistemic gossip problem
Discrete Mathematics, 2019, 342 (3), pp.654-663. ⟨10.1016/j.disc.2018.10.041⟩
Olivier Gasquet, Dominique Longin, Frédéric Maris, Pierre Régnier, Maël Valais
Compact Tree Encodings for Planning as QBF
Inteligencia Artificial. Ibero-American Journal of Artificial Intelligence, 2018, 21 (62), pp.103-113
Martin Cooper, Frédéric Maris, Pierre Régnier
Monotone Temporal Planning: Tractability, Extensions and Applications
Journal of Artificial Intelligence Research, 2014, vol. 50, pp. 447-485. ⟨10.1613/jair.4358⟩
Martin Cooper, Frédéric Maris, Pierre Régnier
Managing temporal cycles in planning problems requiring concurrency
Dans : Computational Intelligence, Wiley-Blackwell, USA, Vol. 29 N. 1, p. 111-128, 2013.
Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/Cycles_Temporels_final.pdf – https://oatao.univ-toulouse.fr/12314/
BibTeXFrédéric Maris, Pierre Régnier
Planification temporellement expressive, TLP-GP: Un planificateur pour la résolution de problèmes temporellement expressifs
Dans : Revue d’Intelligence Artificielle (RIA), Hermès Science, Vol. 24, N. 4, p. 445-464, 2010.
Martin Cooper, Arnaud Lequen, Frédéric Maris
Isomorphisms Between STRIPS Problems and Sub-Problems
28th International Conference on Principles and Practice of Constraint Programming (CP 2022), Association for Constraint Programming, Jul 2022, Haïfa, Israel. pp.13:1–13:16, ⟨10.4230/LIPIcs.CP.2022.13⟩
Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris
A Simple Framework for Cognitive Planning
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
Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris
An Implemented System for Cognitive Planning
Journées Francophones Planification, Décision et Apprentissage (JFPDA 2022), Plate-Forme Intelligence Artificielle, Jun 2022, Saint-Etienne, France. pp.1-4
Martin Cooper, Arnaud Lequen, Frédéric Maris
Isomorphismes entre instances et sous-instances STRIPS
Journées Francophones de Programmation par Contraintes, Association Française pour l’Intelligence Artificielle (AFIA), Jun 2022, Saint-Etienne, France. pp.35-42
Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris
An Implemented System for Cognitive Planning
14th International Conference on Agents and Artificial Intelligence (ICAART 2022), Feb 2022, Online, France. pp.492-499
Jorge Luis Fernandez Davila, Dominique Longin, Emiliano Lorini, Frédéric Maris
A Simple Framework for Cognitive Planning
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⟩
Dominique Longin, Emiliano Lorini, Frédéric Maris
Beliefs, Time and Space: A Language for the Yōkai Board Game
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⟩
Andreas Herzig, Frédéric Maris, Elise Perrotin
A Dynamic Epistemic Logic with Finite Iteration and Parallel Composition
18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), Nov 2020, virtual, Vietnam. pp.676-680, ⟨10.24963/kr.2021/68⟩
Martin Cooper, Andreas Herzig, Frédéric Maris, Elise Perrotin, Julien Vianey
Lightweight Parallel Multi-Agent Epistemic Planning
17th International Conference on Principles of Knowledge Representation and Reasoning – KR 2020, Sep 2020, Rhodes, Greece
Jorge H. Fernandez, Olivier Gasquet, Andreas Herzig, Dominique Longin, Emiliano Lorini, Frédéric Maris, Pierre Régnier
TouIST: a Friendly Language for Propositional Logic and More
29th International Joint Conference on Artificial Intelligence (IJCAI 2020), Jan 2020, Yokohama, Japan. pp.5240-5242, ⟨10.24963/ijcai.2020/756⟩
Andreas Herzig, Frédéric Maris, Julien Vianey
Dynamic logic of parallel propositional assignments and its applications to planning
Twenty-Eighth International Joint Conference on Artificial Intelligence {IJCAI-19}, Aug 2019, Macao, China. pp.5576-5582, ⟨10.24963/ijcai.2019/774⟩
Martin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Elise Perrotin, Pierre Régnier
When ‘knowing whether’ is better than ‘knowing that
13èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2019), Jul 2019, Toulouse, France
Martin Cooper, Andreas Herzig, Frédéric Maris, Julien Vianey
Temporal Epistemic Gossip Problems
16th European Conference on Multi-Agent Systems (EUMAS 2018), Dec 2018, Bergen, Norway. pp.1-14
La planification par compilation (JFPDA 2018)
JFPDA 2018 – Journées Francophones sur la Planification, la Décision et l’Apprentissage, LORIA; AFIA, Jul 2018, Nancy, France
Frédéric Maris, Maël Valais, Julien Vianey
Codage SMT dans un espace de plans (liens causaux) pour la planification temporelle en temps continu
Journé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
Olivier Gasquet, Dominique Longin, Frédéric Maris, Pierre Régnier, Maël Valais
Compact Tree Encodings for Planning as QBF
13th Workshop on Constraint Satisfaction Techniques for Planningand Scheduling (COPLAS 2018 @ ICAPS 2018), Jun 2018, Delft, Netherlands. pp.21-28
Olivier Gasquet, Dominique Longin, Frédéric Maris, Pierre Régnier, Maël Valais
Codages d’arbres compacts (CTE) pour la planification QBF
12èmes Journées d’Intelligence Artificielle Fondamentale (JIAF 2018), Jun 2018, Amiens, France. pp.1-9
Djamila Baroudi, Chihab Hanachi, Frédéric Maris
Génération de plans à partir d’une spécification déclarative d’une collaboration
Journées Francophones sur la Planification, la Décision et l’Apprentissage pour la conduite de systèmes (JFPDA 2017), Jul 2017, Caen, France
Olivier Gasquet, Andreas Herzig, Dominique Longin, Frédéric Maris, Maël Valais
TouIST again… Formalisez et résolvez facilement des problèmes avec des solveurs SAT, SMT et QBF
Journées d’Intelligence Artificielle Fondamentale (JIAF 2017), Jul 2017, Caen, France
Martin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
A simple account of multi-agent epistemic planning
22nd European Conference on Artificial Intelligence (ECAI 2016), Aug 2016, The Hague, Netherlands. pp. 193-201
Martin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
Simple epistemic planning: generalised gossiping
22nd European Conference on Artificial Intelligence (ECAI 2016), Aug 2016, The Hague, Netherlands. pp. 1563-1564
Hélène Fargier, Frédéric Maris, Vincent Roger
Temporal Constraint Satisfaction Problems and Difference Decision Diagrams: A Compilation Map
27th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2015), Nov 2015, Vietri sul Mare, Italy. pp.429-436, ⟨10.1109/ICTAI.2015.71⟩
Skander Ben Slimane, Alexis Comte, Olivier Gasquet, Abdelwahab Heba, Frédéric Maris, Maël Valais
Twist your logic with TouIST
4th International Congress on Tools for Teaching Logic (TTL 2015), IRISA: Institut de Recherche en Informatique et Systèmes Aléatoires; INRIA, Jun 2015, Rennes, France. pp.1-8
Martin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
A simple account of multiagent epistemic planning
10èmes Journées Francophones sur la Planification, la Décision et l’Apprentissage (JFPDA 2015), May 2015, Rennes, France. pp. 23-29
Martin Cooper, Frédéric Maris, Pierre Régnier
Monotone Temporal Planning : tractability, extensions and applications (Extended abstract)
20th International Conference on Principles and Practice of Constraint Programming (CP), Sep 2014, Lyon, France. pp. 928-932
Martin Cooper, Frédéric Maris, Pierre Régnier
Relaxation of Temporal Planning Problems (regular paper)
Dans : International Symposium on Temporal Representation and Reasoning (TIME 2013), Pensacola, FL, USA, 26/10/13-28/10/13, CPS (Conference Publishing Services), p. 37-44, 2013.
Résumé Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/Time2013-VersionEditeur.pdf – https://oatao.univ-toulouse.fr/12548/
BibTeXLamia Belouaer, Frédéric Maris
SMT Spatio-Temporal Planning
Dans : ICAPS Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems (COPLAS), Atibaia, São Paulo, Brazil, 25/06/12, Miguel A. Salido, Roman Barták (Eds.).
Martin Cooper, Frédéric Maris, Pierre Régnier, Florian Franc
Une classe traitable de problèmes de planification temporelle (regular paper)
Dans : Journées Francophones de Programmation par Contraintes (JFPC 2012), Toulouse, 22/05/12-24/05/12, AFIA : Association Francaise d’Intelligence Artificielle, (en ligne), 2012.
Martin Cooper, Frédéric Maris, Pierre Régnier
Tractable Monotone Temporal Planning (regular paper)
Dans : International Conference on Automated Planning and Scheduling (ICAPS 2012), Sao Paulo, Brazil, 25/06/12-29/06/12, AAAI Press, p. 20-28, 2012.
Résumé Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/ICAPS-2012-Final.pdf
BibTeXFrédéric Maris, Pierre Régnier
TLP-GP, un planificateur temporel pour des problèmes temporellement expressifs (short paper)
Dans : Congrès Francophone de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2010), Caen, 19/01/10-22/01/10, AFIA : Association Francaise d’Intelligence Artificielle, p. 879-880, janvier 2010.
Martin Cooper, Frédéric Maris, Pierre Régnier
Solving Temporally-Cyclic Planning Problems (regular paper)
Dans : International Symposium on Temporal Representation and Reasoning (TIME 2010), Paris, 06/09/10-08/09/10, IEEE : Institute of Electrical and Electronics Engineers, p. 113-120, septembre 2010.
Martin Cooper, Frédéric Maris, Pierre Régnier
Complétude des algorithmes de planification temporellement expressive (regular paper)
Dans : RFIA, workshop, Caen, 19/01/10-19/01/10, AFIA : Association Francaise d’Intelligence Artificielle, (support électronique), janvier 2010.
Martin Cooper, Frédéric Maris, Pierre Régnier
Compilation of a high-level temporal planning language into PDDL 2.1 (regular paper)
Dans : IEEE International Conference on Tools with Artificial Intelligence, Arras, 27/10/10-29/10/10, IEEE : Institute of Electrical and Electronics Engineers, p. 181-188, octobre 2010.
Frédéric Maris, Pierre Régnier
TLP-GP : nouveaux résultats pour la résolution de problèmes temporellement expressifs. (regular paper)
Dans : Congrès Francophone de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2010), caen, 19/01/10-22/01/10, AFIA : Association Francaise d’Intelligence Artificielle, p. 780-787, 2010.
Frédéric Maris, Pierre Régnier
TLP-GP : Un planificateur pour la résolution de problèmes temporellement expressifs (regular paper)
Dans : Journées Francophones sur la Planification, la Décision et l’Apprentissage (JFPDA 2009), Paris, 02/06/09-03/06/09, AFIA : Association Francaise d’Intelligence Artificielle, p. 123-130, juin 2009.
Frédéric Maris, Pierre Régnier
TLP-GP : solving temporally-expressive planning problem
Dans : International Symposium on Temporal Representation and Reasoning (TIME 2008), Montréal, 16/06/08-18/06/08, IEEE Computer Society, p. 124-132, 2008.
Frédéric Maris, Pierre Régnier
TLP-GP: New Results on Temporally-Expressive Planning Benchmarks
Dans : International Conference on Tools with Artificial Intelligence (ICTAI 2008), Dayton, 03/11/08-05/11/08, Vol. 1, IEEE Computer Society, p. 507-514, 2008.
Frédéric Maris, Pierre Régnier
TLPGP : un algorithme GRAPHPLAN à Progression Temporelle Flottante
Dans : Journées Francophones sur la Planification, la Décision et l’Apprentissage (JFPDA 2007), Grenoble, 04/07/07-06/07/07, Cépaduès Editions, p. 1-12, 2007.
Frédéric Maris, Pierre Régnier, Vincent Vidal
Planification SAT : Amélioration des codages et traduction automatique
Dans : Congrès Francophone de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2004), Toulouse, 28/01/04-31/01/04, AFRIF-AFIA, p. 102-1128, janvier 2004.
Frédéric Maris, Pierre Régnier, Vincent Vidal
Planification par satisfaction de bases de clauses
Dans : Problème SAT : progrès et défis. Lakhdar Saïs (Eds.) , Hermès Science, p. 237-256, mai 2008.
Planification SAT et planification temporellement expressive: les systèmes TSP et TLP-GP
Thèse de doctorat, Université Paul Sabatier, septembre 2009.
Olivier Boissier, Zied Bouraoui, Stephan Brunessaux, Sylvie Doutre, Jean-Paul Jamont, Abir Karami, Maxime Lefrançois, Céline Rouveirol, François Schartzentruber, Yves Demazeau, Thomas Guyet, Dominique Longin, Frédéric Maris
Conférence Nationale d’Intelligence Artificielle Année 2021
Isabelle Bloch, Zied Bouraoui, Stephan Brunessaux, Sylvie Doutre, Amal El Fallah-Seghrouchni, Sébastien Ferré, Frédéric Maris, Alexandre Niveau, Nicolas Sabouret, Yves Demazeau, Dominique Longin
Conférence Nationale d’Intelligence Artificielle Année 2020
Association Française d’Intelligence Artificielle, 2020
Frédéric Alexandre, Leila Amgoud, Christian Bessiere, Jean-François Bonnefon, Tristan Cazenave, Raja Chatila, Antoine Cornuejols, Frédéric Cuppens, Sébastien Destercke, Béatrice Daille, Didier Dubois, Jérôme Euzenat, Jean-Gabriel Ganascia, Malik Ghallab, Matthieu Geist, Andreas Herzig, Sébastien Konieczny, Frédéric Koriche, Jérôme Lang, Frédéric Maris, Pierre Marquis, Nicolas Maudet, Engelbert Mephu-Nguifo, Jacques Nicolas, Catherine Pelachaud, Vianney Perchet, Henri Prade, Marie-Christine Rousset, Patrick Saint Dizier, Frédéric Saubion, Christine Solnon, Karim Tabia, Tim van de Cruys, Christel Vrain, Christian Wolf
L’intelligence Artificielle: De quoi s’agit-il vraiment ?
Sébastien Konieczny; Henri Prade. Cepadues, 2020, 9782364938502
Philippe Mathieu, Domitile Lourdeaux, Christian de Sainte Marie, Serena Villata, Yves Demazeau, Frédéric Maris
Conférence Nationale d’Intelligence Artificielle Année 2016
Association Française pour l’Intelligence Artificielle (AFIA). , 2016
Actes des 15es Journées Francophones sur la Planification, la Décision et l’Apprentissage pour la conduite de systèmes
Plate-Forme Intelligence Artificielle, Association Française pour l’Intelligence Artificielle, 2020
Actes des 10es Journées Francophones Planification, Décision, Apprentissage pour la conduite des systèmes
Plate-Forme Intelligence Artificielle, Association Française pour l’Intelligence Artificielle, 2015
Olivier Gasquet, Andreas Herzig, Dominique Longin, Frédéric Maris, Maël Valais
Poster sur “La logique facile avec TouIST
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