On the Complexity of Qualitative Spatial Reasoning: A Maximal Tractable Fragment of the Region Connection Calculus

[1]  John L. Pollock,et al.  Basic modal logic , 1967, Journal of Symbolic Logic.

[2]  Stephen A. Cook,et al.  The complexity of theorem-proving procedures , 1971, STOC.

[3]  Lawrence J. Henschen,et al.  Unit Refutations and Horn Sets , 1974, JACM.

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

[5]  Krister Segerberg,et al.  An Introduction to Modal Logic , 1977 .

[6]  Alan K. Mackworth.  Consistency in Networks of Relations , 1977, Artif. Intell..

[7]  Thomas J. Schaefer,et al.  The complexity of satisfiability problems , 1978, STOC.

[8]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[9]  R. Labrecque.  The Correspondence Theory , 1978 .

[10]  M. Fitting.  Proof Methods for Modal and Intuitionistic Logics , 1983 .

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

[12]  Eugene C. Freuder,et al.  The Complexity of Some Polynomial Network Consistency Algorithms for Constraint Satisfaction Problems , 1985, Artif. Intell..

[13]  Henry A. Kautz,et al.  Constraint propagation algorithms for temporal reasoning: a revised report , 1989 .

[14]  Max J. Egenhofer,et al.  Reasoning about Binary Topological Relations , 1991, SSD.

[15]  R. Dechter.  to Constraint Satisfaction , 1991 .

[16]  Anthony G. Cohn,et al.  Computing Transivity Tables: A Challenge For Automated Theorem Provers , 1992, CADE.

[17]  Anthony G. Cohn,et al.  A Spatial Logic based on Regions and Connection , 1992, KR.

[18]  Anthony G. Cohn,et al.  Qualitative Simulation Based on a Logical Formalism of Space and Time , 1992, AAAI.

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

[20]  W. Maab,et al.  Vitra guide: multimodal route descriptions for computer assisted vehicle navigation , 1993 .

[21]  Gopalan Nadathur,et al.  Handbook of Logic in Artificial Intelligence and Logic Programming, Volume2, Deduction Methodologies , 1994, Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 2.

[22]  Peter B. Ladkin,et al.  On binary constraint problems , 1994, JACM.

[23]  Bernhard Nebel,et al.  Computational Properties of Qualitative Spatial Reasoning: First Results , 1995, KI.

[24]  Bernhard Nebel,et al.  Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra , 1994, JACM.

[25]  Dimitris Papadias,et al.  Topological Inference , 1995, IJCAI.

[26]  Brandon Bennett,et al.  Modal Logics for Qualitative Spatial Reasoning , 1996, Log. J. IGPL.

[27]  Anthony G. Cohn,et al.  Qualitative Spatial Representation and Reasoning Techniques , 1997, KI.

[28]  Brandon Bennett,et al.  Logical representations for automated reasoning about spatial relationships , 1997 .

[29]  Anthony G. Cohn,et al.  Combining multiple representations in a spatial reasoning system , 1997, Proceedings Ninth IEEE International Conference on Tools with Artificial Intelligence.

[30]  B. Bennett,et al.  When does a Composition Table Provide a Complete and TractableProof Procedure for a Relational Constraint Language ? , 1997 .

[31]  Peter Jonsson,et al.  A Complete Classification of Tractability in RCC-5 , 1997, J. Artif. Intell. Res..

[32]  Alfonso Gerevini,et al.  Combining Topological and Qualitative Size Constraints for Spatial Reasoning , 1998, CP.

[33]  Volker Haarslev,et al.  Foundations of Spatioterminological Reasoning with Description Logics , 1998, KR.

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

[35]  D. Randell,et al.  Exploring Naive Topology : modelling the force pump , .