Planning with a language for extended goals

Cached

Download Links

by Ugo Dal Lago , Marco Pistore , Paolo Traverso
Citations:56 - 10 self

Active Bibliography

Centro Per La Ricerca – Scientifica Tecnologica Povo, Istituto Trentino Di Cultura, Paolo Busetta, Giordano Adami, Francesco Palmieri
4 Planning And Verification Techniques For The High Level Programming And Monitoring Of Autonomous Robotic Devices – L. Carlucci Aiello, Amedeo Cesta, Enrico Giunchiglia, Marco Pistore, Paulo Traverso - 2001
8 Task Decomposition on Abstract States, for Planning under Nondeterminism – Ugur Kuter , Dana Nau , Marco Pistore , Paolo Traverso - 2009
5 The Planning Spectrum - One, Two, Three, Infinity – Marco Pistore, Moshe Y. Vardi - 2003
15 Planning with Extended Goals and Partial Observability – Piergiorgio Bertoli - 2004
24 Symbolic Techniques for Planning With Extended Goals in Non-Deterministic Domains – Marco Pistore , Renato Bettin, Paolo Traverso - 2001
8 Extending PDDL to nondeterminism, limited sensing and iterative conditional plans – Piergiorgio Bertoli, Alessandro Cimatti, Ugo Dal Lago, Marco Pistore
Plan Validation for Extended Goals under . . . – P. Bertoli , A. Cimatti , M. Pistore , P. Traverso - 2002
A Framework for Planning with Extended Goals . . . – P. Bertoli , A. Cimatti , M. Pistore , P. Traverso - 2003
4 Plan Validation for Extended Goals under Partial Observability – Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Paolo Traverso - 2002
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
29 Forward-chaining planning in nondeterministic domains – Ugur Kuter, Dana Nau - 2004
24 Solving power supply restoration problems with planning via symbolic model checking РPiergiorgio Bertoli, Ro Cimatti, John Slaney, Sylvie Thi̩baux - 2002
Povo (Trento), Italy Tel.: +39 0461 314312 Fax: +39 0461 302040 e-mail: prdoc@itc.it - url: http://www.itc.it CONFORMANT PLANNING VIA MODEL CHECKING Cimatti A., Roveri M. – August Limited Distribution, Scientifica E Tecnologica, Cimatti A, Roveri M, Istituto Trentino Di Cultura, Alessandro Cimatti, Marco Roveri
31 STRONG CYCLIC PLANNING REVISITED – Marco Daniele, Paolo Traverso, Moshe Y. Vardi
5 High-Level Robot Programming in Dynamic and Incompletely Known Environments – Mikhail Soutchanski - 2003
7 Using Classical Planners to Solve Nondeterministic Planning Problems – Ugur Kuter, Dana Nau, Elnatan Reisner, Robert P. Goldman
2 Planning for Interactions among Autonomous Agents – Tsz-chiu Au, Ugur Kuter, Dana Nau