|
54
|
Planning as Model Checking for Extended Goals in Non-Deterministic Domains
– Marco Pistore, Paolo Traverso
- 2001
|
|
252
|
Adapting Golog for composition of semantic web Services
– Sheila Mcilraith
- 2002
|
|
1009
|
Temporal and modal logic
– E. Allen Emerson
- 1995
|
|
50
|
MBP: a Model Based Planner
– Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Marco Roveri, Paolo Traverso
- 2001
|
|
246
|
Simulation, verification, automated composition of web services
– Srini Narayanan, Sheila A. Mcilraith
- 2002
|
|
239
|
Using Temporal Logics to Express Search Control Knowledge for Planning
– Fahiem Bacchus, Froduald Kabanza
- 1999
|
|
103
|
Planning in Nondeterministic Domains under Partial Observability via Symbolic Model Checking
– P. Bertoli , A. Cimatti , M. Roveri , P. Traverso
- 2001
|
|
78
|
Planning as model checking
– P Traverso
- 2002
|
|
402
|
BBusiness Process Execution Language for Web Services Version 1.1
– T Andrews, F Curbera, H Dholakia, Y Goland, J Klein, F Leymann, K Liu, D Roller, D Smith, S Thatte, I Trickovic, S Weerawarana
|
|
174
|
Planning with Incomplete Information as Heuristic Search in Belief Space
– Blai Bonet, Hector Geffner
- 2000
|
|
86
|
Estimated-Regression Planning for Interactions with Web Services
– D V McDermott
|
|
117
|
Planning for Temporally Extended Goals
– Fahiem Bacchus, Froduald Kabanza
- 1997
|
|
66
|
Planning Control Rules for Reactive Agents
– F. Kabanza, M. Barbeau, R St-Denis
- 1997
|
|
86
|
Web Service Composition - Current Solutions and Open Problems
– Biplav Srivastava, Jana Koehler
- 2003
|
|
10
|
A Framework for Planning with Extended Goals under Partial Observability
– P Bertoli, A Cimatti, M Pistore, P Traverso
- 2003
|
|
76
|
A Knowledge-Based Approach to Planning with Incomplete Information and Sensing
– Ronald Petrick, Fahiem Bacchus
- 2002
|
|
37
|
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
|
|
122
|
Constructing Conditional Plans by a Theorem-Prover
– Jussi Rintanen
- 1999
|
