Publications de Pierre RÉGNIER
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, 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⟩
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/
BibTeXMartin Cooper, Marie de Roquemaurel, Pierre Régnier
Transformation of optimal planning problems
Dans : Journal of Experimental & Theoretical Artificial Intelligence, Taylor & Francis Group, Vol. 23 N. 2, p. 181-199, juin 2011.
Résumé Accès : 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
Dans : AI Communications, IOS Press, Vol. 24 N. 1, p. 1-29, 2011.
Accès : 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
Dans : Revue d’Intelligence Artificielle (RIA), Hermès Science, Vol. 24, N. 4, p. 445-464, 2010.
Martin Cooper, Marie de Roquemaurel, Pierre Régnier
Transformation de problèmes de planification optimale
Dans : Revue d’Intelligence Artificielle (RIA), Hermès Science, Vol. 24, N. 4, p. 465-484, 2010.
Résumé Accès : http://www.irit.fr/publis/ADRIA/PapersCooper/RIA_planification.pdf
BibTeXMichel Cayrol, Pierre Régnier, Vincent Vidal
Least commitment in Graphplan
Dans : Artificial Intelligence, Elsevier Science B. V., Sara Burgerhartstraat 25 1055 KV Amsterdam The Netherlands, Vol. 130 N. 1, p. 85-118, juillet 2001.
Détermination du parallélisme maximal et optimisation temporelle dans les plans d’actions linéaires
Dans : Revue d’Intelligence Artificielle (RIA), Hermès Science, Vol. 5, p. 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)
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/
BibTeXMartin 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.
Martin Cooper, Marie de Roquemaurel, Pierre Régnier
Transformation de problèmes de planification optimaux. (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, (support électronique), juin 2009.
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.
Martin Cooper, Marie de Roquemaurel, Pierre Régnier
Un algorithme pour la résolution optimale de problèmes de planification valués
Dans : 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, p. 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
Dans : Journées d’Intelligence Artificielle Fondamentale (JIAF 2007), Grenoble, 02/07/07-03/07/07, CNRS – GDR I3, (en ligne), juillet 2007.
Accès : 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
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.
Martin Cooper, Marie de Roquemaurel, Pierre Régnier
Recherche dune solution optimale dans des graphes de planification avec actions valuées
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, juillet 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
Dans : 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, p. 10-18, 2006.
Martin Cooper, Sylvain Cussat-Blanc, Marie de Roquemaurel, Pierre Régnier
Soft arc consistency applied to optimal planning
Dans : International Conference on Principles and Practice of Constraint Programming (CP 2006), Nantes, 01/09/06, Springer, LNCS 4204, p. 680-684, 2006.
Accès : http://www.irit.fr/publis/ADRIA/plan_CP06.pdf
BibTeXFré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.
Michel Cayrol, Vincent Vidal, Pierre Régnier
New Results about LCGP, a Least Commited GraphPlan
Dans : AIPS 2000, Breckenridge, Colorado, 14/04/00-17/04/00, AAAI Press (Menlo Park. California. USA), AAAI Press45 Burgess DriveMenlo Park, California 94025USA, p. 273-282, avril 2000.
Michel Cayrol, Pierre Régnier, Vincent Vidal
LCGP : une amélioration de Graphplan par relâchement de contraintes entre actions simultanées
Dans : RFIA’2000, Paris, 01/02/00-03/02/00, AFIA, février 2000.
Total order planning is better than we thought
Dans : Proceedings of the National Conference In Artificial Intelligence (AAAI-99), Orlando-FL-USA, 18/07/99-22/07/99, AAAI Press-The MIT Press, p. 591-596, juillet 1999.
Frédérick Garcia, Eric Jacopin, Pierre Régnier
Planification: Un panorama des recherches françaises
Dans : Actes des 6èmes Journées Nationales du PRC-GDR Intelligence Artificielle (S. Pesty, P. Siegel, eds.), Grenoble, Hermès, Paris, p. 179-210, mars 1997.
Christine Bastié, Pierre Régnier
SPEEDY: monitoring the execution in dynamic environments
Dans : Workshop Reasoning about actions and planning in complex environments (FAPR 1996), Bonn, 03/06/96-07/06/96, (en ligne), 1996.
L’Intelligence Artificielle face au Cerveau
Dans : 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
Dans : Actes du 10ème Congrès ”Reconnaissance des Formes et Intelligence Artificielle” (RFIA’96), Rennes, France, AFCET, p. 879-888, janvier 1996.
Christine Bastié, Pierre Régnier
Planning and execution in a dynamic environment: the supervision of execution in SPEEDY
Dans : UK Planning Workshop, Colchester, 22/11/95-23/11/95, UK Planning SIG, (en ligne), 1995.
Accès : 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
Dans : 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
Dans : 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
Dans : 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
Dans : European WorkShop on Planning (EWSP 1991), Sankt Augustin, 18/03/91-19/03/91, Springer-Verlag, LNAI 522, p. 100-111, mars 1991.
Utilisation d’algorithmes classiques pour la détermination du parallélisme et l’optimisation temporelle dans les plans d’actions
Dans : 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
Dans : 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
Dans : Congrès Francophone de Reconnaissance des Formes et Intelligence Artificielle (RFIA 1989), Paris, 27/11/89-01/12/89, AFRIF-AFIA, p. 115-162, novembre 1989.
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.
Algorithmes pour la planification
Habilitation à diriger des recherches, Université Paul Sabatier, septembre 2005.
Recherche et exploitation du parallélisme en planification
Thèse de doctorat, Université Paul Sabatier, mai 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. janvier 1994. Bulletin de l’AFIA (Association Française d’IA, V.16, p.18-35