Confirming the QSR Promise

AAAI Spring Symposium - Technical Report

Volumn SS-09-02, Issue , 2009, Pages 41-46

  Westphal, Matthias ^a   WöIfl, Stefan ^a  

^a UNIVERSITY OF FREIBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED REASONING; DESCRIPTION LOGIC; EMPIRICAL CASE STUDIES; EMPIRICAL TEST; ENCODINGS; FINITE CONSTRAINTS; FIRST-ORDER; PROBLEM INSTANCES; PROBLEM SIZE; QUALITATIVE CONSTRAINTS; QUALITATIVE SPATIAL REASONING; REASONER; REASONING PROBLEMS;

BENCHMARKING; BIOMINERALIZATION; COMPUTER OPERATING PROCEDURES; DATA DESCRIPTION;

AUTOMATA THEORY;

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

References (22)

1. Allen, J. F. 1983. Maintaining knowledge about temporal intervals. Communications ofthe ACM 26(1l):832-843.
2. Baader, F.; Horrocks, I.; and Sattler, U. 2007. Description Logics. In van Harmelen, F.; Lifschitz, V.; and Porter, B., eds., Handbook of Knowledge Representation. Elsevier.
3. Bessière, C. 1996. A simple way to improve path consistency processing in interval algebra networks. In AAAI/IAAI, Vol. I, 375-380.
4. Brand, S. 2004. Relation variables in qualitative spatial reasoning. In Proc. of KI 2004: Advances in Artificial Intelligence, LNCS 3238, 337-350. Springer.
5. Condotta, J.-F.; D'Almeida, D.; Lecoutre, C.; and Sais, L.2006. From qualitative to discrete constraint networks. In Proc. of the KI'2006 Workshop on Qualitative Constraint Calculi, 54-64.
6. Gantner, Z.; Westphal, M.; and Wölfl, 5. 2008. GQR - A fast reasoner for binary qualitative constraint calculi. In Proc. of the AAAI-08 Workshop on Spatial and Temporal Reasoning. AAAI Press.
7. Gardiner, T.; Horrocks, I.; and Tsarkov, D. 2006. Automated benchmarking of description logic reasoners. In Parsia, B.; Sattler, U.; and Toman, D., eds., Description Logics, volume 189 of CEUR Workshop Proceedings.
8. Hebrard, E. 2008. Mistral, a constraint satisfaction library. In Proc. of the Third International CSP Solver Competition.
9. Horrocks, I.; Kutz, 0.; and Sattler, U. 2006. The even more irresistible SROIQ. In Proc. of the Tenth Interna tional Conference on Principles of Knowledge Representa tion and Reasoning, 57-67. AAAI Press.
10. Nutt, W. 1999. On the translation of qualitative spatial reasoning problems into modal logics. In Proc. of KI-99: Advances in Artificial Intelligence, 23rd Anr German Conference on Artificial Intelligence, LNCS 1701, 113- 124. Springer.
11. Pham, D. N.; Thornton, J.; and Sattar, A. 2006. Towards an efficient SAT encoding for temporal reasoning. In Proc. of Principles and Practice of Constraint Pro gra (CP 2006), LNCS 4204, 421-436. Springer.
12. Randell, D. A.; Cui, Z.; and Cohn, A. G. 1992. A spatial logic based on regions and connection. In KR'92, Principles of Knowledge Representation and Reasoning: Proc. of the Third International Conference, 165-176. Morgan Kaufmann.
13. Renz, J., and Nebel, B. 2001. Efficient methods for qualitative spatial reasoning. J. Artif Intell. Res. (J4IR) 15:289-318.
14. Riazanov, A., and Voronkov, A. 2002. The di and im plementation of Vampire. Al Communications 15(2-3):9 1-110.
15. Schild, K. 1991. A correspondence theory foiterminologi cal logics: Preliminary report. In Proc. of the 12th International Joint Conference on Artificial Intelligence, 466-471.
16. Schulz, 5. 2002. E - A brainiac theorem prover. Al Communications 15(2-3):l 11-126.
17. Schulz, 5. 2004. System Description: E 0.81. In Proc. of the 2nd International Joint Conference on Automated Reasoning, LNAI 3097, 223-228. Springer.
18. Sutcliffe, G., and Suttner, C. 1998. The TPTP Problem Library: CNF Release vl.2.1. Journal of Au Rea soning 21(2):177-203.
19. Sutcliffe, G. 2007. TPTP, TSTP, CASC, etc. In Proc. of the Computer Science Synposiurn in Russia, LNCS 4649, 6-22. Springer.
20. Tsarkov, D., and Horrocks, I. 2006. FaCT++ description logic reasoner: System description. In Proc. of the Inter national Joint Conference on Automated Reasoning, LNCS 4130, 292-297. Springer.
21. Tsarkov, D.; Riazanov, A.; Bechhofer, S.; and Horrocks, I. 2004. Using Vampire to reason with OWL. In Proc. of the International Semantic Web Conference, LNCS 3298, 471-485. Springer.
22. Weidenbach, C.; Schmidt, R. A.; Hillenbrand, T.; Rusev, R.; and Topic, D. 2007. System description: SPASS ver sion 3.0. In Proc. of Automated Deduction - C'ADE-21, 21st International Conference on Automated Deduction, LNCS 4603, 514-520. Springer.