Collective singleton-based consistency for qualitative constraint networks: theory and practice
DOI10.1016/J.TCS.2019.02.028zbMATH Open1435.68322OpenAlexW2921069947WikidataQ128243244 ScholiaQ128243244MaRDI QIDQ2334596FDOQ2334596
Authors: Michael Sioutis, Anastasia Paparrizou, 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
Recommendations
- Collective singleton-based consistency for qualitative constraint networks
- On the utility of neighbourhood singleton-style consistencies for qualitative constraint-based spatial and temporal reasoning
- On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning
- scientific article; zbMATH DE number 2080318
- Theoretical analysis of singleton arc consistency and its extensions
Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30)
Cites Work
- Maintaining knowledge about temporal intervals
- Emergence of Scaling in Random Networks
- Weak Composition for Qualitative Spatial and Temporal Reasoning
- 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
- A canonical model of the region connection calculus
- Simple Linear-Time Algorithms to Test Chordality of Graphs, Test Acyclicity of Hypergraphs, and Selectively Reduce Acyclic Hypergraphs
- Title not available (Why is that?)
- Fast algebraic methods for interval constraint problems
- On the consistency of cardinal direction constraints
- Complexity and algorithms for reasoning about time
- Tractability Results in the Block Algebra
- Reasoning about cardinal directions between extended objects
- Title not available (Why is that?)
- Theoretical analysis of singleton arc consistency and its extensions
- Title not available (Why is that?)
- Incremental qualitative temporal reasoning: Algorithms for the point algebra and the ORD-Horn class
- Title not available (Why is that?)
- Dependable reactive event-oriented planning
- Title not available (Why is that?)
- Neighbourhood SAC: extensions and new algorithms
- Learning relational event models from video
- On redundant topological constraints
- Collective singleton-based consistency for qualitative constraint networks
Cited In (5)
- Dynamic Branching in Qualitative Constraint Networks via Counting Local Models
- On neighbourhood singleton-style consistencies for qualitative spatial and temporal reasoning
- Dynamic branching in qualitative constraint-based reasoning via counting local models
- Collective singleton-based consistency for qualitative constraint networks
- On the utility of neighbourhood singleton-style consistencies for qualitative constraint-based spatial and temporal reasoning
This page was built for publication: Collective singleton-based consistency for qualitative constraint networks: theory and practice
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2334596)
