AAAI
2006
13 years 6 months ago
2006
The Situation Calculus and the Fluent Calculus are successful action formalisms that share many concepts. But until now there is no formal relation between the two calculi that wo...
LANMR
2007
13 years 6 months ago
2007
This paper presents a system that controls the behavior of a mobile robot. The system is based on situation calculus, the initial state is described and a goal is given, Prolog pro...
IFIP8
2007
13 years 6 months ago
2007
Business Process Verification (BPV) is increasingly important in emerging BPM Systems. Although many approaches related to BPV exist, the gap between formal models defined in previ...
TIME
1994
IEEE
13 years 8 months ago
1994
IEEE
Pinto and Reiter have argued that the Situation Calculus, improved with time handling axioms, subsumes the features of linear time temporal formalisms such as Event Calculus and I...
TIME
1994
IEEE
13 years 8 months ago
1994
IEEE
The frame problem was originally de ned in the context of the situation calculus. The problem also manifests itself in more sophisticated temporal logics that can represent interv...
KR
1998
Springer
13 years 8 months ago
1998
Springer
Our concern in this paper is with conjecturing diagnoses to explain what happened to a system, given a theory of system behaviour and some observed (aberrant) behaviour. We charac...
KR
1998
Springer
13 years 8 months ago
1998
Springer
A theory is elaboration tolerant to the extent that new information can be incorporated with only simple changes. The simplest change is conjoining new information, and only conju...
KR
1998
Springer
13 years 8 months ago
1998
Springer
This work is motivated by the existence of two useful but quite different knowledge representation formalisms, the situation calculus due to McCarthy, and the logic OL of only kno...
HICSS
1998
IEEE
13 years 8 months ago
1998
IEEE
We utilize the situation calculus to develop a logical model of hypertext systems. The work builds upon the earlier work of Bieber and Kimbrough in the logical modeling of hyperte...
EPIA
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. The situation calculus, originally conceived by John McCarthy, is one of the main representation languages in artificial intelligence. The original papers introducing th...