Situation calculus

Known as: GOLOG, Successor state axiom 
The situation calculus is a logic formalism designed for representing and reasoning about dynamical domains. It was first introduced by John McCarthy… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2001
2001
In this article we propose a Probabilistic Situation Calculus logical language to represent and reason with knowledge about… (More)
  • figure 1
Is this relevant?
Highly Cited
2000
Highly Cited
2000
John McCarthy’s situation calculus has left an enduring mark on artificial intelligence research. This simple yet elegant… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2000
Highly Cited
2000
We propose a framework for robot programming which allows the seamless integration of explicit agent programming with decision… (More)
  • figure 1
Is this relevant?
Highly Cited
1999
Highly Cited
1999
We focus on a rich axiomatization for actions in the situation calculus that includes, among other features, a solution to the… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Successor state axioms provide a solution to the famous Frame Problem as far as the representational aspect is concerned. Solving… (More)
Is this relevant?
Highly Cited
1998
Highly Cited
1998
The publishers will keep this article on-line on the Internet (or its possible replacement network in the future) for a period of… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Our focus in this paper is on natural exoge-nous actions (Pinto 23]), namely those which occur in response to known laws of… (More)
Is this relevant?
Highly Cited
1994
Highly Cited
1994
A narrative is a course of real events about which we might have incomplete information. Formalisms for reasoning about action… (More)
Is this relevant?
Highly Cited
1993
Highly Cited
1993
We propose, and axiomatize, an extended version of the situation calculus 10] for temporal reasoning in a logic programming… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Most of the solutions proposed to the Yale shooting problem have either introduced new nonmonotonic reasoning methods (generally… (More)
Is this relevant?