Planning with a language for extended goals

View PDF

Download Links

by Ugo Dal Lago , Marco Pistore , Paolo Traverso
Citations:68 - 14 self

Documents Related by Co-Citation

1177 Temporal and modal logic – E. Allen Emerson - 1995
328 Adapting Golog for composition of semantic web Services – Sheila Mcilraith - 2002
340 Simulation, verification, automated composition of web services – Srini Narayanan, Sheila A. Mcilraith - 2002
297 Using Temporal Logics to Express Search Control Knowledge for Planning – Fahiem Bacchus, Froduald Kabanza - 1999
73 Planning as Model Checking for Extended Goals in Non-Deterministic Domains – Marco Pistore, Paolo Traverso - 2001
533 Business process execution language for web services – F Curbera - 2002
1032 Fast Planning Through Planning Graph Analysis – Avrim L. Blum, Merrick L. Furst - 1995
122 Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking – P. Bertoli , A. Cimatti , M. Roveri , P. Traverso - 2001
660 The FF planning system: Fast plan generation through heuristic search – Jörg Hoffmann, Bernhard Nebel - 2001