{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:37:28Z","timestamp":1725493048167},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540422549"},{"type":"electronic","value":"9783540457442"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45744-5_40","type":"book-chapter","created":{"date-parts":[[2007,10,26]],"date-time":"2007-10-26T21:02:07Z","timestamp":1193432527000},"page":"464-468","source":"Crossref","is-referenced-by-count":1,"title":["A New System and Methodology for Generating Random Modal Formulae"],"prefix":"10.1007","author":[{"given":"Peter F.","family":"Patel-Schneider","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roberto","family":"Sebastiani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2001,6,8]]},"reference":[{"issue":"2","key":"40_CR1","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1080\/11663081.2000.10510994","volume":"10","author":"E. Giunchiglia","year":"2000","unstructured":"E. Giunchiglia, F. Giunchiglia, R. Sebastiani, and A. Tacchella. SAT vs. Translation based decision procedures for modal logics: a comparative evaluation. Journal of Applied Non-Classical Logics, 10(2):145\u2013172, 2000.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"40_CR2","doi-asserted-by":"crossref","unstructured":"E. Giunchiglia, F. Giunchiglia, and A. Tacchella. SAT Based Decision Procedures for Classical Modal Logics. To appear in Journal of Automated Reasoning., 2001.","DOI":"10.1007\/3-540-46238-4_9"},{"key":"40_CR3","series-title":"Lecture Notes in Artificial Intelligence","first-page":"583","volume-title":"Proc. CADE13","author":"F. Giunchiglia","year":"1996","unstructured":"F. Giunchiglia and R. Sebastiani. Building decision procedures for modal logics from propositional decision procedures-the case study of modal K. In Proc. CADE13, number 1104 in Lecture Notes in Artificial Intelligence, pages 583\u2013597, Berlin, August 1996. Springer-Verlag."},{"key":"40_CR4","unstructured":"I. Horrocks. Using an expressive description logic: FaCT or fiction? In Sixth International Conference on Principles of Knowledge Representation and Reasoning (KR\u201898), pages 636\u2013647, 1998."},{"issue":"3","key":"40_CR5","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1093\/jigpal\/8.3.293","volume":"8","author":"I. Horrocks","year":"2000","unstructured":"Ian Horrocks, Peter F. Patel-Schneider, and Roberto Sebastiani. An analysis of empirical testing for modal decision procedures. Logic Journal of the IGPL, 8(3):293\u2013323, 2000.","journal-title":"Logic Journal of the IGPL"},{"issue":"4","key":"40_CR6","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1080\/11663081.1999.10510981","volume":"9","author":"U. Hustadt","year":"1999","unstructured":"Ullrich Hustadt and Renate A. Schmidt. An empirical analysis of modal theorem provers. Journal of Applied Non-Classical Logics, 9(4):479\u2013522, 1999.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"40_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/3-540-48754-9_2","volume-title":"Automated Reasoning with Analytic Tableaux and Related Methods: International Conference (Tableaux\u201899)","author":"F. Massacci","year":"1999","unstructured":"F. Massacci. Design and Results of Tableaux-99 Non-Classical (Modal) System Competition. In Automated Reasoning with Analytic Tableaux and Related Methods: International Conference (Tableaux\u201899), number 1617 in Lecture Notes in Artificial Intelligence, pages 14\u201318, Berlin, 1999. Springer-Verlag."},{"key":"40_CR8","unstructured":"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\u201898), pages 87\u201389, 1998. Available as CEUR-WS\/Vol-11 from http:\/\/SunSITE.Informatik.RWTH-Aachen.DE\/Publications\/CEUR-WS ."}],"container-title":["Lecture Notes in Computer Science","Automated Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45744-5_40","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,4]],"date-time":"2019-05-04T01:50:59Z","timestamp":1556934659000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45744-5_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540422549","9783540457442"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-45744-5_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]}}}