Search the dblp DataBase

Publications of Author

1. Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh
   Backbones and Backdoors in Satisfiability. [Citation Graph (0, 0)][DBLP]
   AAAI, 2005, pp:1368-1373 [Conf]
   
2. Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh
   Estimating Search Tree Size. [Citation Graph (0, 0)][DBLP]
   AAAI, 2006, pp:- [Conf]
   
3. Iain Little, Douglas Aberdeen, Sylvie Thiébaux
   Prottle: A Probabilistic Temporal Planner. [Citation Graph (0, 0)][DBLP]
   AAAI, 2005, pp:1181-1186 [Conf]
   
4. John K. Slaney, Sylvie Thiébaux
   Linear Time Near-Optimal Planning in the Blocks World. [Citation Graph (0, 0)][DBLP]
   AAAI/IAAI, Vol. 2, 1996, pp:1208-1214 [Conf]
   
5. Douglas Aberdeen, Sylvie Thiébaux, Lin Zhang
   Decision-Theoretic Military Operations Planning. [Citation Graph (0, 0)][DBLP]
   ICAPS, 2004, pp:402-412 [Conf]
   
6. Blai Bonet, Sylvie Thiébaux
   GPT Meets PSR. [Citation Graph (0, 0)][DBLP]
   ICAPS, 2003, pp:102-112 [Conf]
   
7. Froduald Kabanza, Sylvie Thiébaux
   Search Control in Planning for Temporally Extended Goals. [Citation Graph (0, 0)][DBLP]
   ICAPS, 2005, pp:130-139 [Conf]
   
8. Piergiorgio Bertoli, Alessandro Cimatti, John K. Slaney, Sylvie Thiébaux
   Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking. [Citation Graph (0, 0)][DBLP]
   ECAI, 2002, pp:576-580 [Conf]
   
9. Anika Schumann, Yannick Pencolé, Sylvie Thiébaux
   Symbolic Models for Diagnosing Discrete-Event Systems. [Citation Graph (0, 0)][DBLP]
   ECAI, 2004, pp:1085-1086 [Conf]
   
10. John K. Slaney, Sylvie Thiébaux
    On the Hardness of Decision and Optimisation Problems. [Citation Graph (0, 0)][DBLP]
    ECAI, 1998, pp:244-248 [Conf]
    
11. John K. Slaney, Sylvie Thiébaux, Philip Kilby
    Estimating the Hardness of Optimisation. [Citation Graph (0, 0)][DBLP]
    ECAI, 2000, pp:123-130 [Conf]
    
12. Marie-Odile Cordier, Jean-Paul Krivine, Philippe Laborie, Sylvie Thiébaux
    Alarm Processing and Reconfiguration in Power Distribution Systems. [Citation Graph (0, 0)][DBLP]
    IEA/AIE (Vol. 2), 1998, pp:230-241 [Conf]
    
13. Sylvie Thiébaux, Jörg Hoffmann, Bernhard Nebel
    In Defense of PDDL Axioms. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2003, pp:961-968 [Conf]
    
14. Sarah L. Hickmott, Jussi Rintanen, Sylvie Thiébaux, Langford B. White
    Planning via Petri Net Unfolding. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:1904-1911 [Conf]
    
15. Elena Kelareva, Olivier Buffet, Jinbo Huang, Sylvie Thiébaux
    Factored Planning Using Decomposition Trees. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2007, pp:1942-1947 [Conf]
    
16. Joachim Hertzberg, Sylvie Thiébaux
    Turning an Action Formalism Into a Planner - Essentials of a Case Study. [Citation Graph (0, 0)][DBLP]
    ISMIS, 1994, pp:305-314 [Conf]
    
17. Sylvie Thiébaux, Peter Lamb
    Combining Kalman Filtering and Markov Localization in Network-Like Environments. [Citation Graph (0, 0)][DBLP]
    PRICAI, 2000, pp:756-766 [Conf]
    
18. Sylvie Thiébaux, Joachim Hertzberg, William D. Shoaff, M. Schneider
    A Stochastic Model of Actions and Plans for Anytime Planning under Uncertainty. [Citation Graph (0, 0)][DBLP]
    PuK, 1993, pp:51-62 [Conf]
    
19. Charles Gretton, David Price, Sylvie Thiébaux
    Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards. [Citation Graph (0, 0)][DBLP]
    UAI, 2003, pp:289-296 [Conf]
    
20. Sylvie Thiébaux, Marie-Odile Cordier, Olivier Jehl, Jean-Paul Krivine
    Supply Restoration in Power Distribution Systems: A Case Study in Integrating Model-Based Diagnosis and Repair Planning. [Citation Graph (0, 0)][DBLP]
    UAI, 1996, pp:525-532 [Conf]
    
21. Sylvie Thiébaux, Froduald Kabanza, John K. Slaney
    Anytime State-Based Solution Methods for Decision Processes with non-Markovian Rewards. [Citation Graph (0, 0)][DBLP]
    UAI, 2002, pp:501-510 [Conf]
    
22. John K. Slaney, Sylvie Thiébaux
    Blocks World revisited. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2001, v:125, n:1-2, pp:119-153 [Journal]
    
23. Sylvie Thiébaux, Jörg Hoffmann, Bernhard Nebel
    In defense of PDDL axioms. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2005, v:168, n:1-2, pp:38-69 [Journal]
    
24. Sylvain Kerjean, Froduald Kabanza, Richard St.-Denis, Sylvie Thiébaux
    Analyzing LTL Model Checking Techniques for Plan Synthesis and Controller Synthesis (Work in Progress). [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:149, n:2, pp:91-104 [Journal]
    
25. Joachim Hertzberg, Sylvie Thiébaux
    Turning an Action Formalism into a Planner - A Case Study. [Citation Graph (0, 0)][DBLP]
    J. Log. Comput., 1994, v:4, n:5, pp:617-654 [Journal]
    
26. Anika Schumann, Yannick Pencolé, Sylvie Thiébaux
    A Spectrum of Symbolic On-line Diagnosis Approaches. [Citation Graph (0, 0)][DBLP]
    AAAI, 2007, pp:335-340 [Conf]
    
27. Iain Little, Sylvie Thiébaux
    Concurrent Probabilistic Planning in the Graphplan Framework. [Citation Graph (0, 0)][DBLP]
    ICAPS, 2006, pp:263-273 [Conf]
    
28. Charles Gretton, Sylvie Thiébaux
    Exploiting First-Order Regression in Inductive Policy Selection. [Citation Graph (0, 0)][DBLP]
    UAI, 2004, pp:217-225 [Conf]
    
29. Sylvie Thiébaux, Charles Gretton, John K. Slaney, David Price, Froduald Kabanza
    Decision-Theoretic Planning with non-Markovian Rewards. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2006, v:25, n:, pp:17-74 [Journal]
    
30. Jörg Hoffmann, Stefan Edelkamp, Sylvie Thiébaux, Roman Englert, Frederico dos S. Liporace, Sebastian Trüg
    Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4. [Citation Graph (0, 0)][DBLP]
    J. Artif. Intell. Res. (JAIR), 2006, v:26, n:, pp:453-541 [Journal]
    
31. 
    Cost-Optimal Factored Planning: Promises and Pitfalls. [Citation Graph (, )][DBLP]
    
    
32. 
    A Decentralised Symbolic Diagnosis Approach. [Citation Graph (, )][DBLP]
    
    
33. 
    Advances in automated plan generation. [Citation Graph (, )][DBLP]