Time structures : formal description and algorithmic representation /
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
c1996.
|
| Series: | Lecture notes in computer science ;
1047. Lecture notes in computer science. Lecture notes in artificial intelligence. |
| Subjects: |
Table of Contents:
- 1. Introduction
- 2. Description of time structures in the first order predicate calculus
- 3. Modal temporal logics and description of time structures
- 4. Temporal reasoning algorithms
- 5. Formalization of the constraint propagation algorithm
- 6. Translations of Allen's calculi into modal temporal logic.