Planning with a language for extended goals

Cached

Download Links

by Ugo Dal Lago , Marco Pistore , Paolo Traverso
Citations:63 - 13 self

Documents Related by Co-Citation

288 Adapting Golog for composition of semantic web Services – Sheila Mcilraith - 2002
66 Planning as Model Checking for Extended Goals in Non-Deterministic Domains – Marco Pistore, Paolo Traverso - 2001
284 Simulation, verification, automated composition of web services – Srini Narayanan, Sheila A. Mcilraith - 2002
117 Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking – P. Bertoli , A. Cimatti , M. Roveri , P. Traverso - 2001
1108 Temporal and modal logic – E. Allen Emerson - 1995
274 Using Temporal Logics to Express Search Control Knowledge for Planning – Fahiem Bacchus, Froduald Kabanza - 1999
55 MBP: a Model Based Planner – Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso - 2001
85 Planning as model checking – F Giunchiglia, P Traverso - 1999
11 A framework for planning with extended goals under partial observability – P Bertoli, A Cimatti, M Pistore, P Traverso - 2003
42 A Planner for Composing Services Described in DAML-S – Mithun Sheshagiri, Marie desJardins, Timothy Finin - 2003
457 Business Process Execution Language for Web Services,” 2003, version 1.1 – T Andrews
204 Planning with Incomplete Information as Heuristic Search in Belief Space – Blai Bonet, Hector Geffner - 2000
90 Estimated-regression planning for interactions with Web services – D V McDermott - 2002
134 Planning for Temporally Extended Goals – Fahiem Bacchus, Froduald Kabanza - 1997
73 Planning via model checking: A decision procedure for AR – Alessandro Cimatti, Enrico Giunchiglia, Fausto Giunchiglia, Paolo Traverso - 1997
958 Fast Planning Through Planning Graph Analysis – Avrim L. Blum, Merrick L. Furst - 1995
85 A Knowledge-Based Approach to Planning with Incomplete Information and Sensing – Ronald Petrick, Fahiem Bacchus - 2002
26 Planning and Monitoring the Execution of Web Service Requests – Alexander Lazovik, Er Lazovik, Marco Aiello, Mike Papazoglou - 2003
31 Planning with Complex Actions – Sheila Mcilraith, Ronald Fadel - 2002