Heuristic Search + Symbolic Model Checking = Efficient Conformant Planning (2001)


Download Links

by Piergiorgio Bertoli , Alessandro Cimatti , Marco Roveri
Citations:42 - 7 self

Active Bibliography

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
Centro Per La Ricerca – Scientifica Tecnologica Povo, Istituto Trentino Di Cultura, Paolo Busetta, Giordano Adami, Francesco Palmieri
54 MBP: a Model Based Planner – Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso - 2001
120 Conformant Planning via Symbolic Model Checking and Heuristic Search – A. Cimatti, M. Roveri, P. Bertoli - 2003
117 Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking – P. Bertoli , A. Cimatti , M. Roveri , P. Traverso - 2001
11 Conditional Planning under Partial Observability as Heuristic-Symbolic Search in Belief Space – P. Bertoli, A. Cimatti , Marco Roveri - 2001
81 A Logic Programming Approach to Knowledge-State Planning, II: The DLV System – Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres - 2001
8 Task Decomposition on Abstract States, for Planning under Nondeterminism – Ugur Kuter , Dana Nau , Marco Pistore , Paolo Traverso - 2009
Automated Planning – Edited F. Van Harmelen, V. Lifschitz, B. Porter, Ro Cimatti, Marco Pistore, Paolo Traverso
10 A hierarchical task-network planner based on symbolic model checking – Ugur Kuter, Dana Nau, Marco Pistore, Paolo Traverso - 2005
102 Planning under continuous time and resource uncertainty: A challenge for AI – John Bresina, Nicolas Meuleauy, Sailesh Ramakrishnan, David Smith, Rich Washingtonx - 2002
24 Symbolic Techniques for Planning With Extended Goals in Non-Deterministic Domains – Marco Pistore , Renato Bettin, Paolo Traverso - 2001
2 Mapping Conformant Planning into SAT through Compilation and Projection – Héctor Palacios, Héctor Geffner
8 Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking – Alessandro Cimatti, Marco Roveri, Piergiorgio Bertoli - 2000
8 Extending PDDL to nondeterminism, limited sensing and iterative conditional plans – Piergiorgio Bertoli, Alessandro Cimatti, Ugo Dal Lago, Marco Pistore
25 Improving Heuristics For Planning And Search In Belief Space – P. Bertoli, A. Cimatti - 2001
Incremental Contingency Planning – Richard Dearden Nicolas, Nicolas Meuleau, Sailesh Ramakrishnan, David E. Smith, Rich Washington - 2003
28 SAT-based planning in complex domains: Concurrency, constraints and nondeterminism – Claudio Castellini, Enrico Giunchiglia, Armando Tacchella - 2003
18 Improvements to SAT-based conformant planning – Claudio Castellini, Enrico Giunchiglia, Armando Tacchella - 2001