Automatic text processing: the transformation, analysis, and retrieval of information by computer
Automatic text processing: the transformation, analysis, and retrieval of information by computer
Distance browsing in spatial databases
ACM Transactions on Database Systems (TODS)
Indexing large metric spaces for similarity search queries
ACM Transactions on Database Systems (TODS)
Introduction to constraint databases
Introduction to constraint databases
Database Issues in Geographic Information Systems
Database Issues in Geographic Information Systems
Data Mining: Introductory and Advanced Topics
Data Mining: Introductory and Advanced Topics
Lectures on Discrete Geometry
ACM Transactions on Computational Logic (TOCL)
Tableau Algorithms for Description Logics
TABLEAUX '00 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
The description logic handbook: theory, implementation, and applications
The description logic handbook: theory, implementation, and applications
Fusions of description logics and abstract description systems
Journal of Artificial Intelligence Research
Qualitative Spatial Representation and Reasoning: An Overview
Fundamenta Informaticae - Qualitative Spatial Reasoning
ε-connections of abstract description systems
Artificial Intelligence
Tableau calculus for the logic of comparative similarity over arbitrary distance spaces
LPAR'10 Proceedings of the 17th international conference on Logic for programming, artificial intelligence, and reasoning
Automated reasoning about metric and topology
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Comparative similarity, tree automata, and diophantine equations
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
A calculus for shapes in time and space
ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Spatio-temporal model checking for mobile real-time systems
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
| Hi-index | 0.00 |
The paper presents a novel expressive logic-based formalism intended for reasoning about numerical distances. We investigate its computational properties (in particular, show that it is EXPTIME-complete) and devise a tableau-based satisfiability-checking algorithm. To be able to express knowledge about implicit or unknown distances, we then extend the language with variables ranging over distances and prove that the resulting logic is decidable as well.