Qualitative constraint satisfaction problems: An extended framework with landmarks

No abstract is available for this paper.

• Publication year

  2013

• Venue

  Artificial Intelligence

• Publication date

  2013-08-01

• Fields of study

  Mathematics, Computer Science

• Identifiers
  DOI 10.1016/J.ARTINT.2013.05.006
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Complexity Classification in Infinite-Domain Constraint Satisfaction

  2012cited by this paper
• Here, There, but Not Everywhere: An Extended Framework for Qualitative Constraint Satisfaction

  2012cited by this paper
• Solving Qualitative Constraints Involving Landmarks

  2011cited by this paper
• Complexity of conservative constraint satisfaction problems

  2011cited by this paper
• Reasoning about cardinal directions between extended objects: The NP-hardness result

  2010cited by this paper
• Including landmarks in routing instructions

  2010cited by this paper
• Qualitative reasoning with directional relations

  2010cited by this paper
• The LAMA Planner: Guiding Cost-Based Anytime Planning with Landmarks

  2010cited by this paper
• A Divide-and-Conquer Approach for Solving Interval Algebra Networks

  2009cited by this paper
• Reasoning about cardinal directions between extended objects

  2009cited by this paper
• Landmarks, Critical Paths and Abstractions: What's the Difference Anyway?

  2009cited by this paper
• REASONING WITH TOPOLOGICAL AND DIRECTIONAL SPATIAL INFORMATION

  2009cited by this paper
• On Combinations of Binary Qualitative Constraint Calculi

  2009cited by this paper
• Covariant Policy Search

  2009cited by this paper
• Qualitative Spatial Reasoning

  2008cited by this paper
• Automatic generation of tourist maps

  2008cited by this paper
• Modelling and solving temporal reasoning as propositional satisfiability

  2008cited by this paper
• Qualitative Spatial Reasoning Using Constraint Calculi

  2007cited by this paper
• Combining Topological and Directional Information for Spatial Reasoning

  2007cited by this paper
• RCC8 binary constraint network can be consistently extended

  2006cited by this paper
• On Topological Consistency and Realization

  2006cited by this paper
• Classifying the Complexity of Constraints Using Finite Algebras

  2005cited by this paper
• Point algebras for temporal reasoning: Algorithms and complexity

  2003cited by this paper
• Combining topological and size information for spatial reasoning

  2002cited by this paper
• Computational Geometry: Algorithms and Applications, Second Edition

  2000cited by this paper
• Modes of Connection

  1999cited by this paper
• On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus

  1999cited by this paper
• A Finite Relation Algebra with Undecidable Network Satisfaction Problem

  1999cited by this paper
• Reasoning about Cardinal Directions

  1998influential reference
• Graph Theory

  1997cited by this paper
• Closure properties of constraints

  1997cited by this paper
• A Canonical Model of the Region Connection Calculus

  1997cited by this paper
• Computational geometry: algorithms and applications

  1997cited by this paper
• A Pointless Theory of Space Based on Strong Connection and Congruence

  1996cited by this paper
• Computational Properties of Qualitative Spatial Reasoning: First Results

  1995cited by this paper
• Qualitative representation of spatial knowledge in two-dimensional space

  1994cited by this paper
• Reasoning about qualitative temporal information

  1994influential reference
• Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra

  1994cited by this paper
• Qualitative Triangulation for Spatial Reasoning

  1993cited by this paper
• A Spatial Logic based on Regions and Connection

  1992cited by this paper
• Qualitative Spatial Reasoning with Cardinal Directions

  1991influential reference
• Qualitative Spatial Reasoning: The Clock Project

  1991cited by this paper
• Constraint Propagation Algorithms for Temporal Reasoning

  1986cited by this paper
• Constraint Satisfaction

  1985cited by this paper
• Maintaining knowledge about temporal intervals

  1983cited by this paper
• Networks of constraints: Fundamental properties and applications to picture processing

  1974cited by this paper
• The Image of the City

  1960cited by this paper
• , Knowledge Representation and Reasoning Group

  year unknowncited by this paper

• Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Version)

  2025cites this paper
• Concrete Domains Meet Expressive Cardinality Restrictions in Description Logics (Extended Abstract)

  2025cites this paper
• A Logical–Algebraic Approach to Revising Formal Ontologies: Application in Mereotopology

  2024cites this paper
• Qualitative spatial reasoning with uncertain evidence using Markov logic networks

  2023cites this paper
• Perceptionality of religious buildings in Trabzon’s main pedestrian ways

  2022cites this paper
• Qualitative Spatial and Temporal Reasoning: Current Status and Future Challenges

  2021cites this paper
• Efficient static compaction of test patterns using partial maximum satisfiability

  2021cites this paper
• A new distributed algorithm for efficient generalized arc-consistency propagation

  2018cites this paper
• Constants and finite unary relations in qualitative constraint reasoning

  2018influential citation
• Algorithmic Contributions to Qualitative Constraint-based Spatial and Temporal Reasoning. (Contributions Algorithmiques au Raisonnement Spatial et Temporel basé sur des Contraintes Qualitatives)

  2017influential citation
• Exploring Directional Path-Consistency for Solving Constraint Networks

  2017cites this paper
• Power System Fault Reasoning and Diagnosis Based on the Improved Temporal Constraint Network

  2016cites this paper
• Qualitative Spatial Logics for Buffered Geometries

  2016cites this paper
• Qualitative Spatio-Temporal Stream Reasoning with Unobservable Intertemporal Spatial Relations Using Landmarks

  2016cites this paper
• A Survey of Qualitative Spatial and Temporal Calculi

  2016cites this paper
• Querying incomplete information in RDF with SPARQL

  2016cites this paper
• An Efficient Approach for Tackling Large Real World Qualitative Spatial Networks

  2016cites this paper
• Qualitative Spatial Logics for Bu↵ered Geometries

  2016cites this paper
• On tree-preserving constraints

  2015cites this paper
• Integrative representation and inference of qualitative locations about points, lines, and polygons

  2015cites this paper
• Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method

  2015cites this paper
• On redundant topological constraints

  2014influential citation
• A Reasoner for the RCC-5 and RCC-8 Calculi Extended with Constants

  2014influential citation
• Qualitative Spatial and Temporal Reasoning with AND/OR Linear Programming

  2014cites this paper
• Reasoning about Topological and Cardinal Direction Relations Between 2-Dimensional Spatial Objects

  2014cites this paper