Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class
From MaRDI portal
Publication:679419
DOI10.1007/BF00137869zbMath0870.68138MaRDI QIDQ679419
Publication date: 22 April 1997
Published in: Constraints (Search for Journal in Brave)
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Related Items
A complete classification of tractability in Allen's algebra relative to subsets of basic relations, Twenty-one large tractable subclasses of Allen's algebra, A new approach to cyclic ordering of 2D orientations using ternary relation algebras
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Maintaining knowledge about temporal intervals
- Temporally distributed symptoms in technical diagnosis
- Networks of constraints: Fundamental properties and applications to picture processing
- Complexity and algorithms for reasoning about time
- On binary constraint problems
- Reasoning about temporal relations