DLP and FaCT

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

Volumn 1617, Issue , 1999, Pages 19-23

  Patel Schneider, Peter F ^a   Horrocks, Ian ^b  

^a LUCENT TECHNOLOGIES   (United States)

^b UNIVERSITY OF MANCHESTER   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84947445199     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48754-9_3     Document Type: Conference Paper

References (7)

1. J.W. Freeman. Hard random 3-SAT problems and the Davis-Putnam procedure. Artificial Intelligence, 81:183–198, 1996.
2. M. L. Ginsberg. Dynamic backtracking. Journal of Artificial Intelligence Research, 1:25–46, 1993.
3. F. Giunchiglia and R. Sebastiani. Building decision procedures for modal logics from propositional decision procedures—the case study of modal K. In M. McRobbie and J. Slaney, editors, Proceedings of the Thirteenth International Conference' on Automated Deduction (CADE-13), number 1104 in Lecture Notes in Artificial Intelligence, pages 583–597. Springer-Verlag, 1996.
4. I. Horrocks. Using an expressive description logic: FaCT or fiction? In A. G. Cohn, L. Schubert, and S. C. Shapiro, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Sixth International Conference (KR’98), pages 636–647. Morgan Kaufmann Publishers, San Francisco, CA, 1998.
5. I. Horrocks and P. F. Patel-Schneider. FaCT and DLP. In H. de Swart, editor, Automated Reasoning with Analytic Tableaux and Related Methods: International Conference Tableaux’98, number 1397 in Lecture Notes in Artificial Intelligence, pages 27–30. Springer-Verlag, 1998a.
6. I. Horrocks and P. F. Patel-Schneider. Optimising propositional modal satisfiability for description logic subsumption. In International Conference AISC’98, Lecture Notes in Artificial Intelligence. Springer-Verlag, 1998b.
7. Peter F. Patel-Schneider. DLP system description. In E. Franconi, G. De Giacomo, R. M. MacGregor,W. Nutt, C.A. Welty, and F. Sebastiani, editors, Collected Papers from the International Description Logics Workshop (DL’98), pages 87–89, 1998.