Qualitative constraint calculi: Heterogeneous verification of composition tables

Proceedings of the Twentieth International Florida Artificial Intelligence Research Society Conference, FLAIRS 2007

Volumn , Issue , 2007, Pages 665-670

  Wòlfl, Stefan ^a   Mossakowski, Till ^b   Schröder, Lutz ^b  

^a UNIVERSITY OF FREIBURG   (Germany)

^b UNIVERSITY OF BREMEN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATIC PROGRAMMING; DIFFERENTIATION (CALCULUS); ERROR ANALYSIS; PROBLEM SOLVING; THEOREM PROVING;

CONSTRAINT CALCULI; CONSTRAINT REASONING; EFFICIENT REASONING; SYMBOLIC OPERATIONS;

CONSTRAINT THEORY;

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

References (20)

1. Bennett, B.; Isli, A.; and Cohn, A. G. 1997. When does a composition table provide a complete and tractable proof procedure for a relational constraint language? In Proceedings of the IJCAI-97 Workshop on Spatial and Temporal Reasoning.
2. Bennett, B. 1997. Logical Representations for Automated Reasoning about Spatial Relationships. Ph.D. Dissertation, School of Computer Studies, The University of Leeds. Bidoit, M., and Mosses, P. D. 2004. CASL User Manual. LNCS 2900. Springer.
3. Cohn, A. G.; Bennett, B.; Gooday, J. M.; and Gotts, N. 1997. RCC: A calculus for region based qualitative spatial reasoning. Geolnformatica 1:275-316.
4. Düntsch, I.; Wang, H.; and McCloskey, S. 1999. Relation algebras in qualitative spatial reasoning. Fundamenta Informaticae 39(3):229-249.
5. Egenhofer, M. J., and Franzosa, R. D. 1991. Point set topological relations. International Journal of Geographical Information Systems 5:161-174.
6. Egenhofer, M. J. 1991. Reasoning about binary topological relations. In Günther, O., and Schek, H.-J., eds., Proceedings of the Second Symposium on Large Spatial Databases, SSD'91, LNCS 525, 143-160. Springer.
7. Gerevini, A., and Renz, J. 1998. Combining topological and qualitative size constraints for spatial reasoning. In Proceedings of the 4th International Conference on Principles and Practice of Constraint Programming, 220-234. Springer.
8. Ligozat, G., and Renz, J. 2004. What is a qualitative calculus? A general framework. In Zhang, C.; Guesgen, H. W.; and Yeap, W-K., eds., PRICAI2004: Trends in Artificial Intelligence, 8th Pacific Rim International Conference on Artificial Intelligence, Proceedings, LNCS 3157, 53-64. Springer.
9. Mossakowski, T.; Autexier, S.; and Hutter, D. 2006. Development graphs - proof management for structured specifications. Journal of Logic and Algebraic Programming 67(1-2):114-145.
10. Mossakowski, T.; Schröder, L.; and Wölfl, S. 2006. A categorical perspective on qualitative constraint calculi. In Wölfl, S., and Mossakowski, T., eds., Qualitative Constraint Calculi: Application and Integration, Workshop Proceedings, 28-39.
11. Mossakowski, T. 2005. Heterogeneous specification and the heterogeneous tool set. Habilitation thesis, University of Bremen.
12. Mosses, P. D., ed. 2004. CASL Reference Manual. LNCS 2960. Springer.
13. Nipkow, T.; Paulson, L.; and Wenzel, M. 2002. Isabelle/HOL, A Proof Assistant for Higher-Order Logic. LNCS 2283. Springer.
14. Randell, D. A.; Cui, Z.; and Cohn, A. G. 1992. A spatial logic based on regions and connection. In Nebel, B.; Swartout, W.; and Rich, C., eds., Principles of Knowledge Representation and Reasoning: Proceedings of the 3rd International Conference (KR-92), 165-176. Morgan Kaufmann.
15. Riazanov, A., and Voronkov, A. 2002. The design and implementation of VAMPIRE. AI Communications 15(23):91-110.
16. Schröder, L., and Mossakowski, T. 2002. HasCASL: Towards integrated specification and development of Haskell programs. In Kirchner, H., and Ringeissen, C., eds., Algebraic Methodology and Software Technology, 2002, LNCS 2422. Springer. 99-116.
17. Skiadopoulos, S., and Koubarakis, M. 2004. Composing cardinal direction relations. Artifical Intelligence 152(2):143-171.
18. Weidenbach, C.; Brahm, U.; Hillenbrand, T.; Keen, E.; Theobald, C.; and Topic, D. 2002. SPASS Version 2.0. In Voronkov, A., ed., Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Proceedings, LNCS 2392, 275-279. Springer.
19. Wölfl, S., and Mossakowski, T. 2005. CASL specifications of qualitative calculi. In Cohn, A. G., and Mark, D. M., eds., Spatial Information Theory: Cognitive and Computational Foundations, Proceedings of COSIT'05, LNCS 3693. Springer.
20. Zimmer, J., and Autexier, S. 2006. The MathServe system for Semantic Web reasoning services. In Furbach, U., and Shankar, N., eds., Proceedings of the 3rd International Joint Conference on Automated Reasoning (IJCAR'06), LNAI4130, 140-144. Seattle, USA: Springer.