126 search results - page 2 / 26 » Goal Change in the Situation Calculus |
DEON
2004
Springer
13 years 8 months ago
2004
Springer
SPATIALCOGNITION
2004
Springer
13 years 9 months ago
2004
Springer
Abstract. We present first ideas on how results about qualitative spatial reasoning can be exploited in reasoning about action and change. Current work concentrates on a line segm...
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...
EPIA
2001
Springer
13 years 8 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...
LANMR
2007
13 years 5 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...