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
285 Adapting Golog for composition of semantic web Services – Sheila Mcilraith - 2002
1108 Temporal and modal logic – E. Allen Emerson - 1995
272 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
283 Simulation, verification, automated composition of web services – Srini Narayanan, Sheila A. Mcilraith - 2002
115 Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking – P. Bertoli , A. Cimatti , M. Roveri , P. Traverso - 2001
202 Planning with Incomplete Information as Heuristic Search in Belief Space – Blai Bonet, Hector Geffner - 2000
130 Planning for Temporally Extended Goals – Fahiem Bacchus, Froduald Kabanza - 1997
70 Planning Control Rules for Reactive Agents – F. Kabanza, M. Barbeau, R St-Denis - 1997
84 Planning as model checking – F Giunchiglia, P Traverso - 1999
955 Fast Planning Through Planning Graph Analysis – Avrim L. Blum, Merrick L. Furst - 1995
11 A framework for planning with extended goals under partial observability – P Bertoli, A Cimatti, M Pistore, P Traverso - 2003
83 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
455 Business Process Execution Language for Web Services version 1.1. 2003 – T Andrews, F Curbera, H Dholakia, Y Goland, J Klein, F Leymann, K Liu, D Roller, D Smith, S Thatte, I Trickovic
24 Symbolic Techniques for Planning With Extended Goals in Non-Deterministic Domains – Marco Pistore , Renato Bettin, Paolo Traverso - 2001
140 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