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.

Action Languages, Temporal Action Logics and the Situation Calculus.

Title:Action Languages, Temporal Action Logics and the Situation Calculus.
Authors: Enrico Giunchiglia and Vladimir Lifschitz
Series:Linköping Electronic Articles in Computer and Information Science
ISSN 1401-9841
Issue:Vol. 4(1999), number not yet determined
URL: http://www.ep.liu.se/ea/cis/1999/

Abstract: In the first part of the paper, we investigate the relationship between the action description language  C  and the situation calculus. Action description languages are based on the model of time that includes only two time instants: 0 for the beginning of the execution of an action and 1 for the end. The ontology of time in the situation calculus is much more elaborate. We show how to bridge the gap between these two ontologies by defining a translation from  C  into the situation calculus. The second part of the paper relates  C  to the formalism of temporal action logics (TAL) by showing how a fragment of  C  can be embedded into TAL.

Keywords:

(Publication date not yet set) 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