Publications of Pierre RÉGNIER
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
In : Computational Intelligence, Wiley-Blackwell, USA, Vol. 29 N. 1, pp. 111-128, 2013.
URL : http://www.irit.fr/publis/ADRIA/PapersCooper/Cycles_Temporels_final.pdf – https://oatao.univ-toulouse.fr/12314/
BibTeXMartin Cooper, Marie de Roquemaurel, Pierre Régnier
Transformation of optimal planning problems
In : Journal of Experimental & Theoretical Artificial Intelligence, Taylor & Francis Group, Vol. 23 N. 2, pp. 181-199, June 2011.
Abstract URL : http://www.irit.fr/publis/ADRIA/PapersCooper/JETAIplanningtheory.pdf
BibTeXMartin Cooper, Marie de Roquemaurel, Pierre Régnier
A weighted CSP approach to cost-optimal planning
In : AI Communications, IOS Press, Vol. 24 N. 1, pp. 1-29, 2011.
URL : http://www.irit.fr/publis/ADRIA/PapersCooper/optimal_planning.pdf
BibTeXFrédéric Maris, Pierre Régnier
Planification temporellement expressive, TLP-GP: Un planificateur pour la résolution de problèmes temporellement expressifs
In : Revue d’Intelligence Artificielle (RIA), Hermès Science, Vol. 24, N. 4, pp. 445-464, 2010.
Martin Cooper, Marie de Roquemaurel, Pierre Régnier
Transformation de problèmes de planification optimale
In : Revue d’Intelligence Artificielle (RIA), Hermès Science, Vol. 24, N. 4, pp. 465-484, 2010.
Abstract URL : http://www.irit.fr/publis/ADRIA/PapersCooper/RIA_planification.pdf
BibTeXMichel Cayrol, Pierre Régnier, Vincent Vidal
Least commitment in Graphplan
In : Artificial Intelligence, Elsevier Science B. V., Sara Burgerhartstraat 25 1055 KV Amsterdam The Netherlands, Vol. 130 N. 1, pp. 85-118, July 2001.
Détermination du parallélisme maximal et optimisation temporelle dans les plans d’actions linéaires
In : Revue d’Intelligence Artificielle (RIA), Hermès Science, Vol. 5, pp. 67-88, 1991.
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⟩
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
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
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
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
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)
In : International Symposium on Temporal Representation and Reasoning (TIME 2013), Pensacola, FL, USA, 26/10/13-28/10/13, CPS (Conference Publishing Services), pp. 37-44, 2013.
Abstract URL : http://www.irit.fr/publis/ADRIA/PapersCooper/Time2013-VersionEditeur.pdf – https://oatao.univ-toulouse.fr/12548/
BibTeXMartin Cooper, Frédéric Maris, Pierre Régnier, Florian Franc
Une classe traitable de problèmes de planification temporelle (regular paper)
In : Journées Francophones de Programmation par Contraintes (JFPC 2012), Toulouse, 22/05/12-24/05/12, AFIA : Association Francaise d’Intelligence Artificielle, (on line), 2012.
Martin Cooper, Frédéric Maris, Pierre Régnier
Tractable Monotone Temporal Planning (regular paper)
In : International Conference on Automated Planning and Scheduling (ICAPS 2012), Sao Paulo, Brazil, 25/06/12-29/06/12, AAAI Press, pp. 20-28, 2012.
Abstract URL : 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)
In : 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, pp. 879-880, January 2010.
Martin Cooper, Frédéric Maris, Pierre Régnier
Solving Temporally-Cyclic Planning Problems (regular paper)
In : International Symposium on Temporal Representation and Reasoning (TIME 2010), Paris, 06/09/10-08/09/10, IEEE : Institute of Electrical and Electronics Engineers, pp. 113-120, September 2010.
Martin Cooper, Frédéric Maris, Pierre Régnier
Complétude des algorithmes de planification temporellement expressive (regular paper)
In : RFIA, workshop, Caen, 19/01/10-19/01/10, AFIA : Association Francaise d’Intelligence Artificielle, (electronic medium), January 2010.
Martin Cooper, Frédéric Maris, Pierre Régnier
Compilation of a high-level temporal planning language into PDDL 2.1 (regular paper)
In : IEEE International Conference on Tools with Artificial Intelligence, Arras, 27/10/10-29/10/10, IEEE : Institute of Electrical and Electronics Engineers, pp. 181-188, October 2010.
Frédéric Maris, Pierre Régnier
TLP-GP : nouveaux résultats pour la résolution de problèmes temporellement expressifs. (regular paper)
In : 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, pp. 780-787, 2010.
Martin Cooper, Marie de Roquemaurel, Pierre Régnier
Transformation de problèmes de planification optimaux. (regular paper)
In : 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, (electronic medium), June 2009.
Frédéric Maris, Pierre Régnier
TLP-GP : Un planificateur pour la résolution de problèmes temporellement expressifs (regular paper)
In : 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, pp. 123-130, June 2009.
Frédéric Maris, Pierre Régnier
TLP-GP : solving temporally-expressive planning problem
In : International Symposium on Temporal Representation and Reasoning (TIME 2008), Montréal, 16/06/08-18/06/08, IEEE Computer Society, pp. 124-132, 2008.
Frédéric Maris, Pierre Régnier
TLP-GP: New Results on Temporally-Expressive Planning Benchmarks
In : International Conference on Tools with Artificial Intelligence (ICTAI 2008), Dayton, 03/11/08-05/11/08, Vol. 1, IEEE Computer Society, pp. 507-514, 2008.
Martin Cooper, Marie de Roquemaurel, Pierre Régnier
Un algorithme pour la résolution optimale de problèmes de planification valués
In : Congrès Francophone de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2008), Amiens, 22/01/08-25/01/08, AFIA : Association Francaise d’Intelligence Artificielle, pp. 102-112, 2008.
Martin Cooper, Marie de Roquemaurel, Pierre Régnier
Un algorithme pour la résolution optimale de problèmes de planification valués
In : Journées d’Intelligence Artificielle Fondamentale (JIAF 2007), Grenoble, 02/07/07-03/07/07, CNRS – GDR I3, (on line), July 2007.
URL : http://gdri3iaf.info.univ-angers.fr/IMG/pdf/deRoquemaurel-versionfinale.pdf
BibTeXFrédéric Maris, Pierre Régnier
TLPGP : un algorithme GRAPHPLAN à Progression Temporelle Flottante
In : 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, pp. 1-12, 2007.
Martin Cooper, Marie de Roquemaurel, Pierre Régnier
Recherche dune solution optimale dans des graphes de planification avec actions valuées
In : 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, pp. 1-12, July 2007.
Martin Cooper, Sylvain Cussat-Blanc, Marie de Roquemaurel, Pierre Régnier
Résolution optimale d’un graphe de planification numérique à l’aide de CSP pondérés
In : Journées Francophones sur la Planification, la Décision et l’Apprentissage (JFPDA 2006), Toulouse, 10/05/06-12/05/06, Frédérick Garcia, Gérard Verfaillie (Eds.), INRA – ONERA, pp. 10-18, 2006.
Martin Cooper, Sylvain Cussat-Blanc, Marie de Roquemaurel, Pierre Régnier
Soft arc consistency applied to optimal planning
In : International Conference on Principles and Practice of Constraint Programming (CP 2006), Nantes, 01/09/06, Springer, LNCS 4204, pp. 680-684, 2006.
Frédéric Maris, Pierre Régnier, Vincent Vidal
Planification SAT : Amélioration des codages et traduction automatique
In : Congrès Francophone de Reconnaissance des Formes et Intelligence Artificielle (RFIA 2004), Toulouse, 28/01/04-31/01/04, AFRIF-AFIA, pp. 102-1128, January 2004.
Michel Cayrol, Vincent Vidal, Pierre Régnier
New Results about LCGP, a Least Commited GraphPlan
In : AIPS 2000, Breckenridge, Colorado, 14/04/00-17/04/00, AAAI Press (Menlo Park. California. USA), AAAI Press45 Burgess DriveMenlo Park, California 94025USA, pp. 273-282, April 2000.
Michel Cayrol, Pierre Régnier, Vincent Vidal
LCGP : une amélioration de Graphplan par relâchement de contraintes entre actions simultanées
In : RFIA’2000, Paris, 01/02/00-03/02/00, AFIA, February 2000.
Total order planning is better than we thought
In : Proceedings of the National Conference In Artificial Intelligence (AAAI-99), Orlando-FL-USA, 18/07/99-22/07/99, AAAI Press-The MIT Press, pp. 591-596, July 1999.
Frédérick Garcia, Eric Jacopin, Pierre Régnier
Planification: Un panorama des recherches françaises
In : Actes des 6èmes Journées Nationales du PRC-GDR Intelligence Artificielle (S. Pesty, P. Siegel, eds.), Grenoble, Hermès, Paris, pp. 179-210, March 1997.
Christine Bastié, Pierre Régnier
SPEEDY: monitoring the execution in dynamic environments
In : Workshop Reasoning about actions and planning in complex environments (FAPR 1996), Bonn, 03/06/96-07/06/96, (on line), 1996.
L’Intelligence Artificielle face au Cerveau
In : 8ème Colloque inter-disciplinaire de Carcassonne, Journal de l’ENSCT, Carcassonne, 28/06/96-30/06/96.
Christine Bastié, Pierre Régnier
Intégration de la planification et du contrôle d’exécution en environnement dynamique: le système SPEEDY
In : Actes du 10ème Congrès ”Reconnaissance des Formes et Intelligence Artificielle” (RFIA’96), Rennes, France, AFCET, pp. 879-888, January 1996.
Christine Bastié, Pierre Régnier
Planning and execution in a dynamic environment: the supervision of execution in SPEEDY
In : UK Planning Workshop, Colchester, 22/11/95-23/11/95, UK Planning SIG, (on line), 1995.
URL : http://planning.cis.strath.ac.uk/plansig/pastsigs/essex-14/regnier-uue-2.ps.gz
BibTeXChristine Bastié, Pierre Régnier
Recherche opérationnelle pour entrelacer planification et exécution d’actions en parallèle
In : Actes de FRANCORO’95 (Rencontres Francophones de Recherche Opérationnelle, Mons, belgique, .
Christine Bastié, Pierre Régnier
Planification et exécution d’actions parallèles en environnement dynamique : le système SPEEDY
In : Rencontres nationales des jeunes chercheurs en IA, Marseille, 07/09/94-10/09/94.
Christine Bastié, Pierre Régnier
Le système SPEEDY : une application du parallélisme à l’IA
In : Journées « Parallélisme » de l’IRIT, Rapport IRIT, n° 94-12-R, Toulouse, 13/04/94-21/04/94.
Complete determination of parallel actions and temporal optimization in linear plans of actions
In : European WorkShop on Planning (EWSP 1991), Sankt Augustin, 18/03/91-19/03/91, Springer-Verlag, LNAI 522, pp. 100-111, March 1991.
Utilisation d’algorithmes classiques pour la détermination du parallélisme et l’optimisation temporelle dans les plans d’actions
In : Journées “Temps, action et planification” du PRC IA, Paris, 22/10/90-23/10/90.
Planification : un état de l’art basé sur les systèmes classiques
In : Journées « Temps, action et planification » du PRC IA, Paris, 22/10/90-23/10/90.
Une méthode complète de recherche du parallélisme dans les plans d’actions linéaires
In : Congrès Francophone de Reconnaissance des Formes et Intelligence Artificielle (RFIA 1989), Paris, 27/11/89-01/12/89, AFRIF-AFIA, pp. 115-162, November 1989.
Frédéric Maris, Pierre Régnier, Vincent Vidal
Planification par satisfaction de bases de clauses
In : Problème SAT : progrès et défis. Lakhdar Saïs (Eds.) , Hermès Science, pp. 237-256, May 2008.
Algorithmes pour la planification
HDR, Université Paul Sabatier, September 2005.
Recherche et exploitation du parallélisme en planification
Master’s Thesis, Université Paul Sabatier, May 1992.
Algorithmique de la planification en IA, Cépaduès, 2004.
Rémi Aubry, Christophe Benavent, Didier Beudon, Stéphanie Bordes, Christian Briand, Laure Campagne, Kévin Camphuis, Cyrille Carayon, Christine Cherbut, Agathe Chocat, Pierre-Henri Cros, Jean-Yves Desmarres, Catherine Esnouf, Rémi Ferrand, Olivier Fourcadet, Philippe Goetzmann, Françoise Gorga, Alain Huertas, Cédric Jarkovsky, Marie-Hélène Jouin-Mouline, Sophie Le Pallec, Do Lu Chen, Elisabeth Lustrat, Pierre-André Marechal, Manuel Martinez, Stéphanie Mundubeltz, Gilles Nassy, Christophe Nguyen The, Elisabeth Payeux, Gaëlle Petit, Emmanuel Pugliesi, Faustine Regnier, Jérôme Richard, Jan-Hendrik Stricker, Pierre Vandendriessche
L’industrie alimentaire du futur passe par le numérique.
2016, 37 p
Hervé Laruelle, Pierre Régnier, Sylvie Thiébaux
Dossier Planification
Diffusion scientifique. January 1994. Bulletin de l’AFIA (Association Française d’IA, V.16, p.18-35