Skip to main content
SpringerLink
Log in

Interval situation calculus

  • Posters
  • Conference paper
  • First Online:
KI-94: Advances in Artificial Intelligence (KI 1994)

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

Included in the following conference series:

  • 193 Accesses

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

Access this chapter

Log in via an institution

Institutional subscriptions

References

  1. M.E.Soutchanski, E.A.Ternovskaia Logical Theory of Concurrent Actions In: Soviet J. of Computer and System Sciences, 1993, V.31 (English version).

    Google Scholar 

  2. J.M.Crawford, D.W.Etherington Formalizing Reasoning About Change: A Qualitative Reasoning Approach. In: 10th AAAI, 1992, 577–583.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Comput. Center of Russian Academy of Sciences, USSR

    Eugenia Ternovskaia

Authors
  1. Eugenia Ternovskaia
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Bernhard Nebel Leonie Dreschler-Fischer

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ternovskaia, E. (1994). Interval situation calculus. In: Nebel, B., Dreschler-Fischer, L. (eds) KI-94: Advances in Artificial Intelligence. KI 1994. Lecture Notes in Computer Science, vol 861. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58467-6_43

Download citation

  • DOI: https://doi.org/10.1007/3-540-58467-6_43

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58467-4

  • Online ISBN: 978-3-540-48979-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation