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

65 Planning as Model Checking for Extended Goals in Non-Deterministic Domains – Marco Pistore, Paolo Traverso - 2001
283 Adapting Golog for composition of semantic web Services – Sheila 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
280 Simulation, verification, automated composition of web services – Srini Narayanan, Sheila A. Mcilraith - 2002
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
84 Planning as Model Checking – F Giunchiglia, P Traverso - 1999
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
90 Estimated-regression planning for interactions with Web services – D V McDermott - 2002
132 Planning for Temporally Extended Goals – Fahiem Bacchus, Froduald Kabanza - 1997
11 A framework for planning with extended goals under partial observability – P Bertoli, A Cimatti, M Pistore, P Traverso - 2003
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
70 Planning Control Rules for Reactive Agents – F. Kabanza, M. Barbeau, R St-Denis - 1997