Time structures : formal description and algorithmic representation /
Gardado en:
| Autor Principal: | |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
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.