Sylvie Thiebaux
Sylvie Thiebaux
Unknown affiliation
Verified email at
TitleCited byYear
Blocks world revisited
J Slaney, S Thiébaux
Artificial Intelligence 125 (1-2), 119-153, 2001
In defense of PDDL axioms
S Thiébaux, J Hoffmann, B Nebel
Artificial Intelligence 168 (1-2), 38-69, 2005
Backbones and backdoors in satisfiability
P Kilby, J Slaney, S Thiébaux, T Walsh
AAAI 5, 1368-1373, 2005
Probabilistic planning vs. replanning
I Little, S Thiebaux
ICAPS Workshop on IPC: Past, Present and Future, 2007
Decision-theoretic military operations planning
D Aberdeen, S Thiébaux, L Zhang
International Conference on Automated Planning and Scheduling, 2004
Exploiting first-order regression in inductive policy selection
C Gretton, S Thiébaux
Proceedings of the 20th conference on Uncertainty in artificial intelligence …, 2004
Prioritizing consumers in smart grid: A game theoretic approach
W Tushar, JA Zhang, DB Smith, HV Poor, S Thiébaux
IEEE Transactions on Smart Grid 5 (3), 1429-1438, 2014
Engineering benchmarks for planning: the domains used in the deterministic part of IPC-4
J Hoffmann, S Edelkamp, S Thiébaux, R Englert, F Liporace, S Trüg
Journal of Artificial Intelligence Research 26, 453-541, 2006
Prottle: A probabilistic temporal planner
I Little, D Aberdeen, T Sylvie
Planning via Petri Net Unfolding.
SL Hickmott, J Rintanen, S Thiébaux, LB White
IJCAI 7, 1904-1911, 2007
Estimating search tree size
P Kilby, J Slaney, S Thiébaux, T Walsh
Proc. of the 21st National Conf. of Artificial Intelligence, AAAI, Menlo Park, 2006
Supply restoration in power distribution systems—a benchmark for planning under uncertainty
S Thiébaux, MO Cordier
Sixth European Conference on Planning, 2014
Event-based diagnosis for evolutive systems
MO Cordier, S Thiébaux
IRISA, 1994
Concurrent Probabilistic Planning in the Graphplan Framework.
I Little, S Thiebaux
ICAPS, 263-273, 2006
Decision-theoretic planning with non-Markovian rewards
S Thiébaux, C Gretton, J Slaney, D Price, F Kabanza
Journal of Artificial Intelligence Research 25, 17-74, 2006
Solving power supply restoration problems with planning via symbolic model checking
P Bertoli, A Cimatti, J Slaney, S Thiébaux
AIPS-02 Workshop on Planning via Model-Checking, 23, 2002
Residential demand response under uncertainty
P Scott, S Thiébaux, M Van Den Briel, P Van Hentenryck
International Conference on Principles and Practice of Constraint …, 2013
Cost-Optimal Factored Planning: Promises and Pitfalls.
E Fabre, L Jezequel, P Haslum, S Thiébaux
ICAPS, 65-72, 2010
Incremental Lower Bounds for Additive Cost Planning Problems.
P Haslum, J Slaney, S Thiébaux
ICAPS 12, 74-82, 2012
Supply restoration in power distribution systems: A case study in integrating model-based diagnosis and repair planning
S Thiébaux, MO Cordier, O Jehl, JP Krivine
Proceedings of the Twelfth international conference on Uncertainty in …, 1996
The system can't perform the operation now. Try again later.
Articles 1–20