Sylvie Thiebaux
Sylvie Thiebaux
Unknown affiliation
Verified email at anu.edu.au
TitleCited byYear
Blocks world revisited
J Slaney, S Thiébaux
Artificial Intelligence 125 (1-2), 119-153, 2001
2242001
In defense of PDDL axioms
S Thiébaux, J Hoffmann, B Nebel
Artificial Intelligence 168 (1-2), 38-69, 2005
1512005
Backbones and backdoors in satisfiability
P Kilby, J Slaney, S Thiébaux, T Walsh
AAAI 5, 1368-1373, 2005
1412005
Probabilistic planning vs. replanning
I Little, S Thiebaux
ICAPS Workshop on IPC: Past, Present and Future, 2007
1082007
Decision-theoretic military operations planning
D Aberdeen, S Thiébaux, L Zhang
International Conference on Automated Planning and Scheduling, 2004
862004
Exploiting first-order regression in inductive policy selection
C Gretton, S Thiébaux
Proceedings of the 20th conference on Uncertainty in artificial intelligence …, 2004
792004
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
692014
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
672006
Prottle: A probabilistic temporal planner
I Little, D Aberdeen, T Sylvie
632005
Planning via Petri Net Unfolding.
SL Hickmott, J Rintanen, S Thiébaux, LB White
IJCAI 7, 1904-1911, 2007
622007
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
622006
Supply restoration in power distribution systems—a benchmark for planning under uncertainty
S Thiébaux, MO Cordier
Sixth European Conference on Planning, 2014
602014
Event-based diagnosis for evolutive systems
MO Cordier, S Thiébaux
IRISA, 1994
571994
Concurrent Probabilistic Planning in the Graphplan Framework.
I Little, S Thiebaux
ICAPS, 263-273, 2006
552006
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
552006
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
522002
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
502013
Cost-Optimal Factored Planning: Promises and Pitfalls.
E Fabre, L Jezequel, P Haslum, S Thiébaux
ICAPS, 65-72, 2010
482010
Incremental Lower Bounds for Additive Cost Planning Problems.
P Haslum, J Slaney, S Thiébaux
ICAPS 12, 74-82, 2012
462012
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
461996
The system can't perform the operation now. Try again later.
Articles 1–20