Planning with a language for extended goals

Cached

Download Links

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

Documents Related by Co-Citation

283 Adapting Golog for composition of semantic web Services – Sheila Mcilraith - 2002
65 Planning as Model Checking for Extended Goals in Non-Deterministic Domains – Marco Pistore, Paolo Traverso - 2001
280 Simulation, verification, automated composition of web services – Srini Narayanan, Sheila A. Mcilraith - 2002
1107 Temporal and modal logic – E. Allen Emerson - 1995
275 Using Temporal Logics to Express Search Control Knowledge for Planning – Fahiem Bacchus, Froduald Kabanza - 1999
54 MBP: a Model Based Planner – Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso - 2001
117 Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking – P. Bertoli , A. Cimatti , M. Roveri , P. Traverso - 2001
451 Business Process Execution Language for Web Services,” http://www.ibm.com/developerworks/webservices/library/ws-bpel – T Andrews, F Curbera, H Dholakia, Y Goland, J Klein, K Liu F Leymann, D Roller, D Smith, S Thatte, I Trickovic, S Weerawarana - 2003
203 Planning with Incomplete Information as Heuristic Search in Belief Space – Blai Bonet, Hector Geffner - 2000
132 Planning for Temporally Extended Goals – Fahiem Bacchus, Froduald Kabanza - 1997
84 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
30 Planning with Complex Actions – Sheila Mcilraith, Ronald Fadel - 2002
84 A Knowledge-Based Approach to Planning with Incomplete Information and Sensing – Ronald Petrick, Fahiem Bacchus - 2002
41 A Planner for Composing Services Described in DAML-S – Mithun Sheshagiri, Marie desJardins, Timothy Finin - 2003
24 Symbolic Techniques for Planning With Extended Goals in Non-Deterministic Domains – Marco Pistore , Renato Bettin, Paolo Traverso - 2001
142 Constructing Conditional Plans by a Theorem-Prover – Jussi Rintanen - 1999
11 Conditional Planning under Partial Observability as Heuristic-Symbolic Search in Belief Space – P. Bertoli, A. Cimatti , Marco Roveri - 2001
90 Estimated-regression planning for interactions with Web services – D V McDermott - 2002