Institut de Recherche en Informatique de Toulouse

Publications

Maris Frédéric

Pour une recherche plus ciblée, utiliser l'interface d'interrogation de la base des publications de l'IRIT.
For an advanced search, please use the IRIT's publications database form.

Articles de revues internationales / International journal papers

• Martin Cooper, Frédéric Maris, Pierre Régnier. Monotone Temporal Planning: Tractability, Extensions and Applications. Dans : Journal of Artificial Intelligence Research, AAAI Press, Vol. 50, p. 447-485, 2014.
  Résumé Accès : https://www.irit.fr/publis/ADRIA/MonotoneJAIR.pdf - http://oatao.univ-toulouse.fr/13037/
  BibTeX

• 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 : https://www.irit.fr/publis/ADRIA/PapersCooper/Cycles_Temporels_final.pdf - http://oatao.univ-toulouse.fr/12314/
  BibTeX

• Fré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, Hermès Science, Vol. 24, N. 4, p. 445-464, 2010.
  BibTeX

• 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.
  BibTeX

• 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/2016-02/09/2016, IOS Press, p. 1563-1564, 2016.
  Résumé Accès : https://www.irit.fr/~Andreas.Herzig/P/Ecai16.html - http://oatao.univ-toulouse.fr/17046/
  BibTeX

• Martin 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/2016-02/09/2016, IOS Press, p. 193-201, août 2016.
  Résumé Accès : https://www.irit.fr/~Andreas.Herzig/P/Ecai16.html - http://oatao.univ-toulouse.fr/17045/
  BibTeX

• Hé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/2015-11/11/2015, IEEE, p. 429-436, novembre 2015.
  Accès : http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=7372167 - http://oatao.univ-toulouse.fr/15483/
  BibTeX

• Khaled 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/2015-12/06/2015, 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
  BibTeX

• Martin 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/2014-12/09/2014, Springer, p. 928-932, 2014.
  Accès : http://oatao.univ-toulouse.fr/13079/
  BibTeX

• 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/2013-28/10/2013, CPS (Conference Publishing Services), p. 37-44, 2013.
  Résumé Accès : https://www.irit.fr/publis/ADRIA/PapersCooper/Time2013-VersionEditeur.pdf - http://oatao.univ-toulouse.fr/12548/
  BibTeX

• Martin Cooper, Frédéric Maris, Pierre Régnier. Tractable Monotone Temporal Planning (regular paper). Dans : International Conference on Automatic Planning and Scheduling (ICAPS 2012), Sao Paulo, Brazil, 25/06/2012-29/06/2012, AAAI Press, p. 20-28, 2012.
  Résumé Accès : https://www.irit.fr/publis/ADRIA/PapersCooper/ICAPS-2012-Final.pdf
  BibTeX

• 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/2010-08/09/2010, IEEE, p. 113-120, septembre 2010.
  BibTeX

• 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/2010-29/10/2010, IEEE, p. 181-188, octobre 2010.
  BibTeX

• 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/2008-18/06/2008, IEEE Computer Society, p. 124-132, 2008.
  BibTeX

• 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/2008-05/11/2008, Vol. 1, IEEE Computer Society, p. 507-514, 2008.
  BibTeX

• Martin 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/2015-03/07/2015, Frédéric Maris (Eds.), AFIA, (en ligne), juillet 2015.
  Résumé Accès : http://pfia2015.inria.fr/actes/index.php?procpage=jfpda - http://oatao.univ-toulouse.fr/15451/
  BibTeX

• 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/2012-24/05/2012, Association Francaise d'Intelligence Artificielle (AFIA), (en ligne), 2012.
  Accès : http://hal.inria.fr/hal-00809845
  BibTeX

• Fré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/2010-22/01/2010, AFIA, p. 879-880, janvier 2010.
  BibTeX

• 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/2010-19/01/2010, AFIA, (support électronique), janvier 2010.
  BibTeX

• 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/2010-22/01/2010, Association Francaise d'Intelligence Artificielle (AFIA), p. 780-787, 2010.
  BibTeX

• 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/2009-03/06/2009, AFIA, p. 123-130, juin 2009.
  BibTeX

• 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/2007-06/07/2007, Cépaduès Editions, p. 1-12, 2007.
  BibTeX

• 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/2004-31/01/2004, AFRIF-AFIA, p. 102-1128, janvier 2004.
  BibTeX

• Olivier Gasquet, Andreas Herzig, Dominique Longin, Frédéric Maris, Maël Valais. La logique facile avec TouIST (poster). Dans : Démonstrations des Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes, Caen, 06/07/2017-07/07/2017.
  Accès : https://www.irit.fr/publis/LILAC/Conf_sans_actes/2017_Gasquet_et_al_JFPDA-demonstrations.pdf
  BibTeX

• 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). Dans : Journées d'Intelligence Artificielle Fondamentale, Caen, 03/07/2017-05/07/2017.
  Résumé Accès : https://www.irit.fr/publis/LILAC/Conf_sans_actes/2017_Gasquet_et_al_IAF.pdf
  BibTeX

• Lamia 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/2012.
  BibTeX

• Frédéric Maris, Pierre Régnier, Xavier Rodriguez, Vincent Vidal. Planification BLACKBOX : Amélioration des codages. Rapport de recherche, n° 2002-13-R, IRIT, septembre 2004.
  BibTeX

• Frédéric Maris, Pierre Régnier, Vincent Vidal. Planification SAT : amélioration des codages, automatisation de la traduction et étude comparative. Rapport de recherche, n° 2002-39-R, IRIT, novembre 2002.
  BibTeX

• Frédéric Maris. Planification SAT et planification temporellement expressive: les systèmes TSP et TLP-GP. Thèse de doctorat, Université Paul Sabatier, septembre 2009.
  Résumé
  BibTeX