default search action
Sylvie Thiébaux
Person information
- affiliation: The Australian National University, Canberra, ACT, Australia
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c75]Dillon Ze Chen, Sylvie Thiébaux, Felipe W. Trevizan:
Learning Domain-Independent Heuristics for Grounded and Lifted Planning. AAAI 2024: 20078-20086 - [c74]Jayanta Mandi, Marco Foschini, Daniel Höller, Sylvie Thiébaux, Jörg Hoffmann, Tias Guns:
Decision-Focused Learning to Predict Action Costs for Planning. ECAI 2024: 4060-4067 - [c73]Dillon Z. Chen, Felipe W. Trevizan, Sylvie Thiébaux:
Return to Tradition: Learning Reliable Heuristics with Classical Machine Learning. ICAPS 2024: 68-76 - [c72]Marcel Steinmetz, Sylvie Thiébaux, Daniel Höller, Florent Teichteil-Königsbuch:
Explaining the Space of SSP Policies via Policy-Property Dependencies: Complexity, Algorithms, and Relation to Multi-Objective Planning. ICAPS 2024: 555-564 - [c71]Ryan Xiao Wang, Sylvie Thiébaux:
Learning Generalised Policies for Numeric Planning. ICAPS 2024: 633-642 - [c70]Kai Xi, Stephen Gould, Sylvie Thiébaux:
Neuro-Symbolic Learning of Lifted Action Models from Visual Traces. ICAPS 2024: 653-662 - [c69]Mingyu Hao, Felipe W. Trevizan, Sylvie Thiébaux, Patrick Ferber, Jörg Hoffmann:
Guiding GBFS through Learned Pairwise Rankings. IJCAI 2024: 6724-6732 - [c68]Dillon Z. Chen, Sylvie Thiébaux:
Novelty Heuristics, Multi-Queue Search, and Portfolios for Numeric Planning. SOCS 2024: 203-207 - [i24]Dillon Ze Chen, Felipe W. Trevizan, Sylvie Thiébaux:
Return to Tradition: Learning Reliable Heuristics with Classical Machine Learning. CoRR abs/2403.16508 (2024) - [i23]Dillon Z. Chen, Sylvie Thiébaux:
Novelty Heuristics, Multi-Queue Search, and Portfolios for Numeric Planning. CoRR abs/2404.05235 (2024) - [i22]Jayanta Mandi, Marco Foschini, Daniel Höller, Sylvie Thiébaux, Jörg Hoffmann, Tias Guns:
Decision-Focused Learning to Predict Action Costs for Planning. CoRR abs/2408.06876 (2024) - [i21]Dillon Z. Chen, Sylvie Thiébaux:
Graph Learning for Numeric Planning. CoRR abs/2410.24080 (2024) - 2023
- [c67]Dillon Ze Chen, Felipe W. Trevizan, Sylvie Thiébaux:
Heuristic Search for Multi-Objective Probabilistic Planning. AAAI 2023: 11945-11954 - [c66]Florent Teichteil-Königsbuch, Guillaume Povéda, Guillermo González de Garibay Barba, Tim Luchterhand, Sylvie Thiébaux:
Fast and Robust Resource-Constrained Scheduling with Graph Neural Networks. ICAPS 2023: 623-633 - [c65]Renee Selvey, Alban Grastien, Sylvie Thiébaux:
Formal Explanations of Neural Network Policies for Planning. IJCAI 2023: 5446-5456 - [i20]Dillon Ze Chen, Felipe W. Trevizan, Sylvie Thiébaux:
Heuristic Search for Multi-Objective Probabilistic Planning. CoRR abs/2303.14363 (2023) - [i19]Alban Grastien, Patrik Haslum, Sylvie Thiébaux:
A More General Theory of Diagnosis from First Principles. CoRR abs/2309.16180 (2023) - [i18]Dillon Ze Chen, Sylvie Thiébaux, Felipe W. Trevizan:
Learning Domain-Independent Heuristics for Grounded and Lifted Planning. CoRR abs/2312.11143 (2023) - 2022
- [j22]Ahmad Attarha, S. Mahdi Noori R. A., Paul Scott, Sylvie Thiébaux:
Network-Secure Envelopes Enabling Reliable DER Bidding in Energy and Reserve Markets. IEEE Trans. Smart Grid 13(3): 2050-2062 (2022) - [c64]Charles Evans, Claire Benn, Ignacio Ojea Quintana, Pamela Robinson, Sylvie Thiébaux:
Stochastic Policies in Morally Constrained (C-)SSPs. AIES 2022: 253-264 - [c63]Florian Geißer, Patrik Haslum, Sylvie Thiébaux, Felipe W. Trevizan:
Admissible Heuristics for Multi-Objective Planning. ICAPS 2022: 100-109 - [c62]Sylvie Thiébaux, William Yeoh, Akshat Kumar, Pradeep Varakantham:
Preface. ICAPS 2022 - [e4]Akshat Kumar, Sylvie Thiébaux, Pradeep Varakantham, William Yeoh:
Proceedings of the Thirty-Second International Conference on Automated Planning and Scheduling, ICAPS 2022, Singapore (virtual), June 13-24, 2022. AAAI Press 2022, ISBN 978-1-57735-874-9 [contents] - 2021
- [j21]Ahmad Attarha, Paul Scott, José Iria, Sylvie Thiébaux:
Network-Secure and Price-Elastic Aggregator Bidding in Energy and Reserve Markets. IEEE Trans. Smart Grid 12(3): 2284-2294 (2021) - [c61]Ian Mallett, Sylvie Thiébaux, Felipe W. Trevizan:
Progression Heuristics for Planning with Probabilistic LTL Constraints. AAAI 2021: 11870-11879 - [c60]Alban Grastien, Claire Benn, Sylvie Thiébaux:
Computing Plans that Signal Normative Compliance. AIES 2021: 509-518 - [i17]Dan Gordon, Paul Scott, Sylvie Thiébaux:
SmartGridToolbox: A Library for Simulating Modern and Future Electricity Networks. CoRR abs/2110.08992 (2021) - 2020
- [j20]Sam Toyer, Sylvie Thiébaux, Felipe W. Trevizan, Lexing Xie:
ASNets: Deep Learning for Generalised Planning. J. Artif. Intell. Res. 68: 1-68 (2020) - [j19]Enrico Scala, Patrik Haslum, Sylvie Thiébaux, Miquel Ramírez:
Subgoaling Techniques for Satisficing and Optimal Numeric Planning. J. Artif. Intell. Res. 68: 691-752 (2020) - [j18]Ahmad Attarha, Paul Scott, Sylvie Thiébaux:
Affinely Adjustable Robust ADMM for Residential DER Coordination in Distribution Networks. IEEE Trans. Smart Grid 11(2): 1620-1629 (2020) - [c59]Florian Geißer, Guillaume Povéda, Felipe W. Trevizan, Manon Bondouy, Florent Teichteil-Königsbuch, Sylvie Thiébaux:
Optimal and Heuristic Approaches for Constrained Flight Planning under Weather Uncertainty. ICAPS 2020: 384-393 - [c58]William Shen, Felipe W. Trevizan, Sylvie Thiébaux:
Learning Domain-Independent Planning Heuristics with Hypergraph Networks. ICAPS 2020: 574-584 - [c57]Ahmad Attarha, Paul Scott, Sylvie Thiébaux:
Network-aware Participation of Aggregators in NEM Energy and FCAS Markets. e-Energy 2020: 14-24
2010 – 2019
- 2019
- [j17]Paul Scott, Sylvie Thiébaux:
Identification of Manipulation in Receding Horizon Electricity Markets. IEEE Trans. Smart Grid 10(1): 1046-1057 (2019) - [j16]Paul Scott, Dan Gordon, Evan Franklin, Laura Jones, Sylvie Thiébaux:
Network-Aware Coordination of Residential Distributed Energy Resources. IEEE Trans. Smart Grid 10(6): 6528-6537 (2019) - [c56]Buser Say, Scott Sanner, Sylvie Thiébaux:
Reward Potentials for Planning with Learned Neural Network Transition Models. CP 2019: 674-689 - [c55]William Shen, Felipe W. Trevizan, Sam Toyer, Sylvie Thiébaux, Lexing Xie:
Guiding Search with Generalized Policies for Probabilistic Planning. SOCS 2019: 97-105 - [i16]Buser Say, Scott Sanner, Sylvie Thiébaux:
Reward Potentials for Planning with Learned Neural Network Transition Models. CoRR abs/1904.09366 (2019) - [i15]Sam Toyer, Felipe W. Trevizan, Sylvie Thiébaux, Lexing Xie:
ASNets: Deep Learning for Generalised Planning. CoRR abs/1908.01362 (2019) - [i14]William Shen, Felipe W. Trevizan, Sylvie Thiébaux:
Learning Domain-Independent Planning Heuristics with Hypergraph Networks. CoRR abs/1911.13101 (2019) - 2018
- [j15]Patrik Haslum, Franc Ivankovic, Miquel Ramírez, Dan Gordon, Sylvie Thiébaux, Vikas Shivashankar, Dana S. Nau:
Extending Classical Planning with State Constraints: Heuristics and Search for Optimal Planning. J. Artif. Intell. Res. 62: 373-431 (2018) - [c54]Sam Toyer, Felipe W. Trevizan, Sylvie Thiébaux, Lexing Xie:
Action Schema Networks: Generalised Policies With Deep Learning. AAAI 2018: 6294-6301 - [c53]Felipe W. Trevizan, Sylvie Thiébaux, Patrik Haslum:
Operator Counting Heuristics for Probabilistic Planning. IJCAI 2018: 5384-5388 - [c52]Peter Baumgartner, Sylvie Thiébaux, Felipe W. Trevizan:
Heuristic Search Planning With Multi-Objective Probabilistic LTL Constraints. KR 2018: 415-424 - 2017
- [c51]Felipe W. Trevizan, Sylvie Thiébaux, Patrik Haslum:
Occupation Measure Heuristics for Probabilistic Planning. ICAPS 2017: 306-315 - [c50]Enrico Scala, Patrik Haslum, Daniele Magazzeni, Sylvie Thiébaux:
Landmarks for Numeric Planning Problems. IJCAI 2017: 4384-4390 - [c49]Felipe W. Trevizan, Sylvie Thiébaux, Pedro Henrique Santana, Brian C. Williams:
I-dual: Solving Constrained SSPs via Heuristic Search in the Dual Space. IJCAI 2017: 4954-4958 - [c48]Peter Baumgartner, Sylvie Thiébaux, Felipe W. Trevizan:
Tableaux for Policy Synthesis for MDPs with PCTL* Constraints. TABLEAUX 2017: 175-192 - [c47]Felipe W. Trevizan, Florent Teichteil-Königsbuch, Sylvie Thiébaux:
Efficient solutions for Stochastic Shortest Path Problems with Dead Ends. UAI 2017 - [i13]Miquel Ramírez, Enrico Scala, Patrik Haslum, Sylvie Thiébaux:
Numerical Integration and Dynamic Discretization in Heuristic Search Planning over Hybrid Domains. CoRR abs/1703.04232 (2017) - [i12]Peter Baumgartner, Sylvie Thiébaux, Felipe W. Trevizan:
Tableaux for Policy Synthesis for MDPs with PCTL* Constraints. CoRR abs/1706.10102 (2017) - [i11]Sam Toyer, Felipe W. Trevizan, Sylvie Thiébaux, Lexing Xie:
Action Schema Networks: Generalised Policies with Deep Learning. CoRR abs/1709.04271 (2017) - 2016
- [j14]Stefano V. Albrecht, Bruno Bouchard, John S. Brownstein, David L. Buckeridge, Cornelia Caragea, Kevin M. Carter, Adnan Darwiche, Blaz Fortuna, Yannick Francillette, Sébastien Gaboury, C. Lee Giles, Marko Grobelnik, Estevam R. Hruschka Jr., Jeffrey O. Kephart, Parisa Kordjamshidi, Viliam Lisý, Daniele Magazzeni, João Marques-Silva, Pierre Marquis, David R. Martinez, Marek P. Michalowski, Arash Shaban-Nejad, Zeinab Noorian, Enrico Pontelli, Alex Rogers, Stephanie Rosenthal, Dan Roth, Arunesh Sinha, William W. Streilein, Sylvie Thiébaux, Tran Cao Son, Byron C. Wallace, Toby Walsh, Michael Witbrock, Jie Zhang:
Reports of the 2016 AAAI Workshop Program. AI Mag. 37(3): 99-108 (2016) - [c46]Pedro Henrique de Rodrigues Quemel e Assis Santana, Sylvie Thiébaux, Brian Charles Williams:
RAO*: An Algorithm for Chance-Constrained POMDP's. AAAI 2016: 3308-3314 - [c45]Enrico Scala, Miquel Ramírez, Patrik Haslum, Sylvie Thiébaux:
Numeric Planning with Disjunctive Global Constraints via SMT. ICAPS 2016: 276-284 - [c44]Felipe W. Trevizan, Sylvie Thiébaux, Pedro Henrique Santana, Brian Charles Williams:
Heuristic Search in Dual Space for Constrained Stochastic Shortest Path Problems. ICAPS 2016: 326-334 - [c43]BoonPing Lim, Hassan L. Hijazi, Sylvie Thiébaux, Menkes van den Briel:
Online HVAC-Aware Occupancy Scheduling with Adaptive Temperature Control. CP 2016: 683-700 - [c42]Enrico Scala, Patrik Haslum, Sylvie Thiébaux, Miquel Ramírez:
Interval-Based Relaxation for General Numeric Planning. ECAI 2016: 655-663 - [c41]Enrico Scala, Patrik Haslum, Sylvie Thiébaux:
Heuristics for Numeric Planning via Subgoaling. IJCAI 2016: 3228-3234 - [e3]Enrico Pontelli, Alex Rogers, Sylvie Thiébaux, Tran Cao Son:
AI for Smart Grids and Smart Buildings, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 12, 2016. AAAI Technical Report WS-16-04, AAAI Press 2016 [contents] - [e2]Daniele Magazzeni, Scott Sanner, Sylvie Thiébaux:
Planning for Hybrid Systems, Papers from the 2016 AAAI Workshop, Phoenix, Arizona, USA, February 13, 2016. AAAI Technical Report WS-16-12, AAAI Press 2016 [contents] - 2015
- [c40]BoonPing Lim, Menkes van den Briel, Sylvie Thiébaux, Scott Backhaus, Russell Bent:
HVAC-Aware Occupancy Scheduling. AAAI 2015: 679-686 - [c39]BoonPing Lim, Menkes van den Briel, Sylvie Thiébaux, Scott Backhaus, Russell Bent:
HVAC-Aware Occupancy Scheduling. AAAI Workshop: AI for Cities 2015 - [c38]BoonPing Lim, Menkes van den Briel, Sylvie Thiébaux, Russell Bent, Scott Backhaus:
Large Neighborhood Search for Energy Aware Meeting Scheduling in Smart Buildings. CPAIOR 2015: 240-254 - [c37]Paul Scott, Sylvie Thiébaux:
Distributed Multi-Period Optimal Power Flow for Demand Response in Microgrids. e-Energy 2015: 17-26 - [i10]Stefano V. Albrecht, J. Christopher Beck, David L. Buckeridge, Adi Botea, Cornelia Caragea, Chi-Hung Chi, Theodoros Damoulas, Bistra Dilkina, Eric Eaton, Pooyan Fazli, Sam Ganzfried, Marius Lindauer, Marlos C. Machado, Yuri Malitsky, Gary Marcus, Sebastiaan A. Meijer, Francesca Rossi, Arash Shaban-Nejad, Sylvie Thiébaux, Manuela M. Veloso, Toby Walsh, Can Wang, Jie Zhang, Yu Zheng:
Reports from the 2015 AAAI Workshop Program. AI Mag. 36(2): 90-101 (2015) - 2014
- [j13]Blai Bonet, Patrik Haslum, Victor Khomenko, Sylvie Thiébaux, Walter Vogler:
Recent advances in unfolding technique. Theor. Comput. Sci. 551: 84-101 (2014) - [j12]Wayes Tushar, Jian A. Zhang, David B. Smith, H. Vincent Poor, Sylvie Thiébaux:
Prioritizing Consumers in Smart Grid: A Game Theoretic Approach. IEEE Trans. Smart Grid 5(3): 1429-1438 (2014) - [c36]Franc Ivankovic, Patrik Haslum, Sylvie Thiébaux, Vikas Shivashankar, Dana S. Nau:
Optimal Planning with Global Numerical State Constraints. ICAPS 2014 - [c35]Hassan L. Hijazi, Sylvie Thiébaux:
Optimal AC Distribution Systems Reconfiguration. PSCC 2014: 1-7 - [i9]Paul Scott, Sylvie Thiébaux:
Dynamic Optimal Power Flow in Microgrids using the Alternating Direction Method of Multipliers. CoRR abs/1410.7868 (2014) - 2013
- [c34]Paul Scott, Sylvie Thiébaux, Menkes van den Briel, Pascal Van Hentenryck:
Residential Demand Response under Uncertainty. CP 2013: 645-660 - [c33]Wayes Tushar, Jian A. Zhang, David B. Smith, Sylvie Thiébaux, H. Vincent Poor:
Prioritizing consumers in smart grid: Energy management using game theory. ICC 2013: 4239-4243 - [c32]Sylvie Thiébaux, Carleton Coffrin, Hassan L. Hijazi, John K. Slaney:
Planning with MIP for Supply Restoration in Power Distribution Systems. IJCAI 2013: 2900-2907 - [c31]Menkes van den Briel, Paul Scott, Sylvie Thiébaux:
Randomized Load Control: A Simple Distributed Approach for Scheduling Smart Appliances. IJCAI 2013: 2915-2922 - [i8]Sylvie Thiébaux, Froduald Kabanza, John K. Slaney:
Anytime State-Based Solution Methods for Decision Processes with non-Markovian Rewards. CoRR abs/1301.0606 (2013) - [i7]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. CoRR abs/1302.3608 (2013) - [i6]Wayes Tushar, Jian Andrew Zhang, David B. Smith, Sylvie Thiébaux, H. Vincent Poor:
Prioritizing Consumers in Smart Grid: Energy Management Using Game Theory. CoRR abs/1304.0992 (2013) - [i5]Wayes Tushar, Jian A. Zhang, David B. Smith, H. Vincent Poor, Sylvie Thiébaux:
Prioritizing Consumers in Smart Grid: A Game Theoretic Approach. CoRR abs/1312.0659 (2013) - 2012
- [j11]Nick Barnes, Peter Baumgartner, Tibério S. Caetano, Hugh F. Durrant-Whyte, Gerwin Klein, Penelope Sanderson, Abdul Sattar, Peter J. Stuckey, Sylvie Thiébaux, Pascal Van Hentenryck, Toby Walsh:
AI@NICTA. AI Mag. 33(3): 115- (2012) - [c30]Patrik Haslum, John K. Slaney, Sylvie Thiébaux:
Minimal Landmarks for Optimal Delete-Free Planning. ICAPS 2012 - [c29]Elena Kelareva, Sebastian Brand, Philip Kilby, Sylvie Thiébaux, Mark Wallace:
CP and MIP Methods for Ship Scheduling with Time-Varying Draft. ICAPS 2012 - [c28]Alban Grastien, Patrik Haslum, Sylvie Thiébaux:
Conflict-Based Diagnosis of Discrete Event Systems: Theory and Practice. KR 2012 - [i4]Charles Gretton, Sylvie Thiébaux:
Exploiting First-Order Regression in Inductive Policy Selection. CoRR abs/1207.4107 (2012) - [i3]Charles Gretton, David Price, Sylvie Thiébaux:
Implementation and Comparison of Solution Methods for Decision Processes with Non-Markovian Rewards. CoRR abs/1212.2482 (2012) - 2011
- [i2]Charles Gretton, Froduald Kabanza, David Price, John K. Slaney, Sylvie Thiébaux:
Decision-Theoretic Planning with non-Markovian Rewards. CoRR abs/1109.2355 (2011) - [i1]Stefan Edelkamp, Roman Englert, Jörg Hoffmann, Frederico dos S. Liporace, Sylvie Thiébaux, Sebastian Trüg:
Engineering Benchmarks for Planning: the Domains Used in the Deterministic Part of IPC-4. CoRR abs/1110.1016 (2011) - 2010
- [c27]Eric Fabre, Loïg Jezequel, Patrik Haslum, Sylvie Thiébaux:
Cost-Optimal Factored Planning: Promises and Pitfalls. ICAPS 2010: 65-72 - [c26]Anika Schumann, Yannick Pencolé, Sylvie Thiébaux:
A Decentralised Symbolic Diagnosis Approach. ECAI 2010: 99-104
2000 – 2009
- 2009
- [j10]Maria Fox, Sylvie Thiébaux:
Advances in automated plan generation. Artif. Intell. 173(5-6): 501-502 (2009) - 2008
- [j9]Mark S. Boddy, Maria Fox, Sylvie Thiébaux:
The Seventeenth International Conference on Automated Planning and Scheduling (ICAPS-07). AI Mag. 29(3): 116-119 (2008) - [j8]Blai Bonet, Patrik Haslum, Sarah L. Hickmott, Sylvie Thiébaux:
Directed Unfolding of Petri Nets. Trans. Petri Nets Other Model. Concurr. 1: 172-198 (2008) - 2007
- [c25]Anika Schumann, Yannick Pencolé, Sylvie Thiébaux:
A Spectrum of Symbolic On-line Diagnosis Approaches. AAAI 2007: 335-340 - [c24]Sarah L. Hickmott, Jussi Rintanen, Sylvie Thiébaux, Langford B. White:
Planning via Petri Net Unfolding. IJCAI 2007: 1904-1911 - [c23]Elena Kelareva, Olivier Buffet, Jinbo Huang, Sylvie Thiébaux:
Factored Planning Using Decomposition Trees. IJCAI 2007: 1942-1947 - [e1]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, ISBN 978-1-57735-344-7 [contents] - 2006
- [j7]Sylvie Thiébaux, Charles Gretton, John K. Slaney, David Price, Froduald Kabanza:
Decision-Theoretic Planning with non-Markovian Rewards. J. Artif. Intell. Res. 25: 17-74 (2006) - [j6]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. J. Artif. Intell. Res. 26: 453-541 (2006) - [c22]Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh:
Estimating Search Tree Size. AAAI 2006: 1014-1019 - [c21]Iain Little, Sylvie Thiébaux:
Concurrent Probabilistic Planning in the Graphplan Framework. ICAPS 2006: 263-273 - 2005
- [j5]Sylvie Thiébaux, Jörg Hoffmann, Bernhard Nebel:
In defense of PDDL axioms. Artif. Intell. 168(1-2): 38-69 (2005) - [c20]Iain Little, Douglas Aberdeen, Sylvie Thiébaux:
Prottle: A Probabilistic Temporal Planner. AAAI 2005: 1181-1186 - [c19]Philip Kilby, John K. Slaney, Sylvie Thiébaux, Toby Walsh:
Backbones and Backdoors in Satisfiability. AAAI 2005: 1368-1373 - [c18]Froduald Kabanza, Sylvie Thiébaux:
Search Control in Planning for Temporally Extended Goals. ICAPS 2005: 130-139 - [c17]Sylvain Kerjean, Froduald Kabanza, Richard St-Denis, Sylvie Thiébaux:
Analyzing LTL Model Checking Techniques for Plan Synthesis and Controller Synthesis (Work in Progress). MoChArt@CONCUR/SPIN 2005: 91-104 - 2004
- [c16]Douglas Aberdeen, Sylvie Thiébaux, Lin Zhang:
Decision-Theoretic Military Operations Planning. ICAPS 2004: 402-412 - [c15]Anika Schumann, Yannick Pencolé, Sylvie Thiébaux:
Symbolic Models for Diagnosing Discrete-Event Systems. ECAI 2004: 1085-1086 - [c14]Charles Gretton, Sylvie Thiébaux:
Exploiting First-Order Regression in Inductive Policy Selection. UAI 2004: 217-225 - 2003
- [j4]Simon Dunstall, Mark E. T. Horn, Philip Kilby, Mohan Krishnamoorthy, Bowie Owens, David Sier, Sylvie Thiébaux:
An Automated Itinerary Planning System for Holiday Travel. J. Inf. Technol. Tour. 6(3): 195-210 (2003) - [c13]Blai Bonet, Sylvie Thiébaux:
GPT Meets PSR. ICAPS 2003: 102-112 - [c12]Sylvie Thiébaux, Jörg Hoffmann, Bernhard Nebel:
In Defense of PDDL Axioms. IJCAI 2003: 961-968 - [c11]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
- [c10]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 - [c9]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
- [j3]John K. Slaney, Sylvie Thiébaux:
Blocks World revisited. Artif. Intell. 125(1-2): 119-153 (2001) - 2000
- [c8]John K. Slaney, Sylvie Thiébaux, Philip Kilby:
Estimating the Hardness of Optimisation. ECAI 2000: 123-130 - [c7]Sylvie Thiébaux, Peter Lamb:
Combining Kalman Filtering and Markov Localization in Network-Like Environments. PRICAI 2000: 756-766
1990 – 1999
- 1998
- [c6]John K. Slaney, Sylvie Thiébaux:
On the Hardness of Decision and Optimisation Problems. ECAI 1998: 244-248 - [c5]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
- [c4]John K. Slaney, Sylvie Thiébaux:
Linear Time Near-Optimal Planning in the Blocks World. AAAI/IAAI, Vol. 2 1996: 1208-1214 - [c3]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. UAI 1996: 525-532 - 1995
- [j2]Sylvie Thiébaux, Joachim Hertzberg, William D. Shoaff, Moti Schneider:
A stochastic model of actions and plans for anytime planning under uncertainty. Int. J. Intell. Syst. 10(2): 155-183 (1995) - 1994
- [j1]Joachim Hertzberg, Sylvie Thiébaux:
Turning an Action Formalism into a Planner - A Case Study. J. Log. Comput. 4(5): 617-654 (1994) - [c2]Joachim Hertzberg, Sylvie Thiébaux:
Turning an Action Formalism Into a Planner - Essentials of a Case Study. ISMIS 1994: 305-314 - 1993
- [c1]Sylvie Thiébaux, Joachim Hertzberg, William D. Shoaff, Moti Schneider:
A Stochastic Model of Actions and Plans for Anytime Planning under Uncertainty. PuK 1993: 51-62
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-01 01:07 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint