1021 search results - page 33 / 205 » Concepts in Proof Planning |
AUSAI
2008
Springer
13 years 10 months ago
2008
Springer
In this paper the notion of a partial-order plan is extended to task-hierarchies. We introduce the concept of a partial-order taskhierarchy that decomposes a problem using multi-ta...
WSC
2000
13 years 10 months ago
2000
SIMPROCESS was used to plan a phased migration from a traditional municipal court to a paperless court. The simulation model was also used to provide the financial justification, ...
FLAIRS
2009
13 years 6 months ago
2009
The predicates that are used to encode a planning domain in PDDL often do not include concepts that are important for effectively reasoning about problems in the domain. In partic...
AIPS
2000
13 years 10 months ago
2000
This paper develops Probabilistic Hybrid Action Models (PHAMs), a realistic causal model for predicting the behavior generated by modern concurrent percept-driven robot plans. PHA...
ECAI
2006
Springer
14 years 9 days ago
2006
Springer
An important application of both data abstraction and plan execution is the execution of clinical guidelines and protocols (CGP), both to validate them against a large set of test ...