zbMATH — the first resource for mathematics

Three recent approaches to temporal reasoning. (English) Zbl 0663.68103
Temporal logics and their applications, 121-168 (1987).
[For the entire collection see Zbl 0656.00027.]
The explicit reference to the time structure of the occurrence of events is of growing importance for computer applications. Therefore, special systems have been proposed to handle that matter. Here, three such approaches are explained: those ones of R. Kowalski and M. Sergot [New Generation Comput. 4, 67-95 (1986)], of R. M. Lee, H. Coelho and J. C. Cotta [Inf. Syst. 10, 197-206 (1985)], and of J. F. Allen [Artif. Intell. 23, 123-154 (1984; Zbl 0567.68025)]. They are each introduced by examples, basically described in the style of logic programming, and to some extent compared with each other.
Reviewer: S.Gottwald

68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
03B70 Logic in computer science
03B45 Modal logic (including the logic of norms)
68N99 Theory of software
68P20 Information storage and retrieval of data