Collective singleton-based consistency for qualitative constraint networks: theory and practice

DOI10.1016/J.TCS.2019.02.028MaRDI QIDQ2334596zbMATH OpenOpenAlexWikidataFDO

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

zbMATH Keywords

temporal reasoningspatial reasoningqualitative constraint networksingleton-style consistency

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Knowledge representation (68T30)

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

Cites work

• scientific article; zbMATH DE number 67483 (Why is no real title available?)
• scientific article; zbMATH DE number 140366 (Why is no real title available?)
• scientific article; zbMATH DE number 1149417 (Why is no real title available?)
• scientific article; zbMATH DE number 2084731 (Why is no real title available?)
• scientific article; zbMATH DE number 1753151 (Why is no real title available?)
• A canonical model of the region connection calculus
• A tableau algorithm for description logics with concrete domains and general TBoxes
• Collective singleton-based consistency for qualitative constraint networks
• Complexity and algorithms for reasoning about time
• Decomposition and tractability in qualitative spatial and temporal reasoning
• Dependable reactive event-oriented planning
• Emergence of Scaling in Random Networks
• Fast algebraic methods for interval constraint problems
• Incremental qualitative temporal reasoning: Algorithms for the point algebra and the ORD-Horn class
• Learning relational event models from video
• Maintaining knowledge about temporal intervals
• Neighbourhood SAC: extensions and new algorithms
• On redundant topological constraints
• On the consistency of cardinal direction constraints
• Reasoning about cardinal directions between extended objects
• Simple Linear-Time Algorithms to Test Chordality of Graphs, Test Acyclicity of Hypergraphs, and Selectively Reduce Acyclic Hypergraphs
• Solving hard qualitative temporal reasoning problems: Evaluating the efficiency of using the ORD-Horn class
• Theoretical analysis of singleton arc consistency and its extensions
• Tractability Results in the Block Algebra
• Weak Composition for Qualitative Spatial and Temporal Reasoning

Cited in

(5)

• 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
• 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)