341 search results - page 18 / 69 » A Declarative Implementation of Planning with Control |
FROCOS
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...
AAI
2005
13 years 7 months ago
2005
The application of AI planning techniques to manufacturing systems is being widely deployed for all the tasks involved in the process, from product design to production planning an...
ECIS
2004
13 years 9 months ago
2004
This paper reports the findings of an in-depth case study of implementing Enterprise Resource Planning Systems (ERP) in a long-established multinational company within the telecom...
IAT
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper, we tackle learning in distributed systems and the fact that learning does not necessarily involve the participation of agents directly in the inductive process itse...
AIIA
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In this paper we present a mixed-initiative planning approach to humanrobot interaction in a rescue domain. We deploy a model-based executive monitoring system to coordin...