Leveraging Variable Elimination for Efficiently Reasoning about Qualitative Constraints

We introduce, study, and evaluate a novel algorithm in the context of qualitative constraint-based spatial and temporal reasoning that is based on the idea of variable elimination, a simple and gen ...

[1]  Rina Dechter,et al.  Network-Based Heuristics for Constraint-Satisfaction Problems , 1987, Artif. Intell..

[2]  Lenhart K. Schubert,et al.  The Temporal Reasoning Tools TimeGraph I-II , 1995, Int. J. Artif. Intell. Tools.

[3]  Pascal Van Hentenryck,et al.  Constraint Satisfaction over Connected Row Convex Constraints , 1997, Artif. Intell..

[4]  Jochen Renz,et al.  A Canonical Model of the Region Connection Calculus , 1997, J. Appl. Non Class. Logics.

[5]  Robert E. Tarjan,et al.  Simple Linear-Time Algorithms to Test Chordality of Graphs, Test Acyclicity of Hypergraphs, and Selectively Reduce Acyclic Hypergraphs , 1984, SIAM J. Comput..

[6]  Yuanlin Zhang,et al.  Solving connected row convex constraints by variable elimination , 2009, Artif. Intell..

[7]  Anthony G. Cohn,et al.  Learning Relational Event Models from Video , 2015, J. Artif. Intell. Res..

[8]  Peter van Beek,et al.  The design and experimental analysis of algorithms for temporal reasoning , 1996 .

[9]  Bernhard Nebel,et al.  Efficient Methods for Qualitative Spatial Reasoning , 2001, J. Artif. Intell. Res..

[10]  Ugo Montanari,et al.  Networks of constraints: Fundamental properties and applications to picture processing , 1974, Inf. Sci..

[11]  Albert,et al.  Emergence of scaling in random networks , 1999, Science.

[12]  Alfonso Gerevini,et al.  Incremental qualitative temporal reasoning: Algorithms for the Point Algebra and the ORD-Horn class , 2005, Artif. Intell..

[13]  Alexander Reinefeld,et al.  Fast algebraic methods for interval constraint problems , 1997, Annals of Mathematics and Artificial Intelligence.

[14]  Gérard Ligozat,et al.  Reasoning about Cardinal Directions , 1998, J. Vis. Lang. Comput..

[15]  Alfred Tarski,et al.  Relational selves as self-affirmational resources , 2008 .

[16]  Spiros Skiadopoulos,et al.  On the consistency of cardinal direction constraints , 2005, Artif. Intell..

[17]  Peter van Beek,et al.  Reasoning About Qualitative Temporal Information , 1990, Artif. Intell..

[18]  Jean-François Condotta,et al.  An Efficient Approach for Tackling Large Real World Qualitative Spatial Networks , 2016, Int. J. Artif. Intell. Tools.

[19]  Rina Dechter,et al.  Temporal Constraint Networks , 1989, Artif. Intell..

[20]  Federico Pecora,et al.  A robot sets a table: a case for hybrid reasoning with different types of knowledge , 2016, J. Exp. Theor. Artif. Intell..

[21]  Ron Shamir,et al.  Complexity and algorithms for reasoning about time: a graph-theoretic approach , 1993, JACM.

[22]  Sanjiang Li,et al.  Reasoning about cardinal directions between extended objects , 2009, Artif. Intell..

[23]  Sanjiang Li,et al.  On Topological Consistency and Realization , 2006, Constraints.

[24]  James F. Allen.  Maintaining knowledge about temporal intervals , 1983, CACM.

[25]  Carsten Lutz,et al.  A Tableau Algorithm for Description Logics with Concrete Domains and General TBoxes , 2007, Journal of Automated Reasoning.

[26]  Rina Dechter,et al.  From Local to Global Consistency , 1990, Artif. Intell..

[27]  Alia I. Abdelmoty,et al.  Episodes in Space: Qualitative Representation and Reasoning Over Spatio-Temporal Objects , 2000, Int. J. Artif. Intell. Tools.

[28]  Luis Fariñas del Cerro,et al.  Tractability Results in the Block Algebra , 2002, J. Log. Comput..

[29]  D. R. Fulkerson,et al.  Incidence matrices and interval graphs , 1965 .

[30]  Sanjiang Li,et al.  On redundant topological constraints , 2014, Artif. Intell..

[31]  Huaiqing Wang,et al.  RCC8 binary constraint network can be consistently extended , 2006, Artif. Intell..