The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Sylvie Thiébaux: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.020secs, Finished in 0.021secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002