Reasoning about distances

IJCAI International Joint Conference on Artificial Intelligence

Volumn , Issue , 2003, Pages 1275-1280

  Wolter, Frank ^a   Zakharyaschev, Michael ^a  

^a KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL PROPERTIES; SATISFIABILITY-CHECKING ALGORITHMS;

ARTIFICIAL INTELLIGENCE;

EID: 1942424658     PISSN: 10450823     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. N. Adam and A. Gan-gopadhyay. Database Issues in Geographic Information Systems, Kluwer, 1997.
2. F. Baader and U. Sattler. Tableau algorithms for description logics. In R. Dyckhoff, editor, Proceedings of Tableaux 2000, volume 1847 of Lecture Notes in Artificial Intelligence, pages 1-18. Springer, 2000.
3. F. Baader, C. Lutz, H. Sturm, and F. Wolter. Fusions of description logics and abstract description systems. Journal of Artificial Intelligence Research, 16:1-58,2002. (Pubitemid 43057169)
4. F. Baader, D. Calvanese, D. McGuin-ness, D. Nardi, and P. Patel Schneider, editors. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, 2003.
5. T. Bozkaya and Z. Ozsoyoglu. Indexing large metric spaces for similarity search queries. TODS, 24(3):361-404,1999.
6. P. Clote and R. Backofen. Computational Molecular Biology. John Wiley & Sons, 2000.
7. A. Cohn and S. Hazarika. Qualitative spatial representation and reasoning: an overview. Fundamenta Informaticae, 43:2-32, 2001.
8. M. Dunham. Data Mining. Introductory and Advanced Topics. Pearson Education, 2003.
9. G. Hjaltason and H. Samet. Distance browsing in spatial databases. ACM Transactions on Database Systems, 24(2):265-318,1999.
10. I. Horrocks. Using an expressive description logic: FACT or fiction? In A. Cohn, L. Schubert, and S. Shapiro, editors, Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning, pages 636-647,1998.
11. O. Kutz, F. Wolter, and M. Za-kharyaschev. Connecting abstract description systems. In D. Fensel, F. Giunchiglia, D. McGuinness, and A. Williams, editors, Proceedings of the 8th International Conference on Principles of Knowledge Representation and reasoning, pages 215-226. Morgan Kaufmann, 2002.
12. O. Kutz, H. Sturm, N.-Y. Suzuki, F. Wolter, and M. Zakharyaschev. Logics of metric spaces. ACM Transactions on Computational Logic, 2003. In print.
13. J. Matousek. Lectures on Discrete Geometry. Springer, 2002.
14. D. Randell, Z. Cui, and A. Cohn. A spatial logic based on regions and connection. In Proceedings of the 3rd International Conference on Knowledge Representation and Reasoning, pages 165-176. Morgan Kaufmann, 1992.
15. J. Renz and B. Nebel. On the complexity of qualitative spatial reasoning. Artificial Intelligence, 108:69-123,1999.
16. P. Revesz. Introduction to Constraint Databases. Springer Verlag, 2002.
17. G. Salton. Automated Text Processing: The Transformation, Analysis, and Retrieval of Information by Computer. Addison-Wesley, 1989.
18. J. Setubal and J. Meidanis. Introduction to Computational Molecular Biology. PWS Publishing Company, 1997.
19. H. Sturm, N.-Y. Suzuki, F. Wolter, and M. Zakharyaschev. Semi-qualitative reasoning about distances: a preliminary report. In Logics in Artificial Intelligence. Proceedings of JELIA 2000, Malaga, Spain, number 1919 in LNAI, pages 37-56. Springer-Verlag, 2000.