Structure and interpretation of computer programs
Structure and interpretation of computer programs
The early years of logic programming
Communications of the ACM
Real quantifier elimination is doubly exponential
Journal of Symbolic Computation
Some algebraic and geometric computations in PSPACE
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
Geometric and solid modeling: an introduction
Geometric and solid modeling: an introduction
Partial Cylindrical Algebraic Decomposition for quantifier elimination
Journal of Symbolic Computation
The CLP( R ) language and system
ACM Transactions on Programming Languages and Systems (TOPLAS)
Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Computational real algebraic geometry
Handbook of discrete and computational geometry
Relations algebras in qualitative spatial reasoning
Fundamenta Informaticae
Hauptvortrag: Quantifier elimination for real closed fields by cylindrical algebraic decomposition
Proceedings of the 2nd GI Conference on Automata Theory and Formal Languages
Using Orientation Information for Qualitative Spatial Reasoning
Proceedings of the International Conference GIS - From Space to Territory: Theories and Methods of Spatio-Temporal Reasoning on Theories and Methods of Spatio-Temporal Reasoning in Geographic Space
History of programming languages---II
Constraint logic programming over sets of spatial objects
Proceedings of the 2005 ACM SIGPLAN workshop on Curry and functional logic programming
Handbook of Spatial Logics
Handbook of Knowledge Representation
Handbook of Knowledge Representation
Representing Relative Direction as a Binary Relation of Oriented Points
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
What is answer set programming?
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 3
On generalizing orientation information in OPRAm
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Spatio-terminological inference for the design of ambient environments
COSIT'09 Proceedings of the 9th international conference on Spatial information theory
Qualitative reasoning with directional relations
Artificial Intelligence
A constraint satisfaction framework for executing perceptions and actions in diagrammatic reasoning
Journal of Artificial Intelligence Research
Quantifier elimination for constraint logic programming
CASC'05 Proceedings of the 8th international conference on Computer Algebra in Scientific Computing
SC'04 Proceedings of the 4th international conference on Spatial Cognition: reasoning, Action, Interaction
Exploiting qualitative spatial reasoning for topological adjustment of spatial data
Proceedings of the 20th International Conference on Advances in Geographic Information Systems
Transactions on Computational Collective Intelligence IX
Ontological modelling of form and function for architectural design
Applied Ontology
| Hi-index | 0.00 |
We propose CLP(QS), a declarative spatial reasoning framework capable of representing and reasoning about high-level, qualitative spatial knowledge about the world. We systematically formalize and implement the semantics of a range of qualitative spatial calculi using a system of non-linear polynomial equations in the context of a classical constraint logic programming framework. Whereas CLP(QS) is a general framework, we demonstrate its applicability for the domain of Computer Aided Architecture Design. With CLP(QS) serving as a prototype, we position declarative spatial reasoning as a general paradigm open to other formalizations, reinterpretations, and extensions. We argue that the accessibility of qualitative spatial representation and reasoning mechanisms via the medium of high-level, logic-based formalizations is crucial for their utility toward solving real-world problems.