CASL specifications of qualitative calculi

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3693 LNCS, Issue , 2005, Pages 200-217

  Wölfl, Stefan ^a   Mossakowski, Till ^b  

^a UNIVERSITY OF FREIBURG   (Germany)

^b UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; INFORMATION THEORY; NUMERICAL METHODS; TOPOLOGY;

ALLEN'S INTERVAL CALCULUS; FRANK'S CARDINAL DIRECTION CALCULUS;

ALGEBRA;

EID: 33646136249     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11556114_13     Document Type: Conference Paper

References (24)

1. J. F. Allen. Maintaining knowledge about temporal intervals. Communications of the ACM, 26(11):832-843, 1983.
2. B. Bennett. Logical Representations for Automated Reasoning about Spatial Relationships. PhD thesis, School of Computer Studies, The University of Leeds, 1997.
3. B. Bennett, A. Isli, and A. G. Cohn. When does a composition table provide a complete and tractable proof procedure for a relational constraint language? In Proceedings of the IJCAI97 Workshop on Spatial and Temporal Reasoning, Nagoya, Japan, 1997.
4. M. Bidoit and P. D. Mosses. CASL User Manual. Lecture Notes in Computer Science. Springer, 2004.
5. M. Broxvall. The point algebra for branching time revisited. In Proceedings of the Joint German/Austrian Conference on Artificial Intelligence (KI-2001), pages 106-121, Sep 2001.
6. M. Broxvall and P. Jonsson. Towards a complete classification of tractability in point algebras for nonlinear time. In Proceedings of the 5th International Conference on Principles and Practice of Constraint Programming (CP-99), pages 129-143, Alexandria, VA, USA, 1999.
7. A. G. Cohn, B. Bennett, J. M. Gooday, and N. Gotts. RCC: A calculus for region based qualitative spatial reasoning. GeoInformatica, 1:275-316, 1997.
8. I. Düntsch, H. Wang, and S. McCloskey. Relation algebras in qualitative spatial reasoning. Fundamenta Informaticae, 39(3):229-249, 1999.
9. M. J. Egenhofer. Reasoning about binary topological relations. In O. Günther and H.-J. Schek, editors, Proceedings of the Second Symposium on Large Spatial Databases. SSD'91 (Zürich, Switzerland), Lecture Notes in Computer Science 525, pages 143-160. Springer, 1991.
10. M. J. Egenhofer and R. D. Franzosa. Point set topological relations. International Journal of Geographical Information Systems, 5:161-174, 1991.
11. A. U. Frank. Qualitative spatial reasoning with cardinal directions. In H. Kaindl, editor, Proceedings of the Seventh Austrian Conference on Artificial Intelligence, Informatik-Fachberichte 287, pages 157-167. Springer, 1991.
12. A. U. Frank. One step up the abstraction ladder: Combining algebras - from functional pieces to a whole. In C. Freksa and D. M. Mark, editors, Spatial Information Theory: Cognitive and Computational Foundations of Geographic Information Science, International Conference COSIT '99, Stade, Germany, August 25-29, 1999, Proceedings, Lecture Notes in Computer Science 1661, pages 95-107. Springer, 1999.
13. C. Freksa. Using orientation information for qualitative spatial reasoning. In A. U. Frank, I. Campari, and U. Formentini, editors, Spatio-Temporal Reasoning, Lecture Notes in Computer Science 639, pages 162-178. Springer, 1992.
14. A. Gerevini and J. Renz. Combining topological and qualitative size constraints tor spatial reasoning. In Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming, pages 220-234. Springer, 1998.
15. P. J. Hayes. The naive physics manifesto. In D. Michie, editor, Expert Systems in the Micro-Electronic Age. Edinburgh University Press, 1978.
16. G. Ligozat. Qualitative triangulation for spatial reasoning. In A. U. Frank and I. Campari, editors, Spatial Information Theory: A Theoretical Oasis for GIS, International Conference COSIT '93, Marciana Marina, Elba Island, Italy, September 19-22, 1993, Proceedings, Lecture Notes in Computer Science 716, pages 54-68. Springer, 1993.
17. G. Ligozat and J. Renz. What is a qualitative calculus? A general framework. In C. Zhang, H. W. Guesgen, and W.-K. Yeap, editors, PRICAI 2004: Trends in Artificial Intelligence, 8th Pacific Rim International Conference on Artificial Intelligence, Auckland, New Zealand, August 9-13, 2004, Proceedings, Lecture Notes in Computer Science 3157, pages 53-64. Springer, 2004.
18. T. Mossakowski. Heterogeneous specification and the heterogeneous tool set. Habilitation thesis, University of Bremen, 2005.
19. P. D. Mosses, editor. CASL Reference Manual. Lecture Notes in Computer Science 2960. Springer, 2004.
20. T. Nipkow, L. Paulson, and M. Wenzel. Isabelle/HOL, A Proof Assistant for Higher-Order Logic. Lecture Notes in Computer Science 2283. Springer, 2002.
21. D. A. Randell, Z. Cui, and A. G. Cohn. A spatial logic based on regions and connection. In B. Nebel, W. Swartout, and C. Rich, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the 3rd International Conference (KR-92), pages 165-176. Morgan Kaufmann, 1992.
22. L. Schröder and T. Mossakowski. HasCASL: Towards integrated specification and development of Haskcll programs. In H. Kirchner and C. Reingeissen, editors, Algebraic Methodology and Software Technology, 2002, volume 2422 of Lecture Notes in Computer Science, pages 99-116. Springer-Verlag, 2002.
23. J. G. Stell. Boolean connection algebras: A new approach to the Region-Connection Calculus. Artificial Intelligence, 122(1-2):111-136, 2000.
24. M. B. Vilain. A system for reasoning about time. In D. L. Waltz, editor, Proceedings of the National Conference on Artificial Intelligence. Pittsburgh, PA, August 18-20, 1982, pages 197-201. AAAI Press, 1982.