This article gives the logical foundations for the situations-as-histories variant of the situation calculus, focusing on the following items:The language of the situation calculus.Foundational axioms for the domain of situations.Axioms for an underlying domain theory.The syntax and semantics of the logic programming language GOLOG.Axioms for knowledge and sensing actions.Essential metatheoretic results about the situation calculus
In the first part of the paper, we investigate the relationship between the action description langu...
In the first part of the paper, we investigate the relationship between the action description langu...
AbstractWe address the problem of representing common sense knowledge about action domains in the fo...
This article gives the logical foundations for the situations-as-histories variant of the situation ...
This chapter covers general background material for the thesis and provides a brief overview of the ...
This chapter covers general background material for the thesis and provides a brief overview of the ...
A version of the Situation Calculus is presented which is able to deal with information about the ac...
The situation calculus (SC) is a formalism for reasoning about action. Within SC, the notion of stat...
In a recent paper, we presented a new logic called ES for reasoning about the knowledge, action, and...
We propose, and axiomatize, an extended version of the situation calculus [12] for temporal reasonin...
We extend the ontology of the situation calculus to provide for the representation of time and even...
Foundations of The Situation Calculus Reasoning about situations Basic theories of actions Regressio...
AbstractIn this paper, to compare the situation calculus and event calculus we formulate both as log...
Formalization of knowledge is an important aspect of reasoning about change. We review how knowledge...
Situation semantics was developed as an alternative to possible-worlds semantics. While possible-wor...
In the first part of the paper, we investigate the relationship between the action description langu...
In the first part of the paper, we investigate the relationship between the action description langu...
AbstractWe address the problem of representing common sense knowledge about action domains in the fo...
This article gives the logical foundations for the situations-as-histories variant of the situation ...
This chapter covers general background material for the thesis and provides a brief overview of the ...
This chapter covers general background material for the thesis and provides a brief overview of the ...
A version of the Situation Calculus is presented which is able to deal with information about the ac...
The situation calculus (SC) is a formalism for reasoning about action. Within SC, the notion of stat...
In a recent paper, we presented a new logic called ES for reasoning about the knowledge, action, and...
We propose, and axiomatize, an extended version of the situation calculus [12] for temporal reasonin...
We extend the ontology of the situation calculus to provide for the representation of time and even...
Foundations of The Situation Calculus Reasoning about situations Basic theories of actions Regressio...
AbstractIn this paper, to compare the situation calculus and event calculus we formulate both as log...
Formalization of knowledge is an important aspect of reasoning about change. We review how knowledge...
Situation semantics was developed as an alternative to possible-worlds semantics. While possible-wor...
In the first part of the paper, we investigate the relationship between the action description langu...
In the first part of the paper, we investigate the relationship between the action description langu...
AbstractWe address the problem of representing common sense knowledge about action domains in the fo...