2981 search results - page 15 / 597 » Answer Set Planning |
EPIA
1997
Springer
13 years 11 months ago
1997
Springer
dimension of abstraction and specificity, and they may mix both top-level goals and subgoals when describing what they want a plan to do. We show how the Prodigy planning system h...
ICSE
2003
IEEE-ACM
14 years 7 months ago
2003
IEEE-ACM
We set out to answer a question we were asked by software project management: how much effort remains to be spent on a specific software project and how will that effort be distri...
CLEF
2007
Springer
14 years 1 months ago
2007
Springer
MAVE (Multinet-based Answer Verification) is a system for answer validation which combines logic-based techniques and aggregation for identifying the correct answers in given sets...
AAAI
1996
13 years 9 months ago
1996
The Airport Example The Omelette Example Copyright c 1996 American Association for Artificial Intelligence. All rights reserved. Despite the existence of programs that are able to ...
FUIN
2007
13 years 7 months ago
2007
Abstract. Consider an agent executing a plan with nondeterministic actions, in a dynamic environment, which might fail. Suppose that she is given a description of this action domai...