Constructing Conditional Plans by a Theorem-Prover (1999)

Cached

Download Links

by Jussi Rintanen
Venue:Journal of Artificial Intelligence Research
Citations:142 - 6 self

Active Bibliography

108 Recent Advances in AI Planning – Daniel S. Weld - 1999
3 Capability Representations for Brokering: A Survey – Gerhard Wickler, Austin Tate - 1999
28 SAT-based planning in complex domains: Concurrency, constraints and nondeterminism – Claudio Castellini, Enrico Giunchiglia, Armando Tacchella - 2003
33 Partial implicit unfolding in the davis-putnam procedure for quantified boolean formulae – Jussi Rintanen - 2001
4 Admissible Heuristics for Automated Planning – Patrik Haslum
30 Web Service Composition as AI Planning - a Survey – Joachim Peer - 2005
Proceedings, Eleventh International Conference on Principles of Knowledge Representation and Reasoning (2008) Planning Graphs and Propositional Clause-Learning – Jussi Rintanen
8 Task Decomposition on Abstract States, for Planning under Nondeterminism – Ugur Kuter , Dana Nau , Marco Pistore , Paolo Traverso - 2009
10 Long-Distance Mutual Exclusion for Propositional Planning – Yixin Chen, Zhao Xing, Weixiong Zhang - 2007
3 Planning as Satisfiability: Heuristics – Jussi Rintanen - 2012
46 A Planning Algorithm not based on Directional Search – Jussi Rintanen - 1998
3 Discovering Laws as Anomalies in Logical Worlds – Proshanto Mukherji - 2006
Automated Planning – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Ro Cimatti, Marco Pistore, Paolo Traverso
Integer Programming Approaches for . . . – Menkes Hector Louis van den Briel - 2008
24 Satisfiability Solvers – Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman - 2008
Chapter 2 Satisfiability Solvers – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Carla P. Gomes, Henry Kautz, Ashish Sabharwal, Bart Selman
7 Long-distance mutual exclusion for planning – Yixin Chen, Ruoyun Huang, Zhao Xing, Weixiong Zhang - 2008
Centro Per La Ricerca Scientifica E Tecnologica – Povo Trento Italy, Scientifica E Tecnologica, Agostini A, De Jong D, Montagna F, Istituto Trentino Di Cultura, Alessandro Agostini, Itc-irst Trento, Dick De Jongh, Franco Montagna
94 Bridging the gap between planning and scheduling РDavid E. Smith, Jeremy Frank, Ari K. Jónsson