Incremental qualitative temporal reasoning: Algorithms for the point algebra and the ORD-Horn class (Q2457656)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Incremental qualitative temporal reasoning: Algorithms for the point algebra and the ORD-Horn class |
scientific article |
Statements
Incremental qualitative temporal reasoning: Algorithms for the point algebra and the ORD-Horn class (English)
0 references
23 October 2007
0 references
qualitative temporal reasoning
0 references
point algebra
0 references
interval algebra
0 references
point calculus
0 references
interval calculus
0 references
constraint satisfaction
0 references
constraint-based reasoning
0 references
incremental reasoning
0 references
tractable reasoning
0 references
0 references
0 references
0 references
