{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:36Z","timestamp":1725664176706},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540615118"},{"type":"electronic","value":"9783540686873"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61511-3_93","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:50:21Z","timestamp":1330293021000},"page":"293-297","source":"Crossref","is-referenced-by-count":2,"title":["XRay: A prolog technology theorem prover for default reasoning: A system description"],"prefix":"10.1007","author":[{"given":"Torsten","family":"Schaub","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Br\u00fcning","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pascal","family":"Nicolas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"30_CR1","doi-asserted-by":"crossref","unstructured":"W. Bibel. Automated Theorem Proving. Vieweg, 1987.","DOI":"10.1007\/978-3-322-90102-6"},{"key":"30_CR2","doi-asserted-by":"crossref","unstructured":"S. Br\u00fcning & T. Schaub. A model-based approach to consistency-checking in default theorem proving. In Workshop on Appl. & Impl. of NMR Systems, 1995.","DOI":"10.1007\/3-540-61286-6_156"},{"issue":"1\u20132","key":"30_CR3","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0004-3702(94)90106-6","volume":"70","author":"J. Delgrande","year":"1994","unstructured":"J. Delgrande, T. Schaub, & W. Jackson. Alternative approaches to default logic. Art. Intelligence, 70(1\u20132):167\u2013237, 1994.","journal-title":"Art. Intelligence"},{"key":"30_CR4","doi-asserted-by":"crossref","unstructured":"Chr. Goller, R. Letz, K. Mayr, & J. Schumann. SETHEO V3.2: Recent Developments. In A. Bundy, ed, Conf. Automated Deduction, pp 778\u2013782. Springer, 1994.","DOI":"10.1007\/3-540-58156-1_59"},{"key":"30_CR5","unstructured":"D. Knuth. The Stanford GraphBase: A platform for combinatorial computing. Addison-Wesley, 1993."},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"T. Linke & T. Schaub. Lemma Handling in Default Logic Theorem Provers. In Workshop on Appl. & Impl. of NMR Systems, 1995.","DOI":"10.1007\/3-540-60112-0_33"},{"key":"30_CR7","unstructured":"D. Loveland. Automated Theorem Proving: A Logical Basis. North-Holland, 1978."},{"key":"30_CR8","unstructured":"A. Mikitiuk and M. Truszczy\u0144ski. Default reasoning system. http:\/\/www.cs.engr.uky.edu\/\u223clpnmr\/DeReS.html."},{"key":"30_CR9","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF03037149","volume":"9","author":"D. Poole","year":"1991","unstructured":"D. Poole. Compiling a Default Reasoning System into Prolog. New Generation Computing, 9:3\u201338, 1991.","journal-title":"New Generation Computing"},{"issue":"1\u20132","key":"30_CR10","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"R. Reiter. A logic for default reasoning. Art. Intelligence, 13(1\u20132):81\u2013132, 1980.","journal-title":"Art. Intelligence"},{"issue":"1","key":"30_CR11","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/BF00881832","volume":"15","author":"T. Schaub","year":"1995","unstructured":"T. Schaub. A new methodology for query-answering in default logics via structure-oriented theorem proving. J. Automated Reasoning, 15(1):95\u2013165, 1995.","journal-title":"J. Automated Reasoning"},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"M. Stickel. A Prolog technology theorem prover: A new exposition and implementation in prolog. SRI Report 464, 1989.","DOI":"10.1007\/3-540-52531-9_135"},{"key":"30_CR13","doi-asserted-by":"crossref","unstructured":"M. Stickel. A Prolog technology theorem prover. InM. Stickel, ed, Conf. Automated Deduction, pp 673\u2013674, Springer, 1990.","DOI":"10.1007\/3-540-52885-7_136"},{"issue":"1","key":"30_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF00881829","volume":"15","author":"M. Thielscher","year":"1995","unstructured":"M. Thielscher & T. Schaub. Default reasoning by deductive planning. J. Automated Reasoning, 15(1):1\u201340, 1995.","journal-title":"J. Automated Reasoning"}],"container-title":["Lecture Notes in Computer Science","Automated Deduction \u2014 Cade-13"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61511-3_93.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:07:26Z","timestamp":1605647246000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61511-3_93"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540615118","9783540686873"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-61511-3_93","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}