4595 search results - page 24 / 919 » Reasoning about Plans |
AAAI
2007
15 years 14 days ago
2007
Forgetting irrelevant/problematic actions in a domain description can be useful in solving reasoning problems, such as query answering, planning, conflict resolution, prediction,...
ATAL
2009
Springer
15 years 4 months ago
2009
Springer
The process of planning in complex, multi-actor environment depends strongly on the ability of the individual actors to perform intelligent decommitment upon specific changes in ...
75
Voted
KR
1989
Springer
15 years 2 months ago
1989
Springer
In this paper I argue that we do not understand the process of default reasoning. A number of examples are given which serve to distinguish di erent default reasoning systems. It ...
89
Voted
JAR
1998
14 years 9 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
IJCAI
2007
14 years 11 months ago
2007
The temporal boundaries of many real–world events are inherently vague. In this paper, we discuss the problem of qualitative temporal reasoning about such vague events. We show ...