{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:11:12Z","timestamp":1725664272618},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540612865"},{"type":"electronic","value":"9783540684404"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61286-6_156","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T21:23:25Z","timestamp":1330291405000},"page":"315-324","source":"Crossref","is-referenced-by-count":5,"title":["A model-based approach to consistency-checking"],"prefix":"10.1007","author":[{"given":"Stefan","family":"Br\u00fcning","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Torsten","family":"Schaub","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"30_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-90102-6","volume-title":"Automated Theorem Proving","author":"W. Bibel","year":"1987","unstructured":"W. Bibel. Automated Theorem Proving. Vieweg Verlag, Braunschweig, 1987."},{"issue":"2","key":"30_CR2","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/0004-3702(91)90099-6","volume":"50","author":"G. Brewka","year":"1991","unstructured":"G. Brewka. Cumulative default logic: In defense of nonmonotonic inference rules. Artificial Intelligence, 50(2): 183\u2013205, 1991.","journal-title":"Artificial Intelligence"},{"issue":"1\u20132","key":"30_CR3","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(94)90106-6","volume":"70","author":"J. Delgrande","year":"1994","unstructured":"J. Delgrande, T. Schaub, and W. Jackson. Alternative approaches to default logic. Artificial Intelligence, 70(1\u20132):167\u2013237, 1994.","journal-title":"Artificial Intelligence"},{"key":"30_CR4","unstructured":"D. Loveland. Automated Theorem Proving: A Logical Basis. North-Holland, 1978."},{"key":"30_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1111\/j.1467-8640.1988.tb00086.x","volume":"4","author":"W. \u0141ukaszewicz","year":"1988","unstructured":"W. \u0141ukaszewicz. Considerations on default logic\u2014an alternative approach. Computational Intelligence, 4:1\u201316, 1988.","journal-title":"Computational Intelligence"},{"key":"30_CR6","doi-asserted-by":"crossref","unstructured":"A. Mikitiuk and M. Truszczy\u0144ski. Rational default logic and disjunctive logic programming. In A. Nerode and L. Pereira, eds, Second Workshop on Logic Programming and Non-monotonic Reasoning., pages 283\u2013299. MIT Press, 1993.","DOI":"10.7551\/mitpress\/4307.003.0024"},{"key":"30_CR7","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0004-3702(88)90077-X","volume":"36","author":"D. Poole","year":"1988","unstructured":"D. Poole. A logical framework for default reasoning. Artificial Intelligence, 36:27\u201347, 1988.","journal-title":"Artificial Intelligence"},{"issue":"1\u20132","key":"30_CR8","doi-asserted-by":"crossref","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. Artificial Intelligence, 13(1\u20132):81\u2013132, 1980.","journal-title":"Artificial Intelligence"},{"key":"30_CR9","volume-title":"Algorithmische Untersuchungen zu Defaultlogiken","author":"A. Rothschild","year":"1993","unstructured":"A. Rothschild. Algorithmische Untersuchungen zu Defaultlogiken. Diplomarbeit, FB Informatik, TH Darmstadt, Germany, 1993."},{"key":"30_CR10","unstructured":"T. Schaub. On constrained default theories. In B. Neumann, editor, Proceedings of the European Conference on Artificial Intelligence, pages 304\u2013308. John Wiley & sons, 1992."},{"issue":"1","key":"30_CR11","doi-asserted-by":"crossref","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. Journal of Automated Reasoning, 15(1):95\u2013165, 1995.","journal-title":"Journal of Automated Reasoning"},{"key":"30_CR12","doi-asserted-by":"crossref","unstructured":"C. Schwind. A tableaux-based theorem prover for a decidable subset of default logic. In M. Stickel, editor, Proceedings of the Conference on Automated Deduction. Springer, 1990.","DOI":"10.1007\/3-540-52885-7_112"}],"container-title":["Lecture Notes in Computer Science","Foundations of Intelligent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61286-6_156.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T17:21:42Z","timestamp":1713633702000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61286-6_156"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540612865","9783540684404"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-61286-6_156","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]}}}