Consistency testing: The RACE experience

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

Volumn 1847 LNAI, Issue , 2000, Pages 57-61

  Haarslev, Volker ^a   Möller, Ralf ^a  

^a UNIVERSITY OF HAMBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DESCRIPTION LOGIC SYSTEMS; MODAL LOGIC; SAT PROBLEMS;

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

DATA DESCRIPTION;

EID: 84861111900     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/10722086_5     Document Type: Conference Paper

References (12)

1. F. Baader, E. Franconi, B. Hollunder, B. Nebel, and H.J. Profitlich. An empirical analysis of optimization techniques for terminological representation systems. Applied Intelligence, 2(4):109-138, 1994.
2. D. Drollinger. Intelligentes Backtracking in Inferenzsystemen am Beispiel Terminologischer Logiken (in German). Document D-93-21, Deutsches Forschungszentrum für Künstliche Intelligence, Germany, 1993.
3. J.W. Freeman. Improvements to propositional satisfiability search algorithms. PhD thesis, University of Pennsylvania, Computer and Information Science, 1995.
4. V. Haarslev and R. Möller. An empirical evaluation of optimization strategies for ABox reasoning in expressive description logics. In Lambrix et al. [11], pages 115-119.
5. V. Haarslev and R. Möller. Expressive abox reasoning with number restrictions, role hierachies, and transitively closed roles. In A.G. Cohn, F. Giunchiglia, and B. Selman, editors, Proc. of the Seventh International Conference on Principles of Knowledge Representation and Reasoning (KR'2000), 2000.
6. V. Haarslev, R. Möller, and A.-Y. Turhan. RACE User's guide and reference manual version 1.1. Technical Report FBI-HH-M-289/99, University of Hamburg, Computer Science Department, October 1999.
7. I. Horrocks. Optimising Tableaux Decision Procedures for Description Logics. PhD thesis, University of Manchester, 1997.
8. I. Horrocks. Using an expressive description logic: FaCT or fiction? In A.G. Cohn, L. Schubert, and S. Shapiro, editors, Proceedings of the Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR'98), Trento, Italy, June 2-5, 1998, pages 636-647, June 1998.
9. I. Horrocks and P. Patel-Schneider. Optimising description logic subsumption. Journal of Logic and Computation, 9(3):267-293, June 1999.
10. I. Horrocks and P.F. Patel-Schneider. FaCT and DLP: Automated reasoning with analytic tableaux and related methods. In Proceedings International Conference Tableaux'98, pages 27-30, 1998.
11. P. Lambrix et al., editor. Proceedings of the International Workshop on Description Logics (DL'99), July 30 - August 1, 1999, Linköping, Sweden, June 1999.
12. R.M. Stallman and G.J. Sussman. Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis. Artificial Intelligence, 9(2):135-196, 1977.