Interval situation calculus

  • Eugenia Ternovskaia
Part of the Lecture Notes in Computer Science book series (LNCS, volume 861)


  1. [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. [2]
    J.M.Crawford, D.W.Etherington Formalizing Reasoning About Change: A Qualitative Reasoning Approach. In: 10th AAAI, 1992, 577–583.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1994

Authors and Affiliations

  • Eugenia Ternovskaia
    • 1
  1. 1.Comput. Center of Russian Academy of SciencesUSSR

Personalised recommendations