350 search results - page 1 / 70 » Reasoning About Indefinite Actions |
68
Voted
KR
1992
Springer
15 years 1 months ago
1992
Springer
In this paper, we view planning as a special case of reasoning about indefinite actions. We treat actions as predicates defined over a linear temporal order. This formalism permit...
AAAI
2006
14 years 11 months ago
2006
We investigate the modelling of workflows, plans, and other event-generating processes as discrete event sources and reason about the possibility of having event sequences ending ...
AAAI
2011
13 years 9 months ago
2011
Recently the general Game Description Language (GDL) has been extended so as to cover arbitrary games with incomplete/imperfect information. Learningāwithout human interventionā...
KR
1998
Springer
15 years 1 months ago
1998
Springer
AAAI
2007
14 years 12 months ago
2007
This paper presents a formalism to describe practical reasoning in terms of an Action-based Alternating Transition System (AATS). The starting point is a previously speciļ¬ed acc...