Accueil du site > Français > Productions scientifiques > Publications
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
- http://oatao.univ-toulouse.fr/18745/
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
Djamila Baroudi, Chihab Hanachi, Frédéric Maris. Génération de plans à partir d'une spécification déclarative d'une collaboration. Dans : Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes (JFPDA 2017), Caen, 06/07/2017-07/07/2017, Bruno Zanuttini (Eds.).
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