| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Cédric Pralet, Gérard Verfaillie |
Combining Static and Dynamic Models for Boosting Forward Planning.  |
CPAIOR  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Pralet, Thomas Schiex, Gérard Verfaillie |
An Algebraic Graphical Model for Decision with Uncertainties, Feasibilities, and Utilities  |
CoRR  |
2011 |
DBLP BibTeX RDF |
|
| 1 | Grégory Beaumet, Gérard Verfaillie, Marie-Claire Charmeau |
Feasibility of autonomous decision making on board an agile earth-observing satellite.  |
Computational Intelligence  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Verfaillie, Cédric Pralet |
Constraint Programming for Controller Synthesis.  |
CP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Pralet, Gérard Verfaillie |
Beyond QCSP for Solving Control Problems.  |
CP  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Verfaillie, Cédric Pralet, Michel Lemaître |
How to model planning and scheduling problems using constraint networks on timelines.  |
Knowledge Eng. Review  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Pralet, Gérard Verfaillie, Thomas Schiex |
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.  |
Technique et Science Informatiques  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Cédric Pralet, Gérard Verfaillie |
Réseaux de contraintes sur des chronogrammes pour la planification et l'ordonnancement.  |
Revue d'Intelligence Artificielle  |
2010 |
DBLP BibTeX RDF |
|
| 1 | Cédric Pralet, Gérard Verfaillie, Michel Lemaître, Guillaume Infantes |
Constraint-Based Controller Synthesis in Non-Deterministic and Partially Observable Domains.  |
ECAI  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Niveau, Hélène Fargier, Cédric Pralet, Gérard Verfaillie |
Knowledge Compilation Using Interval Automata and Applications to Planning.  |
ECAI  |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Pralet, Thomas Schiex, Gérard Verfaillie |
Sequential Decision-Making Problems - Representation and Solution.  |
|
2009 |
RDF |
|
| 1 | Cédric Pralet, Gérard Verfaillie |
Forward Constraint-Based Algorithms for Anytime Planning.  |
ICAPS  |
2009 |
DBLP BibTeX RDF |
|
| 1 | Cédric Pralet, Gérard Verfaillie |
Slice Encoding for Constraint-Based Planning.  |
CP  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Pralet, Gérard Verfaillie |
Using Constraint Networks on Timelines to Model and Solve Planning and Scheduling Problems.  |
ICAPS  |
2008 |
DBLP BibTeX RDF |
|
| 1 | Cédric Pralet, Gérard Verfaillie, Thomas Schiex |
An Algebraic Graphical Model for Decision with Uncertainties, Feasibilities, and Utilities.  |
J. Artif. Intell. Res. (JAIR)  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Pralet, Thomas Schiex, Gérard Verfaillie |
Algorithmes et complexités génériques pour différents cadres de décision séquentielle dans l'incertain.  |
Revue d'Intelligence Artificielle  |
2007 |
DBLP BibTeX RDF |
|
| 1 | Grégory Beaumet, Gérard Verfaillie, Marie-Claire Charmeau |
Estimation of the Minimal Duration of an Attitude Change for an Autonomous Agile Earth-Observing Satellite.  |
CP  |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Cédric Pralet, Gérard Verfaillie, Thomas Schiex |
Decision with Uncertainties, Feasibilities, and Utilities: Towards a Unified Algebraic Framework.  |
ECAI  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Cédric Pralet, Thomas Schiex, Gérard Verfaillie |
From Influence Diagrams to Multi-operator Cluster DAGs.  |
UAI  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Simon de Givry, Thomas Schiex, Gérard Verfaillie |
Exploiting Tree Decomposition and Soft Local Consistency In Weighted CSP.  |
AAAI  |
2006 |
DBLP BibTeX RDF |
|
| 1 | Cédric Pralet, Thomas Schiex, Gérard Verfaillie |
Decomposition of Multi-operator Queries on Semiring-Based Graphical Models.  |
CP  |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Gérard Verfaillie, Narendra Jussien |
Constraint Solving in Uncertain and Dynamic Environments: A Survey.  |
Constraints  |
2005 |
DBLP DOI BibTeX RDF |
stability, robustness, uncertainty, flexibility, constraint satisfaction problem, change |
| 1 | Cédric Pralet, Gérard Verfaillie |
About the choice of the variable to unassign in a decision repair algorithm.  |
RAIRO - Operations Research  |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Sylvain Damiani, Gérard Verfaillie, Marie-Claire Charmeau |
An earth watching satellite constellation: how to manage a team of watching agents with limited communications.  |
AAMAS  |
2005 |
DBLP DOI BibTeX RDF |
anytime planning, earth watching, on-line planning, coordination |
| 1 | Hélène Fargier, Jérôme Lang, Michel Lemaître, Gérard Verfaillie |
Partage équitable de ressources communes. (2) Éléments de complexité et d'algorithmique.  |
Technique et Science Informatiques  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Hélène Fargier, Jérôme Lang, Michel Lemaître, Gérard Verfaillie |
Partage équitable de ressources communes. (1) Un modèle général et son application au partage de ressources satellitaires.  |
Technique et Science Informatiques  |
2004 |
DBLP BibTeX RDF |
|
| 1 | Cédric Pralet, Gérard Verfaillie |
Travelling in the World of Local Searches in the Space of Partial Assignments.  |
CPAIOR  |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Pedro Meseguer, Martí Sánchez, Gérard Verfaillie |
Opportunistic Specialization in Russian Doll Search.  |
CP  |
2002 |
DBLP BibTeX RDF |
|
| 1 | Gérard Verfaillie, Michel Lemaître |
Selecting and Scheduling Observations for Agile Satellites: Some Lessons from the Constraint Reasoning Community Point of View.  |
CP  |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | E. Bensana, Michel Lemaître, Gérard Verfaillie |
Earth Observation Satellite Management.  |
Constraints  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Thomas Schiex, Gérard Verfaillie, Hélène Fargier |
Semiring-Based CSPs and Valued CSPs: Frameworks, Properties, and Comparison.  |
Constraints  |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Lemaître, Gérard Verfaillie, Nicolas Bataille |
Exploiting a Common Property Resource under a Fairness Constraint: a Case Study.  |
IJCAI  |
1999 |
DBLP BibTeX RDF |
|
| 1 | Gérard Verfaillie, David Martinez, Christian Bessière |
A Generic Customizable Framework for Inverse Local Consistency.  |
AAAI/IAAI  |
1999 |
DBLP BibTeX RDF |
|
| 1 | Javier Larrosa, Pedro Meseguer, Thomas Schiex, Gérard Verfaillie |
Reversible DAC and Other Improvements for Solving Max-CSP.  |
AAAI/IAAI  |
1998 |
DBLP BibTeX RDF |
|
| 1 | Bertrand Cabon, Simon de Givry, Gérard Verfaillie |
Anytime Lower Bounds for Constraint Violation Minimization Problems.  |
CP  |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Simon de Givry, Gérard Verfaillie, Thomas Schiex |
Bounding the Optimum of Constraint Optimization Problems.  |
CP  |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Bertrand Cabon, Gérard Verfaillie, David Martinez, P. Bourret |
Using Mean Field Methods for Boosting Backtrack Search in Constraint Satisfaction Problems.  |
ECAI  |
1996 |
DBLP BibTeX RDF |
|
| 1 | Pierre Dago, Gérard Verfaillie |
Nogood Recording for Valued Constraint Satisfaction Problems.  |
ICTAI  |
1996 |
DBLP BibTeX RDF |
|
| 1 | Thomas Schiex, Jean-Charles Régin, Christine Gaspin, Gérard Verfaillie |
Lazy Arc Consistency.  |
AAAI/IAAI, Vol. 1  |
1996 |
DBLP BibTeX RDF |
|
| 1 | Gérard Verfaillie, Michel Lemaître, Thomas Schiex |
Russian Doll Search for Solving Constraint Optimization Problems.  |
AAAI/IAAI, Vol. 1  |
1996 |
DBLP BibTeX RDF |
|
| 1 | Thomas Schiex, Hélène Fargier, Gérard Verfaillie |
Valued Constraint Satisfaction Problems: Hard and Easy Problems.  |
IJCAI  |
1995 |
DBLP BibTeX RDF |
|
| 1 | Stefano Bistarelli, Hélène Fargier, Ugo Montanari, Francesca Rossi, Thomas Schiex, Gérard Verfaillie |
Semiring-Based CSPs and Valued CSPs: Basic Properties and Comparison.  |
Over-Constrained Systems  |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Schiex, Gérard Verfaillie |
Stubborness: A Possible Enhancement for Backjumping and Nogood Recording.  |
ECAI  |
1994 |
DBLP BibTeX RDF |
|
| 1 | Gérard Verfaillie, Thomas Schiex |
Solution Reuse in Dynamic Constraint Satisfaction Problems.  |
AAAI  |
1994 |
DBLP BibTeX RDF |
|
| 1 | Thomas Schiex, Gérard Verfaillie |
Nogood Recording for Static and Dynamic Constraint Satisfaction Problems.  |
ICTAI  |
1993 |
DBLP BibTeX RDF |
|
| 1 | C. Badie, G. Bel, E. Bensana, Gérard Verfaillie |
Operations research and artificial intelligence cooperation to solve scheduling problems: the OPAL and OSCAR systems.  |
Expert Planning Systems  |
1990 |
DBLP BibTeX RDF |
|