{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:07:42Z","timestamp":1725487662553},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540660866"},{"type":"electronic","value":"9783540487548"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48754-9_3","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T12:20:56Z","timestamp":1184588456000},"page":"19-23","source":"Crossref","is-referenced-by-count":8,"title":["DLP and FaCT"],"prefix":"10.1007","author":[{"given":"Peter F.","family":"Patel-Schneider","sequence":"first","affiliation":[]},{"given":"Ian","family":"Horrocks","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,2,11]]},"reference":[{"key":"3_CR1","unstructured":"Freeman(1996). J.W. Freeman. Hard random 3-SAT problems and the Davis-Putnam procedure. Artificial Intelligence, 81:183\u2013198, 1996."},{"key":"3_CR2","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1613\/jair.1","volume":"1","author":"M. L. Ginsberg","year":"1993","unstructured":"Ginsberg(1993). M. L. Ginsberg. Dynamic backtracking. Journal of Artificial Intelligence Research, 1:25\u201346, 1993.","journal-title":"Journal of Artificial Intelligence Research"},{"key":"3_CR3","unstructured":"Giunchiglia and Sebastiani(1996). F. Giunchiglia and R. Sebastiani. Building decision procedures for modal logics from propositional decision procedures\u2014the 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\u2013597. Springer-Verlag, 1996."},{"key":"3_CR4","unstructured":"Horrocks(1998). 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\u201998), pages 636\u2013647. Morgan Kaufmann Publishers, San Francisco, CA, 1998."},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Horrocks and Patel-Schneider(1998a). 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\u201998, number 1397 in Lecture Notes in Artificial Intelligence, pages 27\u201330. Springer-Verlag, 1998a.","DOI":"10.1007\/3-540-69778-0_5"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Horrocks and Patel-Schneider(1998b). I. Horrocks and P. F. Patel-Schneider. Optimising propositional modal satisfiability for description logic subsumption. In International Conference AISC\u201998, Lecture Notes in Artificial Intelligence. Springer-Verlag, 1998b.","DOI":"10.1007\/BFb0055916"},{"key":"3_CR7","unstructured":"Patel-Schneider(1998). 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\u201998), pages 87\u201389, 1998."}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning with Analytic Tableaux and Related Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48754-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,30]],"date-time":"2019-04-30T23:29:49Z","timestamp":1556666989000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48754-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540660866","9783540487548"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/3-540-48754-9_3","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}