Publications de Frédéric MARIS
Martin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Elise Perrotin, Régnier Pierre
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, Régnier Pierre, 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
Yashar Akrami, M. Ashdown, J. Aumont, C. Baccigalupi, M. Ballardini, A. J. Banday, R. B. Barreiro, N. Bartolo, S. Basak, K. Benabed, J.-P. Bernard, M. Bersanelli, P. Bielewicz, J. R. Bond, J. Borrill, F. R. Bouchet, C. Burigana, E. Calabrese, P. Carvalho, H. C. Chiang, B. P. Crill, F. Cuttaia, A. de Rosa, G. de Zotti, J. Delabrouille, J.-M. Delouis, E. Di Valentino, J. M. Diego, X. Dupac, S. Dusini, G. Efstathiou, F. Elsner, T. A. Ensslin, H. K. Eriksen, R. Fernandez-Cobos, F. Finelli, A. A. Fraisse, E. Franceschi, A. Frolov, S. Galeotta, K. Ganga, M. Gerbino, J. González-Nuevo, K. M. Górski, Serge Gratton, A. Gruppuso, J. E. Gudmundsson, W. Handley, F. K. Hansen, D. Herranz, E. Hivon, M. Hobson, Z. Huang, W. C. Jones, E. Keihänen, R. Keskitalo, J. Kim, T. S. Kisner, N. Krachmalnicoff, M. Kunz, H. Kurki-Suonio, J.-M. Lamarre, A. Lasenby, M. Lattanzi, C. R. Lawrence, M. Le Jeune, F. Levrier, P. B. Lilje, V. Lindholm, M. López-Caniego, Y.-Z. Ma, J. F. Macías-Pérez, G. Maggio, N. Mandolesi, A. Marcos-Caballero, M. Maris, P. G. Martin, E. Martínez-González, S. Matarrese, N. Mauri, J. D. Mcewen, M. Migliaccio, D. Molinari, A. Moneti, L. Montier, G. Morgante, P. Natoli, D. Paoletti, B. Partridge, F. Perrotta, V. Pettorino, F. Piacentini, G. Polenta, J.-L. Puget, J. P. Rachen, M. Reinecke, M. Remazeilles, A. Renzi, G. Rocha, G. Roudier, B. Ruiz-Granados, M. Savelainen, D. Scott, G. Sirri, L. D. Spencer, A.-S. Suur-Uski, J. A. Tauber, D. Tavagnacco, M. Tenti, L. Toffolatti, M. Tomasi, T. Trombetti, J. Valiviita, B. van Tent, P. Vielva, Francesca Villa, I. K. Wehus, A. Zacchei, A. Zonca
Planck intermediate results
Astronomy and Astrophysics – A&A, 2020, 644, pp.A99. ⟨10.1051/0004-6361/201936794⟩
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
Dans : Journal of Artificial Intelligence Research (JAIR), AAAI Press, Vol. 50, p. 447-485, 2014.
Résumé Accès : http://www.irit.fr/publis/ADRIA/MonotoneJAIR.pdf – https://oatao.univ-toulouse.fr/13037/
BibTeXMartin 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 C 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, ⟨10.1609/aaai.v35i7.16786⟩
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
Journées Francophones Planification, Décision et Apprentissage (JFPDA 2022), Plate-Forme Intelligence Artificielle, Jun 2022, Saint-Etienne, France. pp.1-4
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, F 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
Simple epistemic planning: generalised gossiping (short paper)
Dans : European Conference on Artificial Intelligence (ECAI 2016), The Hague, NL, 29/08/16-02/09/16, IOS Press, p. 1563-1564, 2016.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Ecai16.html – https://oatao.univ-toulouse.fr/17046/
BibTeXMartin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
A simple account of multi-agent epistemic planning (regular paper)
Dans : European Conference on Artificial Intelligence (ECAI 2016), The Hague, NL, 29/08/16-02/09/16, IOS Press, p. 193-201, août 2016.
Résumé Accès : http://www.irit.fr/~Andreas.Herzig/P/Ecai16.html – https://oatao.univ-toulouse.fr/17045/
BibTeXHélène Fargier, Frédéric Maris, Vincent Roger
Temporal Constraint Satisfaction Problems and Difference Decision Diagrams: A Compilation Map. (regular paper)
Dans : IEEE International Conference on Tools with Artificial Intelligence, Vietry sul mare, Italie, 09/11/15-11/11/15, IEEE : Institute of Electrical and Electronics Engineers, p. 429-436, novembre 2015.
Accès : http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7372167 – https://oatao.univ-toulouse.fr/15483/
BibTeXMartin Cooper, Andreas Herzig, Faustine Maffre, Frédéric Maris, Pierre Régnier
A simple account of multiagent epistemic planning (regular paper)
Dans : Journées Francophones sur la Planification, la Décision et l’Apprentissage (JFPDA 2015), Rennes, 01/05/15-03/07/15, Frédéric Maris (Eds.), AFIA : Association Francaise d’Intelligence Artificielle, (en ligne), juillet 2015.
Résumé Accès : http://pfia2015.inria.fr/actes/index.php?procpage=jfpda – https://oatao.univ-toulouse.fr/15451/
BibTeXKhaled Skander Ben Slimane, Alexis Comte, Olivier Gasquet, Abdelwahab Heba, Olivier Lezaud, Frédéric Maris, Maël Valais
Twist your logic with TouIST (regular paper)
Dans : International Congress on Tools for Teaching Logic (ICTTL 2015), Rennes, France, 09/06/15-12/06/15, Antonia Huertas, Joao Marcos, Maria Manzano, Sophie Pinchinat, François Schwarzentruber (Eds.), IRISA, (en ligne), août 2015.
Accès : http://ttl2015.irisa.fr/TTL2015_proceedings.pdf – https://oatao.univ-toulouse.fr/18745/
BibTeXMartin Cooper, Frédéric Maris, Pierre Régnier
Monotone Temporal Planning: Tractability, Extensions and Applications (Extended Abstract) (short paper)
Dans : International Conference on Principles and Practice of Constraint Programming (CP 2014), Lyon, 08/09/14-12/09/14, Springer, p. 928-932, 2014.
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 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