This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.
M. Aiello , I. E. Pratt-Hartmann and J. F. V. Benthem
2007. In Handbook of Spatial Logics. Springer-Verlag, New York, Inc., Secaucus, NJ, USA.
J. F. Allen
1983. Maintaining knowledge about temporal intervals. Communications of the ACM
D. S. Arnon , G. E. Collins and S. McCallum
1984. Cylindrical algebraic decomposition I: The basic algorithm. SIAM Journal on Computing
M. Bhatt , H. Guesgen , S. Wölfl and S. Hazarika
2011. Qualitative spatial and temporal reasoning: Emerging applications, trends, and directions. Spatial Cognition & Computation
M. Bhatt and S. Loke
2008. Modelling dynamic spatial systems in the situation calculus. Spatial Cognition and Computation
M. Bhatt and J. O. Wallgrün
2014. Geospatial narratives and their spatio-temporal dynamics: Commonsense reasoning for high-level analyses in geographic information systems. ISPRS Int. J. Geo-Information
1996. Solving geometrical constraint systems using CLP based on linear constraint solver. In Artificial Intelligence and Symbolic Mathematical Computation. Springer, 274–288.
D. Bouhineau , L. Trilling and J. Cohen
1999. An application of CLP: Checking the correctness of theorems in geometry. Constraints
P. Cabalar and P. E. Santos
2011. Formalising the fisherman's folly puzzle. Artificial Intelligence
G. E. Collins
1975. Quantifier elimination for real closed fields by cylindrical algebraic decompostion. In Automata Theory and Formal Languages 2nd GI Conference Kaiserslautern, May 20–23, 1975. Springer, 134–183.
G. E. Collins and H. Hong
1991. Partial cylindrical algebraic decomposition for quantifier elimination. Journal of Symbolic Computation
2008. Pouring liquids: A study in commonsense physical reasoning. Artif. Intell.
172 (12–13), 1540–1578.
2011. How does a box work? A study in the qualitative dynamics of solid objects. Artificial Intelligence
L. De Moura and N. Bjørner
2008. Z3: An efficient smt solver. In Tools and Algorithms for the Construction and Analysis of Systems. Springer, 337–340.
2005. Answer sets for propositional theories. In Logic Programming and Nonmonotonic Reasoning. Springer, 119–131.
P. Ferraris , J. Lee and V. Lifschitz
2011. Stable models and circumscription. Artificial Intelligence
2008. Answer sets. In Handbook of Knowledge Representation, Vol. 1. Elsevier, 285.
G. Pesant and M. Boyer
1994. QUAD-CLP (R): Adding the power of quadratic constraints. In Principles and Practice of Constraint Programming. Springer, 95–108.
G. Pesant and M. Boyer
1999. Reasoning about solids using constraint logic programming. Journal of Automated Reasoning
1995. Default reasoning about spatial occupancy. Artificial Intelligence
A. C. Varzi
1996. Parts, wholes, and part-whole relations: The prospects of mereotopology. Data & Knowledge Engineering