{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:31:50Z","timestamp":1725456710128},"publisher-location":"Berlin, Heidelberg","reference-count":17,"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\/bfb0030658","type":"book-chapter","created":{"date-parts":[[2005,12,1]],"date-time":"2005-12-01T00:24:12Z","timestamp":1133396652000},"page":"23-42","source":"Crossref","is-referenced-by-count":2,"title":["From disjunctive programs to abduction"],"prefix":"10.1007","author":[{"given":"Vladimir","family":"Lifschitz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hudson","family":"Turner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"key":"3_CR1","unstructured":"Krzysztof Apt and Marc Bezem. Acyclic programs. In David Warren and Peter Szeredi, editors, Logic Programming: Proc. of the Seventh Int'l Conf., pages 617\u2013633, 1990."},{"key":"3_CR2","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/B978-0-934613-40-8.50006-3","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"K. Apt","year":"1988","unstructured":"Krzysztof Apt, Howard Blair, and Adrian Walker. Towards a theory of declarative knowledge. In Jack Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89\u2013148. Morgan Kaufmann, San Mateo, CA, 1988."},{"key":"3_CR3","unstructured":"Mark Denecker and Danny De Schreye. Representing incomplete knowledge in abductive logic programming. In Dale Miller, editor, Logic Programming: Proceedings of the 1993 Int'l Symposium, pages 147\u2013163, 1993."},{"key":"3_CR4","unstructured":"Phan Minh Dung. Representing actions in logic programming and its applications in database updates. In Logic Programming: Proceedings of the Tenth Int'l Conf. on Logic Programming, pages 222\u2013238, 1993."},{"key":"3_CR5","unstructured":"Kave Eshghi and Robert Kowalski. Abduction compared with negation as failure. In Giorgio Levi and Maurizio Martelli, editors, Logic Programming: Proc. of the Sixth Int'l Conf., pages 234\u2013255, 1989."},{"key":"3_CR6","unstructured":"Chris Evans. Negation-as-failure as an approach to the Hanks and McDermott problem. In Proc. of the Second Int'l Symp. on Artificial Intelligence, 1989."},{"key":"3_CR7","volume-title":"Technical Report TR-91-2","author":"M. Gelfond","year":"1991","unstructured":"Michael Gelfond. Epistemic approach to formalization of commonsense reasoning. Technical Report TR-91-2, University of Texas at El Paso, Department of Computer Science, 1991."},{"key":"3_CR8","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"Michael Gelfond and Vladimir Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9:365\u2013385, 1991.","journal-title":"New Generation Computing"},{"key":"3_CR9","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. Gelfond","year":"1993","unstructured":"Michael Gelfond and Vladimir Lifschitz. Representing action and change by logic programs. The Journal of Logic Programming, 17:301\u2013322, 1993.","journal-title":"The Journal of Logic Programming"},{"issue":"3","key":"3_CR10","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/0004-3702(87)90043-9","volume":"33","author":"S. Hanks","year":"1987","unstructured":"Steve Hanks and Drew McDermott. Nonmonotonic logic and temporal projection. Artificial Intelligence, 33(3):379\u2013412, 1987.","journal-title":"Artificial Intelligence"},{"key":"3_CR11","unstructured":"Katsumi Inoue and Chiaki Sakama. Transforming abductive logic programs to disjunctive programs. In Logic Programming: Proceedings of the Tenth Int'l Conf. on Logic Programming, pages 335\u2013353, 1993."},{"key":"3_CR12","doi-asserted-by":"crossref","unstructured":"Katsumi Inoue and Chiaki Sakama. On positive occurrences of negation as failure. In Proc. of the Fourth Int'l Conf. on Principles of Knowledge Representation and Reasoning, pages 293\u2013304, 1994.","DOI":"10.1016\/B978-1-4832-1452-8.50123-8"},{"key":"3_CR13","unstructured":"Antonis Kakas and Paolo Mancarella. Generalized stable models: a semantics for abduction. In Proc. of ECAI-90, pages 385\u2013391, 1990."},{"key":"3_CR14","unstructured":"Vladimir Lifschitz and Hudson Turner. Splitting a logic program. In Logic Programming: Proceedings of the Eleventh Int'l Conf. on Logic Programming, pages 23\u201337, 1994."},{"key":"3_CR15","unstructured":"Vladimir Lifschitz and Thomas Woo. Answer sets in general nonmonotonic reasoning (preliminary report). In Bernhard Nebel, Charles Rich, and William Swartout, editors, Proc. of the Third Int'l Conf. on Principles of Knowledge Representation and Reasoning, pages 603\u2013614, 1992."},{"key":"3_CR16","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/B978-0-934613-40-8.50009-9","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"T. Przymusinski","year":"1988","unstructured":"Teodor Przymusinski. On the declarative semantics of deductive databases and logic programs. In Jack Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 193\u2013216. Morgan Kaufmann, San Mateo, CA, 1988."},{"key":"3_CR17","unstructured":"Hudson Turner. Signed logic programs. In Logic Programming: Proceedings of the 1994 Int'l Symposium, pages 61\u201375, 1994."}],"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\/BFb0030658","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,6]],"date-time":"2019-02-06T00:49:48Z","timestamp":1549414188000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0030658"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540594673","9783540492726"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/bfb0030658","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}