{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:17:22Z","timestamp":1725664642126},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540594871"},{"type":"electronic","value":"9783540492825"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-59487-6_24","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:18:58Z","timestamp":1330276738000},"page":"330-343","source":"Crossref","is-referenced-by-count":2,"title":["An abductive framework for extended logic programming"],"prefix":"10.1007","author":[{"given":"Antonio","family":"Brogi","sequence":"first","affiliation":[]},{"given":"Evelina","family":"Lamma","sequence":"additional","affiliation":[]},{"given":"Paolo","family":"Mancarella","sequence":"additional","affiliation":[]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"J.J. Alferes, P.M. Dung, and L.M. Pereira. Scenario semantics of extended logic programs. In L. M. Pereira and A. Nerode, editors, Proc. 2nd Int. Workshop on Logic Programming and Non Monotonic Reasoning, pages 334\u2013348. The MIT Press, 1993.","DOI":"10.7551\/mitpress\/4307.003.0029"},{"key":"24_CR2","unstructured":"J.J. Alferes, and L.M. Pereira. On logic program semantics with two kind of negation. In K. Apt, editor, Proc. Int. Joint Conf. and Symp. on Logic Programming, pages 574\u2013588. The MIT Press, 1992."},{"key":"24_CR3","doi-asserted-by":"crossref","unstructured":"K.R. Apt. Logic Programming. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Vol. B, pages 493\u2013574. Elsevier Science Publisher, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50015-9"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"A. Bondarenko, F. Toni, and R.A. Kowalski. An Assumption-based framework for nonmonotonic Reasoning, In L. M. Pereira and A. Nerode, editors, Proc. 2nd Int. Workshop on Logic Programming and Non Monotonic Reasoning, pages 171-189. The MIT Press, 1993.","DOI":"10.7551\/mitpress\/4307.003.0016"},{"key":"24_CR5","unstructured":"G. Brewka, and K. Konolige. An Abductive Framework for General Logic Programs and other Nonmonotonic Systems. Proc. Int. Joint Conf. on Artificial Intelligence IJCAI93, pages 9\u201315. AAAI, 1993."},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"A. Brogi, E. Lamma, and P. Mello. Compositional Model-theoretic Semantics for Logic Programs. In New Generation Computing, 11(1):1\u201321. Springer-Verlag, 1992.","DOI":"10.1007\/BF03037525"},{"key":"24_CR7","unstructured":"A. Brogi, E. Lamma, P. Mancarella, and P. Mello. Normal Logic Programs as Open Positive Programs. In K. Apt, editor, Proc. Int. Joint Conf. and Symp. on Logic Programming, pages 783\u2013797. The MIT Press, 1992."},{"key":"24_CR8","unstructured":"A. Brogi, E. Lamma, P. Mancarella, and P. Mello. A Unifying View of Logic Programming and Non-monotonic Reasoning. Tech. Report, University of Bologna and University of Pisa, December 1994."},{"key":"24_CR9","unstructured":"M. Denecker, and D. De Schreye. SLDNFA: an abductive procedure for normal abductive programs. In K. Apt, editor, Proc. Int. Joint Conf. and Symp. on Logic Programming, pages 686\u2013700. The MIT Press, 1992."},{"key":"24_CR10","unstructured":"M. Denecker, and D. De Schreye. Representing Incomplete Knowledge in Abductive Logic Programming. In Proc. International Logic Programming Symposium ILPS93, pages 147\u2013163. The MIT Press, 1993."},{"key":"24_CR11","volume-title":"Logic, Action and Information","author":"J. Dix","year":"1994","unstructured":"J. Dix. Semantics of Logic Programs: Their Intuitions and Formal Properties. In A. Fuhrmann and H. Roth, editors, Logic, Action and Information. de Gruyter, Berlin-New York, 1994."},{"key":"24_CR12","unstructured":"P.M. Dung. Negation as Hypothesis: An Abductive Foundation for Logic Programming. In K. Furukawa, editor, Proc. 8th Int. Conf. on Logic Programming ICLP91, pages 3\u201317. The MIT Press, 1991."},{"key":"24_CR13","unstructured":"P.M. Dung. On the Acceptability of Arguments and its Fundamental Role in Nonmonotonic Reasoning. In Proceedings Int. Joint Conf. on Artificial Intelligence IJCAI93, pages 852\u2013857. AAAI, 1993."},{"key":"24_CR14","unstructured":"P.M. Dung. An Argumentation Semantics for Logic Programming with Explicit Negation. In D.S. Warren, editor, Proc. 10th Int. Conf. on Logic Programming ICLP93, pages 616\u2013630. The MIT Press, 1993."},{"key":"24_CR15","unstructured":"P.M. Dung, and P. Ruamviboonsuk. Well-founded Reasoning with Classical Negation. In Proc.1st Int. Workshop on Logic Programming and Non-Monotonic Reasoning, pages 120\u2013132. The MIT Press, 1991."},{"key":"24_CR16","unstructured":"K. Eshghi, and R.A. Kowalski. Abduction Compared with Negation by Failure. In G. Levi and M. Martelli, editors, Proc. 6th Int. Conf. on Logic Programming ICLP89, pages 234\u2013254. The MIT Press, 1989."},{"key":"24_CR17","unstructured":"M. Gelfond, and V. Lifschitz. The stable model semantics for logic programming. In R. A. Kowalski and K.A. Bowen, editors, Proc. 5th Int. Conf. on Logic Programming, pages 1070\u20131080. The MIT Press, 1988."},{"key":"24_CR18","unstructured":"M. Gelfond, and V. Lifschitz. Logic Programs with Classical Negation. In D.H.D. Warren and P. Szeredi, editors, Proc. 7th Int. Conf. on Logic Programming ICLP90, pages 579\u2013597. The MIT Press, 1990."},{"key":"24_CR19","unstructured":"A.C. Kakas, and P. Mancarella. Generalized stable models: a semantics for abduction. In Proceedings of 9th European Conference on Artificial Intelligence ECAI90, pages 385\u2013391. Pitman Publishing, 1990."},{"key":"24_CR20","unstructured":"A.C. Kakas, and P. Mancarella. On the relation between Truth Maintenance and Abduction. In Proceedings PRICAI90, 1990."},{"key":"24_CR21","unstructured":"L.M. Pereira, and J.J. Alferes. Well-founded Semantics for Logic Programs with Explicit Negation. In Proc. ECAI92, John Wiley & Sons, 1992."},{"key":"24_CR22","unstructured":"L.M. Pereira, J.N. Aparicio, and J.J. Alferes. Derivation Procedures for Extended Stable Models. In Proc. IJCAI91, pages 863\u2013868. Morgan Kaufman 1991."},{"key":"24_CR23","unstructured":"T.C. Przymusinski. Extended Stable Semantics for Normal and Disjunctive Programs. In D.H.D. Warren and P. Szeredi, editors, Proc. 7th Int. Conf. on Logic Programming, pages 459\u2013477. The MIT Press, 1990."},{"key":"24_CR24","doi-asserted-by":"crossref","unstructured":"T.C. Przymusinski. Semantics of Disjunctive Logic Programs and Deductive Databases. In Proc. DOOD'91, 1991.","DOI":"10.1007\/3-540-55015-1_5"},{"key":"24_CR25","doi-asserted-by":"crossref","unstructured":"F. Sadri, and R.A Kowalski. A Theorem-proving Approach to Database Integrity. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 313\u2013362. Morgan-Kaufmann, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50013-0"},{"key":"24_CR26","unstructured":"K. Satoh, and N. Iwayama. A Query Evaluation Method for Abductive Logic Programming. In K. Apt, editor, Proc. Int. Joint Conf. and Symp. on Logic Programming, pages 671\u2013685. The MIT Press, 1992."},{"key":"24_CR27","unstructured":"F. Teusink. A Proof Procedure for Extended Logic Programs. In Proceedings International Logic Programming Symposium ILPS93, pages 235\u2013249. The MIT Press, 1993."},{"key":"24_CR28","doi-asserted-by":"crossref","unstructured":"A. Van Gelder, K.A. Ross, and J.S. Schlipf. Unfounded sets and the well-founded semantics for general logic programs. In Proc. ACM SIGMOD-SIGACT, Symposium on Principles of Database Systems, 1988.","DOI":"10.1145\/308386.308444"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-59487-6_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T16:34:01Z","timestamp":1713630841000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59487-6_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540594871","9783540492825"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-59487-6_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}