Contact
Cédric Pralet
ONERA (the French Aerospace Lab)
Information Processing and Systems (DTIS)
Intelligent Systems and Decision (SYD)
2 av. Edouard Belin, 31400 Toulouse, France
cedric[dot]pralet[at]onera[dot]fr
General research interests:
- constraint programming
- automated AI planning and scheduling
- combinatorial optimization
- local search techniques (constraint-based local search)
- discrete-event dynamic systems
- sequential decision making under uncertainty
- graphical models for knowledge representation
- space and aeronautics applications, especially planning and scheduling for satellites
Publications
2019
- Decomposition and Cut Generation Strategies for Solving Multi-Robot Deployment Problems
Adriana Pacheco, Cédric Pralet, Stéphanie Roussel
Proc. of the 25th International Conference on Principle and Practice of Constraint Programming (CP-19), 2019.
- Solving Methods for Multi-Robot Missions Planning with Energy Capacity Consideration.
Muhammad Khakim Habibi, Christophe Grand, Charles Lesire, Cédric Pralet.
ICRA 2019: 4538-4544.
- Constraint-Based Scheduling with Complex Setup Operations: An Iterative Two-Layer Approach.
Adriana Pacheco, Cédric Pralet, Stéphanie Roussel.
IJCAI 2019: 1155-1161.
- An autonomous mission controller for Earth Observing Satellites.
C. Pralet, C. Lesire, J. Jaubert.
In 11th International Workshop on Planning and Scheduling for Space (IWPSS'19), 2019.
- Design for Efficient Production, a Model-Based Approach.
T. Polacsek, S. Roussel, C. Pralet, C. Cuiller.
13th International Conference on Research Challenges in Information Science (RCIS), 2019
- Ordonnancement hiérarchique pour des missions multi-robots.
Adriana Pacheco, Cédric Pralet and Stéphanie Roussel.
20ème congrès annuel de la Société française de recherche opérationnelle et d’aide à la décision (ROADEF-19), 2019.
- Dealing with disruptions in low-volume manufacturing: a constraint programming approach.
Olga Battaïa, Lorenzo Sanmartin, Cédric Pralet.
52nd CIRP Conference on Manufacturing Systems (CMS'19), 2019.
2018
- A Scheduling Tool for Bridging the Gap Between Aircraft Design and Aircraft Manufacturing.
Cédric Pralet, Stéphanie Roussel, Thomas Polacsek, François Bouissière, Claude Cuiller, Pierre-Eric Dereux, Stéphane Kersuzan, Marc Lelay.
ICAPS 2018: 347-355.
- Integrating Planning and Execution for a Team of Heterogeneous Robots with Time and Communication Constraints.
Patrick Bechon, Magali Barbier, Christophe Grand, Simon Lacroix, Charles Lesire, Cédric Pralet.
ICRA 2018: 1091-1097.
- Un outil d'ordonnancement pour interfacer conception de produit et chaîne de production en aéronautique.
Cédric Pralet, Stéphanie Roussel, Thomas Polacsek, François Bouissière, Claude Cuiller, Pierre-Eric Dereux, Stéphane Kersuzan, Marc Lelay.
19ème congrès annuel de la Société française de recherche opérationnelle et d’aide à la décision (ROADEF-18), 2018.
- Co-engineering in aeronautics? The A320 forward section case study
, , , , , , .
9th Congress on Embedded Real Time Software and Systems (ERTS²'18), 2018.
- Techniques de décisions hiérarchiques pour l’ordonnancement de tâches.
A Pacheco, C Pralet, S Roussel.
Actes des 14èmes Journées Francophones de Programmation par Contraintes (JFPC-18), 2018.
2017
- An Incomplete Constraint-Based System for Scheduling with Renewable Resources.
Cédric Pralet.
Proc. of the 23th International Conference on Principle and Practice of Constraint Programming (CP-17), 2017.
- Genetic algorithms for electrical harness routing during satellite conception.
E. Roynette, C. Pralet, V. Vidal, B. Cabon.
INFORMS Annual Meeting 2017.
- Planning the observation of exoplanets: the ARIEL mission.
Stéphanie Roussel, Cédric Pralet, Jean Jaubert, Julien Queyrel and Bastien Duong.
In 10th International Workshop on Planning and Scheduling for Space (IWPSS'17), 2017.
- Observation planning for the SVOM space telescope.
Cédric Pralet, Stephanie Roussel, Jean Jaubert and Julien Queyrel.
In 10th International Workshop on Planning and Scheduling for Space (IWPSS'17), 2017.
2016
-
Adaptable Data Download Schedules for Agile Earth-Observing Satellites.
A. Maillard, G. Verfailie, C. Pralet, J. Jaubert, I. Sebbag, F. Fontanari, J. L'Hermitte.
Journal of Aerospace Information Systems, Vol. 13, No 3, pp. 113-133, 2016. -
Approximation of the parallel machine scheduling problem with additional unit resources.
E. Hébrard, M.-J. Huguet, N. Jozefowiez, A. Maillard, C. Pralet, G. Verfaillie.
Discrete Applied Mathematics, Vol. 215, pp. 126-135, 2016. -
Gestion des réseaux temporels simples multi-agents dynamiques.
G. Casanova, C. Lesire, C. Pralet.
Revue d'Intelligence Artificielle, Vol 30/1-2, pp.11-33, 2016.
-
Solving Dynamic Controllability Problem of Multi-Agent Plans with Uncertainty Using Mixed Integer Linear Programming.
G. Casanova, C. Pralet, C. Lesire.
Proc. of the 22nd European Conference on Artificial Intelligence (ECAI-16), 2016. -
Designing Spacecraft Command Loops Using Two-Dimension Vehicle Routing.
E. Roynette, C. Pralet, V. Vidal, B. Cabon.
Proc of the 13th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming (CPAIOR-16), 2016. -
Diagnosis of intermittent faults with conditional preferences.
C. Pralet, X. Pucel, S. Roussel.
Proc. of the 27th International Workshop on Principles of Diagnosis (DX-16), 2016 -
Synthèse de plans d’exécution multi-agents robustes aux incertitudes et à l’absence de communications.
G. Casanova, C. Pralet, C. Lesire.
Proc. of 24èmes Journées Francophones sur les Systèmes Multi-Agents (JFSMA-16), 2016. -
Conception du harnais de commande des satellites par résolution de Problèmes de Routage de Véhicule Bidimensionnel.
E. Roynette, C. Pralet, V. Vidal, B. Cabon.
17ème congrès annuel de la Société française de recherche opérationnelle et d’aide à la décision (ROADEF-16), 2016.
2015
-
Approches par contraintes pour la planification et l’ordonnancement: méthodes, outils et applications.
C. Pralet.
Habilitation à Diriger des Recherches, juin 2015. -
Scheduling Running Modes of Satellite Instruments Using Constraint-Based Local Search.
C. Pralet, S. Lemai Chenevier, J. Jaubert.
Proc. of the 21st International Conference on Principle and Practice of Constraint Programming (CP-15), Cork, Ireland, 2015. -
Ground and Onboard Decision-Making on Satellite Data Downloads.
A. Maillard, C. Pralet, J. Jaubert, I. Sebbag, F. Fontanari, J. L'Hermitte.
Proc. of the 25th International Conference on Automated Planning and
Scheduling (ICAPS-15), Jerusalem, Israel, 2015. -
Managing Dynamic Multi-Agent Simple Temporal Network.
G. Casanova, C. Pralet, C. Lesire.
Proc. of the 14th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS-15), Istanbul, Turkey, 2015. -
Postponing decision-making to deal with resource uncertainty on earth-observation satellites.
A. Maillard, G. Verfaillie, C. Pralet; J. Jaubert, F. Fontanari.
Proc. of the 9th International Workshop on Planning and Scheduling for Space (IWPSS-15), Buenos Aires, Argentina, 2015. -
Gestion des Réseaux Temporels Simples Multi-agents dynamiques.
G. Casanova, C. Lesire, C. Pralet.
Proc. of 23èmes Journées Francophones sur les Systèmes Multi-Agents (JFSMA-15), Rennes, France, 2015.
2014
-
Satellite Data Download Management with Uncertainty about the Generated Volumes.
C. Pralet, G. Verfaillie, A. Maillard, E. Hébrard, N. Jozefowiez, M.-J. Huguet, T. Desmousceaux, P. Blanc-Paques, J. Jaubert.
Proc. of the 24th International Conference on Automated Planning and Scheduling (ICAPS-14), Portsmouth, NH, USA, 2014. -
Time-dependent Simple Temporal Networks: Properties and Algorithms.
C. Pralet, G. Verfaillie.
Proc. of the 24th International Conference on Automated Planning and
Scheduling (ICAPS-14), Portsmouth, NH, USA, 2014. -
Deployment of Mobile Wireless Sensor Networks for Crisis Management: A Constraint-Based Local Search Approach.
C. Pralet, C.Lesire.
Proc. of the 20th International Conference on Principle and Practice of Constraint Programming (CP-14), Lyon, France, 2014. -
Multi-Robot Planning and Execution for an Exploration Mission: a Case Study.
G. Infantes, C. Lesire, C. Pralet.
Proc. of the ICAPS-14 PlanRob Workshop (Planning and Robotics), Portsmouth, NH, USA, 2014. -
Building Flexible Download Plans for Agile Earth-Observing Satellites.
A. Maillard, G. Verfaillie, C. Pralet; J. Jaubert, T. Desmousceaux.
Proc. of the 12th International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS-14), Montréal, Canada, 2014. -
Building flexible data download schedules for agile Earth-observing satellites.
A. Maillard, G. Verfaillie, C. Pralet, J. Jaubert, T. Desmousceaux.
15ème congrès annuel de la Société française de recherche opérationnelle et d’aide à la décision (ROADEF-14), Bordeaux, France, 2014. -
Gestion du vidage de données satellite avec incertitude sur les volumes.
C. Pralet, A. Maillard, G. Verfaillie, E. Hébrard, N. Jozefowiez, M.-J. Huguet, T. Desmousceaux, P. Blanc-paques, J. Jaubert.
Actes des 10èmes Journées Francophones de Programmation par Contraintes (JFPC-14), Angers, France, 2014. -
Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision Diagrams.
J. Amilhastre, H. Fargier, A. Niveau, C. Pralet.
International Journal on Artificial Intelligence Tools. Vol. 23, n° 4, 2014.
2013
-
Dynamic Online Planning and Scheduling using a Static Invariant-based Evaluation Model.
C. Pralet, G. Verfaillie.
Proc. of the 23rd International Conference on Automated Planning and Scheduling (ICAPS-13), Rome, Italy, 2013.
-
Time-Dependent Simple Temporal Networks: Properties and Algorithms.
C. Pralet, G. Verfaillie.
RAIRO - Operations Research, 47(2):173-198, 2013.
-
A timeline, event, and constraint-based modeling framework for planning and scheduling problems.
G. Verfaillie, C. Pralet.
ICAPS 2013 Workshop on "Knowledge Engineering for Planning and Scheduling" (KEPS-13), Rome, Italy, 2013.
-
Un cadre de modélisation à base de chronogrammes, d'évènements et de contraintes pour la planification et l'ordonnancement.
G. Verfaillie, C. Pralet.
Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes (JFPDA-13), Lille, France, 2013.
-
A generic constraint-based local search library for the management of an electromagnetic surveillance space mission.
C. Pralet, G. Infantes, G. Verfaillie.
ICAPS 2013 Workshop on "Scheduling and Planning Applications" (SPARK-13), Rome, Italy, 2013.
-
Application showcase: a generic constraint-based local search library for the management of an electromagnetic surveillance space mission.
C. Pralet, G. Infantes, G. Verfaillie.
Proc. of the ICAPS-13 Application showcase, Rome, Italy, 2013.
-
Compilation de CSPs : carte de complexité des MDDs non-déterministes.
J. Amilhastre, H. Fargier, A. Niveau, C. Pralet.
Actes des 9èmes Journées Francophones de Programmation par Contraintes (JFPC-13), Aix-en-Provence, France, 2013.
2012
-
Time-Dependent Simple Temporal Networks.
C. Pralet, G. Verfaillie.
Proc. of the 18th International Conference on Principle and Practice of Constraint Programming (CP-12), Québec City, Canada, 2012.
-
Combining Static and Dynamic Models for Boosting Forward Planning.
C. Pralet, G. Verfaillie.
Proc. of the 9th International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimisation Problems (CPAIOR-12), Nantes, France, 2012.
-
Synthesis of Plans or Policies for Controlling Dynamic Systems.
G. Verfaillie, C. Pralet, V. Vidal, F. Teichteil-Königsbuch, G. Infantes, Ch. Lesire.
Aerospace Lab, vol. 4, 2012.
-
Set-Labeled Diagrams for CSP Compilation.
A. Niveau, H. Fargier, C. Pralet.
Proc. of the 6th Starting AI Researchers' Symposium (STAIRS-12), Montpellier, France, 2012. -
Compiling CSPs: A Complexity Map of (Non-Deterministic) Multivalued Decision Diagrams.
J. Amilhastre, H. Fargier, A. Niveau, C. Pralet.
Proc. of the 24th IEEE International Conference on Tools with Artificial Intelligence (ICTAI-12), Athens, Greece, 2012.
-
Planning Acquisitions for an Ocean Global Surveillance Mission.
X. Olive, G. Verfaillie, C. Pralet, S. Rainjonneau, I. Sebbag.
In 11th International Symposium on Artificial Intelligence, Robotics, and Automation in Space (i-SAIRAS-12), Turin, Italy, 2012.
-
Allocation of Downlink Windows for a Constellation of Satellites.
C. Pralet, G. Verfaillie, X. Olive, S. Rainjonneau, I. Sebbag.
In 11th International Symposium on Artificial Intelligence, Robotics, and Automation in Space (i-SAIRAS-12), Turin, Italy, 2012.
-
Réseaux temporels simples étendus - Application à la gestion de satellites agiles.
C. Pralet, G. Verfaillie.
Actes des 8èmes Journées Francophones de Programmation par Contraintes (JFPC-12), Toulouse, France, 2012.
-
Au delà des QCSP pour résoudre des problèmes de contrôle.
C. Pralet, G. Verfaillie.
Actes des 8èmes Journées Francophones de Programmation par Contraintes (JFPC-12), Toulouse, France, 2012.
-
Compilation de CSP en Set-labeled Diagram.
A. Niveau, H. Fargier, C. Pralet.
Actes des 8èmes Journées Francophones de Programmation par Contraintes (JFPC-12), Toulouse, France, 2012.
2011
-
Beyond QCSP for solving control problems.
C. Pralet, G. Verfaillie.
Proc. of the 17th International Conference on Principle and Practice of Constraint Programming (CP-11), Perugia, Italy, 2011.
-
Constraint programming for controller synthesis.
G. Verfaillie, C. Pralet.
Proc. of the 17th International Conference on Principle and Practice of Constraint Programming (CP-11), Perugia, Italy, 2011.
-
Representing CSPs with set-labeled diagrams: a compilation map.
A. Niveau, H. Fargier, C. Pralet.
In 2nd IJCAI International Workshop on Graph Structures for Knowledge Representation and Reasoning (GRK-11), Barcelona, Spain, 2011.
-
Planning for an ocean global surveillance mission.
C. Pralet, G. Verfaillie, X. Olive, S. Rainjonneau, I. Sebbag.
In 7th International Workshop on Planning and Scheduling for Space (IWPSS'11), ESOC, Darmstadt, Germany, 2011.
-
Programmation par contraintes pour la synthèse de contrôleur.
C. Pralet, G. Verfaillie.
Actes des 7èmes Journées Francophones de Programmation par Contraintes (JFPC-11), 317-326, Lyon, France, 2011.
-
Combinaison entre recherche en avant et optimisation combinatoire pour la planification déterministe.
C. Pralet, G. Verfaillie.
Journées Francophones de Planification, Décision et Apprentissage pour la conduite de systèmes (JFPDA-11), Rouen, France, 2011.
2010
-
Constraint-based controller synthesis in non-deterministic and partially observable domains.
C. Pralet, G. Verfaillie, M. Lemaître, G. Infantes.
Proc. of the 19th European Conference on Artificial Intelligence (ECAI-10), 681-686, Lisbon, Portugal, 2010.
-
Knowledge Compilation Using Interval Automata and Applications to Planning.
A. Niveau, H. Fargier, C. Pralet, G. Verfaillie.
Proc. of the 19th European Conference on Artificial Intelligence (ECAI-10), 459-464, Lisbon, Portugal, 2010.
-
Controller synthesis for autonomous systems: a constraint-based approach.
C. Pralet, M. Lemaître, G. Verfaillie, G. Infantes.
In 10th International Symposium on Artificial Intelligence, Robotics, and Automation in Space (i-SAIRAS-10), Sapporo, Japan, 2010.
-
Approche à base de contraintes pour la synthèse de contrôleur en environnement non déterministe et partiellement observable.
C. Pralet, G. Verfaillie, M. Lemaître, G. Infantes.
Journées Francophones de Planification, Décision et Apprentissage pour la conduite de systèmes (JFPDA-10), Besançon, France, 2010.
-
Synthèse de contrôleur simplement valide dans le cadre de la programmation par contraintes.
M. Lemaître, G. Verfaillie, C. Pralet, G. Infantes.
Journées Francophones de Planification, Décision et Apprentissage pour la conduite de systèmes (JFPDA-10), Besançon, France, 2010.
-
Compilation de connaissances avec automates à intervalles et applications à la planification.
A. Niveau, H. Fargier, C. Pralet, G. Verfaillie.
Journées Francophones de Planification, Décision et Apprentissage pour la conduite de systèmes (JFPDA-10), Besançon, France, 2010.
-
Le cadre PFU: un modèle et des algorithmes génériques pour la décision séquentielle incluant incertitudes, faisabilités et utilités.
C. Pralet, G. Verfaillie, T. Schiex.
TSI journal (Technique et Science Informatique), 29:85-114, 2010.
-
Réseaux de contraintes sur des chronogrammes pour la planification et l'ordonnancement.
C. Pralet, G. Verfaillie.
Revue d'Intelligence Artificielle, 24(4):485-504, 2010.
-
How to model planning and scheduling problems using constraint networks on timelines.
G. Verfaillie, C. Pralet, M. Lemaître.
The Knowledge Engineering Review (KER), 25(3):319-336, 2010.
2009
-
Sequential decision-making problems: representation and solution.
C. Pralet, T. Schiex, G. Verfaillie.
ISBN: 978-1-84821-174-2, Wiley-ISTE, 2009. Livre (auteur).
-
Forward constraint-based algorithms for anytime planning.
C. Pralet, G. Verfaillie.
Proc. of the 19th International Conference on Automated Planning and Scheduling (ICAPS-09), 265-272, Thessaloniki, Greece, 2009.
-
Slice encoding for constraint-based planning.
C. Pralet, G. Verfaillie.
Proc. of the 15th International Conference on Principle and Practice of Constraint Programming (CP-09), 669-683, Lisbon, Portugal, 2009.
-
Using interval automata to represent decision policies with continuous variables.
A. Niveau, H.Fargier, C. Pralet, G. Verfaillie.
Proc. of the Doctoral Consortium of the 19th International Conference on Automated Planning and Scheduling (ICAPS-09), Thessaloniki, Greece, 2009.
-
Handling the ouput of interval-based constraint solvers by interval automata compilation.
A. Niveau, H.Fargier, C. Pralet, G. Verfaillie.
Proc. of the CP-09 Workshop on Interval Analysis, Constraint Propagation, Applications (intCP-09), Lisbon, Portugal, 2009.
-
Constraint network on timelines for planning and scheduling.
C. Pralet, G. Verfaillie.
Journées Francophones de Planification, Décision et Apprentissage pour la conduite de systèmes (JFPDA-09), Paris, France, 2009.
-
AIMS: A Tool for Long-term Planning of the ESA INTEGRAL Mission.
C. Pralet, G. Verfaillie.
In 6th International Workshop on Planning and Scheduling for Space (IWPSS'09), Pasadena, CA, USA, 2009.
-
Advanced Planning and Scheduling Initiative: MrSpock AIMS for XMAS in the Space domain.
R. Steel, M. Niezette, A. Cesta, S. Fratini, A. Oddi, G. Cortellessa, R. Rasconi, G. Verfaillie, C. Pralet, M. Lavagna, A. Brambilla, F. Castellini, A. Donati, N. Policella.
IJCAI 2009 Workshop on Artificial Intelligence in Space.
2008
-
Using constraint networks on timelines to model and solve planning and scheduling problems.
C. Pralet, G. Verfaillie.
Proc. of the 18th International Conference on Automated Planning and Scheduling (ICAPS-08), 272-279, Sydney, Australia, 2008.
-
Constraint-based modeling of discrete event dynamic systems.
G. Verfaillie, C. Pralet, M. Lemaître.
Journal of Intelligent Manufacturing, Special issue on planning, scheduling, and constraint satisfaction, Published online, 2008.
-
How to model planning and scheduling problems using timelines.
G. Verfaillie, C. Pralet.
In COPLAS-08 (CP/ICAPS 2008 Joint Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems), Sydney, Australia, 2008.
-
Utiliser des chronogrammes pour modéliser des problèmes de planification et d'ordonnancement.
G. Verfaillie, C. Pralet.
Actes des Journées Francophones de Planification, Décision et Apprentissage pour la conduite de systèmes (JFPDA-08), 13-22, Metz, France, 2008.
-
Decision upon observations and data downloads by an autonomous Earth surveillance satellite.
C. Pralet, G. Verfaillie.
In 9th International Symposium on Artificial Intelligence, Robotics, and Automation in Space (i-SAIRAS-08), Hollywood, CA, USA, 2008.
-
Validation of Decision Models for an Autonomous Earth Surveillance Satellite.
F. Teichteil, Ch. Seguin, C. Pralet.
In 9th International Symposium on Artificial Intelligence, Robotics, and Automation for Space (i-SAIRAS-08), Hollywood, CA, USA, 2008.
2007
-
Constraint-Based Modelling of Discrete Event Dynamic Systems.
G. Verfaillie, C. Pralet, M. Lemaître.
In COPLAS-07 (CP/ICAPS 2007 Joint Workshop on Constraint Satisfaction Techniques for Planning and Scheduling Problems), Providence, Rhode Island, USA, 2007.
-
Chronogrammes et contraintes pour la modélisation de systèmes dynamiques à événements discrets.
G. Verfaillie, C. Pralet, M. Lemaître.
Actes des Journées Formalisation d'Activités Concurrentes (FAC-07), Toulouse, France, 2007.
-
Modélisation à base de contraintes de systèmes dynamiques à événements discrets.
G. Verfaillie, C. Pralet, M. Lemaître.
Actes des 3èmes Journées Francophones de Programmation par Contraintes (JFPC-07), 261-270, Rocquencourt, France, 2007.
-
Automated Mission Planning for a Fleet of Micro Air Vehicle.
P.S. Huard, N. Barnier, C. Pralet.
Proc. of the 3rd US-European Competition and Workshop on Micro Air Vehicle and 7th European Micro Air Vehicle Conference and Flight Competition (MAV-07), Toulouse, France, 2007.
-
Présentation prix de thèse ASTI.
Cédric Pralet
Congrès STIC'07 de l'ANR, Paris, France, 2007.
-
Des réseaux de contraintes valués aux problèmes de décision séquentielle.
Cédric Pralet, Thomas Schiex.
Présentation invitée aux Journées de l'IA Fondamentale (JIAF-07), Grenoble, France, 2007.
-
An algebraic graphical model for decision with uncertainties, feasibilities, and utilities.
C. Pralet, G. Verfaillie, T. Schiex.
Journal of Artificial Intelligence Research, 29:421-489, 2007.
-
Algorithmes et complexités génériques pour différents cadres de décision séquentielle dans l'incertain.
C. Pralet, T. Schiex, G. Verfaillie.
Revue d'Intelligence Artificielle, 21(4):459-488, 2007. -
Un cadre graphique et algébrique pour les problèmes de décision incluant incertitudes, faisabilités et utilités.
C. Pralet, G. Verfaillie, T. Schiex.
Revue d'Intelligence Artificielle, 21(3):419-448, 2007.
2006
-
A generic algebraic framework for representing and solving sequential decision making problems with uncertainties, feasibilities, and utilities.
C. Pralet.
PhD Dissertation, Ecole Nationale Supérieure de l'Aéronautique et de l'Espace, Toulouse, France, 2006.
Prix de thèse décerné par l'ASTI (Association française des Sciences et Technologies de l'Information) et l'ANR, dans la catégorie RFT (Recherche Fondamentale et Transversale).
-
Decomposition of multi-operator queries on semiring-based graphical models.
C. Pralet, T. Schiex, G. Verfaillie.
Proc. of the 12th International Conference on Principles and Practice of Constraint Programming (CP-06), 437-452, Nantes, France.
-
From influence diagrams to multioperator cluster DAGs.
C. Pralet, T. Schiex, G. Verfaillie.
Proc. of the 22nd International Conference on Uncertainty in Artificial Intelligence (UAI-06), 393-400, Cambridge, MA, USA, 2006.
-
Decision with uncertainties, feasibilities, and utilities: towards a unified algebraic framework.
C. Pralet, G. Verfaillie, T. Schiex.
Proc. of the 17th European Conference on Artificial Intelligence (ECAI-06), 427-431, Riva del Garda, Italy, 2006. Nominated among the 10 best ECAI-06 papers.
-
Structuring multi-operator variable eliminations on graphical models: towards multi-operator cluster trees and multi-operator cluster DAGs.
C. Pralet.
Invited talk at the International ECAI Workshop on Inference Methods based on Graphical Structures of Knowledge (WIGSK-06), Riva del Garda, Italy, 2006.
-
Décision avec incertitudes, faisabilités et utilités: vers un cadre algébrique unifié.
C. Pralet, G. Verfaillie, T. Schiex.
Actes des Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes (JFPDA-06), Toulouse, France, 2006.
-
Une nouvelle architecture de calcul pour résoudre des diagrammes d'influence.
C. Pralet, T. Schiex, G. Verfaillie.
Actes des Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes (JFPDA-06), Toulouse, France, 2006.
2005
-
Réseaux de croyance-faisabilité-désir.
C. Pralet, G. Verfaillie, T. Schiex.
Colloque des doctorants de l'Ecole Doctorale Informatique et Télécommunications, Toulouse, France, 2005.
-
The basic ingredients of a constraint-based framework for decision-making under uncertainty.
G. Verfaillie, C. Pralet.
Proc. of the CP-05 International Workshop on "Constraint solving under Change and Uncertainty", Sitges, Spain, 2005.
-
Composite graphical models for reasoning about uncertainties, feasibilities, and utilities.
C. Pralet, G. Verfaillie, T. Schiex.
Proc. of the CP-05 international workshop on "Preferences and soft constraints", Sitges, Spain, 2005.
-
Requêtes complexes sur des réseaux de croyance-faisabilité-désir.
C. Pralet, G. Verfaillie, T. Schiex.
Actes des Journées Francophones de Programmation par Contraintes (JFPC-05), Lens, France, 2005.
-
About the choice of the variable to unassign in a decision repair algorithm.
C. Pralet, G. Verfaillie.
RAIRO - Operations Research, 39:55-74, 2005.
2004
-
Belief and desire networks for answering complex queries.
C. Pralet, Verfailllie, G., T. Schiex.
Proc. of the CP-04 Workshop on "Constraint solving under change and uncertainty", Toronto, Canada, 2004.
-
Travelling in the world of local searches in the space of partial assignments.
C. Pralet, G. Verfaillie.
Proc. of the 1st International Conference on Integration of Artificial Intelligence and Operations Research Techniques in Constraint Programming for Combinatorial Optimisation Problems (CP-AI-OR-04), 240-255, Nice, France, 2004.
-
Un voyage dans le monde des recherches locales dans l'espace des affectations partielles.
C. Pralet, G. Verfaillie.
Actes des Journées Nationales sur la Résolution Pratique de Problèmes NP-Complets (JNPC-04), 299-313, Angers, France, 2004.
2003
-
Résolution de problèmes de satisfaction de contraintes, combinaison des méthodes de recherche locale et de propagation de contraintes.
C. Pralet.
Rapport de DEA, 2003.