3022 search results - page 30 / 605 » From plans to planning: the case of nursing plans |
AIPS
2004
14 years 12 months ago
2004
In this paper, we show how a planner can use a modelchecking verifier to guide state space search. In our work on hard real-time, closed-loop planning, we use a modelchecker'...
110
click to vote
ECP
1997
Springer
15 years 2 months ago
1997
Springer
In this paper we describe SINERGY, which is a highly parallelizable, linear planning system that is based on the genetic programming paradigm. Rather than reasoning about the world...
ECAI
2004
Springer
15 years 3 months ago
2004
Springer
There are many practical planning situations in which planners may need information from external sources during the planning process. We describe the following: T.C. Au, D. Nau, a...
ECAI
2004
Springer
15 years 3 months ago
2004
Springer
This paper investigates a loosely coupled approach to planning and scheduling integration, which consists of cascading a planner and a scheduler. While other implementations of thi...
101
click to vote
KR
2004
Springer
15 years 3 months ago
2004
Springer
To learn to behave in highly complex domains, agents must represent and learn compact models of the world dynamics. In this paper, we present an algorithm for learning probabilist...