A Study in the Computational Complexity of Temporal Reasoning
Reasoning about temporal and spatial information is a common task in computer science, especially in the field of artificial intelligence. The topic of this thesis is the study of such reasoning from a computational perspective. We study a number of different qualitative point based formalisms for t...
| Main Author: | |
|---|---|
| Format: | Doctoral Thesis |
| Language: | English |
| Published: |
Linköpings universitet, TCSLAB - Laboratoriet för teoretisk datalogi
2002
|
| Subjects: | |
| Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-4984 http://nbn-resolving.de/urn:isbn:91-7373-440-3 |