{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,5]],"date-time":"2025-06-05T11:48:11Z","timestamp":1749124091503},"publisher-location":"Berlin, Heidelberg","reference-count":31,"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_3","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:19:41Z","timestamp":1330276781000},"page":"29-42","source":"Crossref","is-referenced-by-count":10,"title":["Abduction over 3-valued extended logic programs"],"prefix":"10.1007","author":[{"given":"Carlos Viegas","family":"Dam\u00e1sio","sequence":"first","affiliation":[]},{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"3_CR1","unstructured":"J. J. Alferes. Semantics of Logic Programs with Explicit Negation. PhD thesis, Universidade Nova de Lisboa, October 1993."},{"key":"3_CR2","unstructured":"J. J. Alferes, C. V. Dam\u00e1sio, and L. M. Pereira. A top-down derivation procedure for programs with explicit negation. In M. Bruynooghe, editor, ILPS'94, pages 424\u2013438. MIT Press, 1994."},{"key":"3_CR3","unstructured":"J. J. Alferes, C. V. Dam\u00e1sio, and L. M. Pereira. A logic programming system for non-monotonic reasoning. Special Issue of the JAR, 1995. To appear."},{"key":"3_CR4","unstructured":"J. J. Alferes and L. M. Pereira. On logic program semantics with two kinds of negation. In K. Apt, editor, IJCSLP'92, pages 574\u2013588. MIT Press, 1992."},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"J. J. Alferes and L. M. Pereira. Contradiction: when avoidance equal removal. In R. Dyckhoff, editor, 4th Int. Ws. on Extensions of LP, volume 798 of LNAI. Springer-Verlag, 1994.","DOI":"10.1007\/3-540-58025-5_47"},{"key":"3_CR6","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0743-1066(94)90025-6","volume":"19\/20","author":"C. Baral","year":"1994","unstructured":"C. Baral and M. Gelfond. Logic programming and knowledge representation. J. Logic Programming, 19\/20:73\u2013148, 1994.","journal-title":"J. Logic Programming"},{"key":"3_CR7","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1016\/0304-3975(89)90126-6","volume":"68","author":"H. A. Blair","year":"1989","unstructured":"H. A. Blair and V. S. Subrahmanian. Paraconsistent logic programming. Theoretical Computer Science, 68:135\u2013154, 1989.","journal-title":"Theoretical Computer Science"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"A. Bondarenko, F. Toni, and R. Kowalski. An assumption-based framework for nonmonotonic reasoning. In L. M. Pereira and A. Nerode, editors, 2nd Int. Ws. on LP & NMR, pages 171\u2013189. MIT Press, 1993.","DOI":"10.7551\/mitpress\/4307.003.0016"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"K. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Data Bases, pages 293\u2013322. Plenum Press, 1978.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"3_CR10","unstructured":"M. Denecker and D. D. Schreye. SLDNFA: an abductive procedure for normal abductive programs. In K. Apt, editor, IJCSLP'92, pages 686\u2013700. MIT Press."},{"key":"3_CR11","unstructured":"P. M. Dung. Negation as hypotheses: An abductive framework for logic programming. In K. Furukawa, editor, 8th Int. Conf. on LP, pages 3\u201317. MIT Press, 1991."},{"key":"3_CR12","unstructured":"K. Eshghi and R. Kowalski. Abduction compared with negation by failure. In 6th Int. Conf. on LP. MIT Press, 1989."},{"issue":"3","key":"3_CR13","first-page":"620","volume":"38","author":"A. V. Gelder","year":"1991","unstructured":"A. V. Gelder, K. A. Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3):620\u2013650, 1991.","journal-title":"Journal of the ACM"},{"key":"3_CR14","unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. Kowalski and K. A. Bowen, editors, ICLP'88, pages 1070\u20131080. MIT Press."},{"key":"3_CR15","unstructured":"M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Warren and Szeredi, editors, 7th Int. Conf. on LP, pages 579\u2013597. MIT Press, 1990."},{"key":"3_CR16","unstructured":"M. Gelfond and V. Lifschitz. Representing actions in extended logic programs. In K. Apt, editor, IJCSLP'92, pages 559\u2013573. MIT Press, 1992."},{"key":"3_CR17","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A. Kakas","year":"1993","unstructured":"A. Kakas, R. Kowalski, and F. Toni. Abductive logic programming. Journal of Logic and Computation, 2:719\u2013770, 1993.","journal-title":"Journal of Logic and Computation"},{"key":"3_CR18","unstructured":"A. C. Kakas and P. Mancarella. Generalized stable models: A semantics for abduction. In Proc. ECAI'90, pages 401\u2013405, 1990."},{"key":"3_CR19","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1016\/0743-1066(85)90013-5","volume":"2","author":"J. Lloyd","year":"1985","unstructured":"J. Lloyd and R. Topor. A basis for deductive database systems. Journal of Logic Programming, 2:93\u2013109, 1985.","journal-title":"Journal of Logic Programming"},{"key":"3_CR20","unstructured":"L. M. Pereira and J. J. Alferes. Well founded semantics for logic programs with explicit negation. In B. Neumann, editor, ECAI'92, pages 102\u2013106. Wiley, 1992."},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"L. M. Pereira, J. J. Alferes, and J. N. Apar\u00edcio. Contradiction Removal within Well Founded Semantics. In A. Nerode, W. Marek, and V. S. Subrahmanian, editors, LP & NMR, pages 105\u2013119. MIT Press, 1991.","DOI":"10.1007\/3-540-54535-2_28"},{"issue":"2","key":"3_CR22","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1016\/0743-1066(93)90032-C","volume":"17","author":"L. M. Pereira","year":"1993","unstructured":"L. M. Pereira, J. N. Apar\u00edcio, and J. J. Alferes. Non-monotonic reasoning with logic programming. Journal of Logic Programming. Special issue on Nonmonotonic reasoning, 17(2, 3 & 4):227\u2013263, 1993.","journal-title":"Journal of Logic Programming. Special issue on Nonmonotonic reasoning"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"L. M. Pereira, C. Dam\u00e1sio, and J. J. Alferes. Diagnosis and debugging as contradiction removal. In L. M. Pereira and A. Nerode, editors, 2nd Int. Ws. on LP & NMR, pages 316\u2013330. MIT Press, 1993.","DOI":"10.1007\/3-540-57287-2_47"},{"key":"3_CR24","unstructured":"T. Przymusinski. Extended stable semantics for normal and disjunctive programs. In Warren and Szeredi, editors, ICLP'90, pages 459\u2013477. MIT Press, 1990."},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"R. Reiter. On closed-world data bases. In H. Gallaire and J. Minker, editors, Logic and DataBases, pages 55\u201376. Plenum Press, 1978.","DOI":"10.1007\/978-1-4684-3384-5_3"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"R. Reiter. Towards a logical reconstruction of relational database theory. In M. Brodie and J. Mylopoulos, editors, On Conceptual Modelling, pages 191\u2013233. Springer-Verlag, 1984.","DOI":"10.1007\/978-1-4612-5196-5_8"},{"key":"3_CR27","unstructured":"C. Sakama. Extended well-founded semantics for paraconsistent logic programs. In Fifth Generation Computer Systems, pages 592\u2013599. ICOT, 1992."},{"key":"3_CR28","unstructured":"F. Teusink. A proof procedure for extended logic programs. In Proc. ILPS'93. MIT Press, 1993."},{"issue":"6","key":"3_CR29","doi-asserted-by":"crossref","first-page":"835","DOI":"10.1093\/logcom\/1.6.835","volume":"1","author":"G. Wagner","year":"1991","unstructured":"G. Wagner. Logic programming with strong negation and innexact predicates. J. of Logic and Computation, 1(6):835\u2013861, 1991.","journal-title":"J. of Logic and Computation"},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"G. Wagner. Neutralization and preeemption in extended logic programs. Technical report, Freien Universitat Berlin, 1993.","DOI":"10.1007\/3-540-56944-8_65"},{"key":"3_CR31","unstructured":"M. Winslett. Reasoning about action using a possible model approach. In 7th AAAI, pages 89\u201393, 1988."}],"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_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T16:33:56Z","timestamp":1713630836000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-59487-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540594871","9783540492825"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-59487-6_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}