350 search results - page 1 / 70 » Reasoning About Indefinite Actions |
73
Voted
KR
1992
Springer
15 years 3 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...
70
Voted
AAAI
2006
15 years 10 days 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 ...
77
Voted
AAAI
2011
13 years 11 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ā...
99
Voted
KR
1998
Springer
15 years 3 months ago
1998
Springer
80
Voted
AAAI
2007
15 years 1 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...