Temporary registration page before publication by Linköping University Electronic Press, series Computer and Information Science
The following article is intended to be published shortly by Linköping University Electronic Press. The present page gives access to the article, but does not provide the guarantees of persistence.

Foundations for the Situation Calculus.

Title:Foundations for the Situation Calculus.
Authors: Hector Levesque, Fiora Pirri, and Ray Reiter
Series:Linköping Electronic Articles in Computer and Information Science
ISSN 1401-9841
Issue:Vol. 3(1998): nr 018
URL: http://www.ep.liu.se/ea/cis/1998/018/
Abstract: 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.
Keywords:
Intended publication 1998-12-22 Postscript
Info from authors  
Third-party information  
[About LiEP] [About Checksum validation] [About compression formats]
Editor-in-chief: editor@ep.liu.se
Webmaster: webmaster@ep.liu.se 		29-Jun-98 16:48