Skip to main content
SpringerLink
Log in
Book cover

International Conference on Temporal Logic

ICTL 1994: Temporal Logic pp 543–545Cite as

SCDBR: A reasoner for specifications in the situation calculus of database updates

  • Position Papers and System Descriptions
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 827))

This is a preview of subscription content, log in via an institution.

References

  1. R. Reiter. The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, V. Lifschitz (ed.). Academic Press, 1991, pp. 359–380.

    Google Scholar 

  2. R. Reiter. On Specifying Database Updates. Technical Report KRR-TR-92-3, Department of Computer Science, University of Toronto, 1992

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Escuela de Ingenieria, Departamento de Ciencia de la Computacion, Pontificia Universidad Catolica de Chile, Casilla 306, Santiago 22, Chile

    Leopoldo E. Bertossi & J. Cristian Ferretti

Authors
  1. Leopoldo E. Bertossi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J. Cristian Ferretti
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Dov M. Gabbay Hans Jürgen Ohlbach

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bertossi, L.E., Ferretti, J.C. (1994). SCDBR: A reasoner for specifications in the situation calculus of database updates. In: Gabbay, D.M., Ohlbach, H.J. (eds) Temporal Logic. ICTL 1994. Lecture Notes in Computer Science, vol 827. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014009

Download citation

  • DOI: https://doi.org/10.1007/BFb0014009

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58241-0

  • Online ISBN: 978-3-540-48585-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation