dblp.uni-trier.dewww.uni-trier.de

Sylvie Thiébaux Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
33EEMaria Fox, Sylvie Thiébaux: Advances in automated plan generation. Artif. Intell. 173(5-6): 501-502 (2009)
2008
32EEBlai Bonet, Patrik Haslum, Sarah L. Hickmott, Sylvie Thiébaux: Directed Unfolding of Petri Nets. T. Petri Nets and Other Models of Concurrency 1: 172-198 (2008)
2007
31 Mark S. Boddy, Maria Fox, Sylvie Thiébaux: Proceedings of the Seventeenth International Conference on Automated Planning and Scheduling, ICAPS 2007, Providence, Rhode Island, USA, September 22-26, 2007 AAAI 2007
30 Anika Schumann, Yannick Pencolé, Sylvie Thiébaux: A Spectrum of Symbolic On-line Diagnosis Approaches. AAAI 2007: 335-340
29EESarah L. Hickmott, Jussi Rintanen, Sylvie Thiébaux, Langford B. White: Planning via Petri Net Unfolding. IJCAI 2007: 1904-1911
28EEElena Kelareva, Olivier Buffet, Jinbo Huang, Sylvie Thiébaux: Factored Planning Using Decomposition Trees. IJCAI 2007: 1942-1947
2006
27 Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh: Estimating Search Tree Size. AAAI 2006
26 Iain Little, Sylvie Thiébaux: Concurrent Probabilistic Planning in the Graphplan Framework. ICAPS 2006: 263-273
25EESylvain Kerjean, Froduald Kabanza, Richard St.-Denis, Sylvie Thiébaux: Analyzing LTL Model Checking Techniques for Plan Synthesis and Controller Synthesis (Work in Progress). Electr. Notes Theor. Comput. Sci. 149(2): 91-104 (2006)
24EESylvie Thiébaux, Charles Gretton, John K. Slaney, David Price, Froduald Kabanza: Decision-Theoretic Planning with non-Markovian Rewards. J. Artif. Intell. Res. (JAIR) 25: 17-74 (2006)
23EEJö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. J. Artif. Intell. Res. (JAIR) 26: 453-541 (2006)
2005
22 Iain Little, Douglas Aberdeen, Sylvie Thiébaux: Prottle: A Probabilistic Temporal Planner. AAAI 2005: 1181-1186
21 Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh: Backbones and Backdoors in Satisfiability. AAAI 2005: 1368-1373
20 Froduald Kabanza, Sylvie Thiébaux: Search Control in Planning for Temporally Extended Goals. ICAPS 2005: 130-139
19EESylvie Thiébaux, Jörg Hoffmann, Bernhard Nebel: In defense of PDDL axioms. Artif. Intell. 168(1-2): 38-69 (2005)
2004
18 Anika Schumann, Yannick Pencolé, Sylvie Thiébaux: Symbolic Models for Diagnosing Discrete-Event Systems. ECAI 2004: 1085-1086
17 Douglas Aberdeen, Sylvie Thiébaux, Lin Zhang: Decision-Theoretic Military Operations Planning. ICAPS 2004: 402-412
16EECharles Gretton, Sylvie Thiébaux: Exploiting First-Order Regression in Inductive Policy Selection. UAI 2004: 217-225
2003
15 Blai Bonet, Sylvie Thiébaux: GPT Meets PSR. ICAPS 2003: 102-112
14 Sylvie Thiébaux, Jörg Hoffmann, Bernhard Nebel: In Defense of PDDL Axioms. IJCAI 2003: 961-968
13 Charles Gretton, David Price, Sylvie Thiébaux: Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards. UAI 2003: 289-296
2002
12 Piergiorgio Bertoli, Alessandro Cimatti, John K. Slaney, Sylvie Thiébaux: Solving Power Supply Restoration Problems with Planning via Symbolic Model Checking. ECAI 2002: 576-580
11 Sylvie Thiébaux, Froduald Kabanza, John K. Slaney: Anytime State-Based Solution Methods for Decision Processes with non-Markovian Rewards. UAI 2002: 501-510
2001
10EEJohn K. Slaney, Sylvie Thiébaux: Blocks World revisited. Artif. Intell. 125(1-2): 119-153 (2001)
2000
9 John K. Slaney, Sylvie Thiébaux, Philip Kilby: Estimating the Hardness of Optimisation. ECAI 2000: 123-130
8 Sylvie Thiébaux, Peter Lamb: Combining Kalman Filtering and Markov Localization in Network-Like Environments. PRICAI 2000: 756-766
1998
7 John K. Slaney, Sylvie Thiébaux: On the Hardness of Decision and Optimisation Problems. ECAI 1998: 244-248
6 Marie-Odile Cordier, Jean-Paul Krivine, Philippe Laborie, Sylvie Thiébaux: Alarm Processing and Reconfiguration in Power Distribution Systems. IEA/AIE (Vol. 2) 1998: 230-241
1996
5 John K. Slaney, Sylvie Thiébaux: Linear Time Near-Optimal Planning in the Blocks World. AAAI/IAAI, Vol. 2 1996: 1208-1214
4EESylvie 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. UAI 1996: 525-532
1994
3EEJoachim Hertzberg, Sylvie Thiébaux: Turning an Action Formalism Into a Planner - Essentials of a Case Study. ISMIS 1994: 305-314
2 Joachim Hertzberg, Sylvie Thiébaux: Turning an Action Formalism into a Planner - A Case Study. J. Log. Comput. 4(5): 617-654 (1994)
1993
1 Sylvie Thiébaux, Joachim Hertzberg, William D. Shoaff, M. Schneider: A Stochastic Model of Actions and Plans for Anytime Planning under Uncertainty. PuK 1993: 51-62

Coauthor Index

1Douglas Aberdeen [17] [22]
2Piergiorgio Bertoli [12]
3Mark S. Boddy [31]
4Blai Bonet [15] [32]
5Olivier Buffet [28]
6Alessandro Cimatti [12]
7Marie-Odile Cordier [4] [6]
8Stefan Edelkamp [23]
9Roman Englert [23]
10Maria Fox [31] [33]
11Charles Gretton [13] [16] [24]
12Patrik Haslum [32]
13Joachim Hertzberg [1] [2] [3]
14Sarah L. Hickmott [29] [32]
15Jörg Hoffmann [14] [19] [23]
16Jinbo Huang [28]
17Olivier Jehl [4]
18Froduald Kabanza [11] [20] [24] [25]
19Elena Kelareva [28]
20Sylvain Kerjean [25]
21Philip Kilby [9] [21] [27]
22Jean-Paul Krivine [4] [6]
23Philippe Laborie [6]
24Peter Lamb [8]
25Frederico dos S. Liporace [23]
26Iain Little [22] [26]
27Bernhard Nebel [14] [19]
28Yannick Pencolé [18] [30]
29David Price [13] [24]
30Jussi Rintanen [29]
31M. Schneider [1]
32Anika Schumann [18] [30]
33William D. Shoaff [1]
34John K. Slaney [5] [7] [9] [10] [11] [12] [21] [24] [27]
35Richard St.-Denis [25]
36Sebastian Trüg [23]
37Toby Walsh [21] [27]
38Langford B. White [29]
39Lin Zhang [17]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)