102 search results - page 16 / 21 » Search and Inference in AI Planning |
SEMWEB
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. To direct automated Web service composition, it is compelling to provide a template, workflow or scaffolding that dictates the ways in which services can be composed. I...
SAS
2009
Springer
14 years 8 months ago
2009
Springer
Directed model checking is a well-established technique to tackle the state explosion problem when the aim is to find error states in large systems. In this approach, the state spa...
IAAI
2003
13 years 9 months ago
2003
AI has the potential to play an important role in the customer service field. By leveraging the high bandwidth of natural language customers will be able to state their intentions...
ECP
1997
Springer
13 years 12 months ago
1997
Springer
We provide a reconstruction of Blum and Furst’s Graphplan algorithm, and use the reconstruction to extend and improve the original algorithm in several ways. In our reconstructi...
TSMC
2010
13 years 2 months ago
2010
In model-based control, a planner uses a system description to create a plan that achieves production goals. The same model can be used by model-based diagnosis to indirectly infe...