Collective singleton-based consistency for qualitative constraint networks: theory and practice
From MaRDI portal
Publication:2334596
DOI10.1016/j.tcs.2019.02.028zbMath1435.68322OpenAlexW2921069947WikidataQ128243244 ScholiaQ128243244MaRDI QIDQ2334596
Anastasia Paparrizou, Michael Sioutis, Jean-François Condotta
Publication date: 7 November 2019
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2019.02.028
Knowledge representation (68T30) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (3)
On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning ⋮ Dynamic Branching in Qualitative Constraint Networks via Counting Local Models ⋮ Dynamic branching in qualitative constraint-based reasoning via counting local models
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Maintaining knowledge about temporal intervals
- Decomposition and tractability in qualitative spatial and temporal reasoning
- Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class
- A tableau algorithm for description logics with concrete domains and general TBoxes
- On redundant topological constraints
- Reasoning about cardinal directions between extended objects
- Fast algebraic methods for interval constraint problems
- Theoretical analysis of singleton arc consistency and its extensions
- Incremental qualitative temporal reasoning: Algorithms for the point algebra and the ORD-Horn class
- On the consistency of cardinal direction constraints
- Emergence of Scaling in Random Networks
- Dependable reactive event-oriented planning
- Simple Linear-Time Algorithms to Test Chordality of Graphs, Test Acyclicity of Hypergraphs, and Selectively Reduce Acyclic Hypergraphs
- Weak Composition for Qualitative Spatial and Temporal Reasoning
- A Canonical Model of the Region Connection Calculus
- Complexity and algorithms for reasoning about time
- Neighbourhood SAC: Extensions and new algorithms
- Tractability Results in the Block Algebra
- Learning Relational Event Models from Video
This page was built for publication: Collective singleton-based consistency for qualitative constraint networks: theory and practice
