{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T02:10:30Z","timestamp":1736129430860,"version":"3.32.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540594673"},{"type":"electronic","value":"9783540492726"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0030662","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T05:24:12Z","timestamp":1133414652000},"page":"101-126","source":"Crossref","is-referenced-by-count":1,"title":["A resolution-based procedure for default theories with extensions"],"prefix":"10.1007","author":[{"given":"Monica D.","family":"Barback","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jorge","family":"Lobo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"key":"7_CR1","unstructured":"M. Barback. Default theories: proof procedures and the relation to nonmonotonic logics. PhD thesis, Northwestern University, Department of Electrical Engineering and Computer Science, 1994."},{"key":"7_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-05689-9","volume-title":"An Introduction to Default Logic","author":"P. Besnard","year":"1989","unstructured":"P. Besnard. An Introduction to Default Logic. Springer, Berlin, Heidelberg, 1989."},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1016\/0890-5401(91)90073-B","volume":"91","author":"N. Bidoit","year":"1991","unstructured":"N. Bidoit and C. Froidevaux. General logical databases and programs: Default logic semantics and stratification. Information and Computation, 91:15\u201354, 1991.","journal-title":"Information and Computation"},{"key":"7_CR4","unstructured":"Chitta R. Baral and V.S. Subrahmanian. Stable extension class theory for logic programs and default logis. Journal of Automated Reasoning, pages 246\u2013260, 1991."},{"key":"7_CR5","unstructured":"K. Eshghi and R.A. Kowalski. Abduction compared with negation by failure. In Proceedings of the 6th ICLP, pages 234\u2013253, 1989."},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1016\/0004-3702(87)90081-6","volume":"31","author":"D. W. Etherington","year":"1987","unstructured":"David W. Etherington. Formalizing nonmonotonic reasoning systems. Artificial Intelligence, 31:41\u201385, 1987.","journal-title":"Artificial Intelligence"},{"key":"7_CR7","unstructured":"David W. Etherington. Reasoning with Incomplete Information. Morgan Kaufmann, 1988."},{"key":"7_CR8","first-page":"230","volume-title":"Disjunctive defaults","author":"M. Gelfond","year":"1991","unstructured":"M. Gelfond, V. Lifschitz, H. Przymusi\u0144ska, and M. Truszczy\u0144ski. Disjunctive defaults. In J. Allen, R. Fikes, and E. Sandewall, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Second International Conference, pages 230\u2013237, San Mateo, California, April 22\u201325 1991. Morgan Kaufmann."},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"J.W. Lloyd. Foundations of Logic Programming. Springer-Verlag, 1984.","DOI":"10.1007\/978-3-642-96826-6"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"J. Lobo, J. Minker, and A. Rajasekar. Foundations of Disjunctive Logic Programming. The MIT Press, 1992.","DOI":"10.1016\/B978-0-12-450010-5.50022-0"},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/0020-0190(92)90052-W","volume":"44","author":"J. Lobo","year":"1992","unstructured":"J. Lobo and V.S. Subrahmanian. Relating minimal models to prerequisite free normal defaults. Information Processing Letters, 44:129\u2013133, 1992.","journal-title":"Information Processing Letters"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"W. Marek and M. Truszczynski. Stable semantics for logic programs and default theories. In Proceedings of the NACLP, pages 243\u2013256, 1989.","DOI":"10.3233\/FI-1989-12209"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"W. Marek and M. Truszczynski. Non-monotonic Logic. Springer-Verlag, 1993.","DOI":"10.1007\/978-3-662-02906-0"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"C.H. Papadimitriou and M. Sideri. On finding extensions of default theories. In G. Goos and J. Hartmanis, editors, International Conference on Database Theory, pages 276\u2013281. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-56039-4_47"},{"key":"7_CR15","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Raymond Reiter. A logic for default reasoning. Artificial Intelligence, 13:81\u2013132, 1980.","journal-title":"Artificial Intelligence"}],"container-title":["Lecture Notes in Computer Science","Non-Monotonic Extensions of Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0030662","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,6]],"date-time":"2025-01-06T01:32:45Z","timestamp":1736127165000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0030662"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540594673","9783540492726"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/bfb0030662","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}