{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:10:01Z","timestamp":1747548601885,"version":"3.40.5"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"3-4","license":[{"start":{"date-parts":[[1999,11,1]],"date-time":"1999-11-01T00:00:00Z","timestamp":941414400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,11,1]],"date-time":"1999-11-01T00:00:00Z","timestamp":941414400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Annals of Mathematics and Artificial Intelligence"],"published-print":{"date-parts":[[1999,11]]},"DOI":"10.1023\/a:1018926021566","type":"journal-article","created":{"date-parts":[[2003,2,19]],"date-time":"2003-02-19T22:07:13Z","timestamp":1045692433000},"page":"339-367","source":"Crossref","is-referenced-by-count":8,"title":["Computing extended abduction through transaction programs"],"prefix":"10.1007","volume":"25","author":[{"given":"Katsumi","family":"Inoue","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chiaki","family":"Sakama","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"325523_CR1","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Proceedings of the 2nd International Conference on Database Theory","author":"S. Abiteboul","year":"1988","unstructured":"S. Abiteboul, Updates, a new frontier, in: Proceedings of the 2nd International Conference on Database Theory, Lecture Notes in Computer Science, Vol. 326 (Springer, Berlin 1988) pp. 1-18."},{"key":"325523_CR2","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/BF00883931","volume":"14","author":"J.J. Alferes","year":"1995","unstructured":"J.J. Alferes, C.V. Dam\u00e1sio and L.M. Pereira, A logic programming system for nonmonotonic reasoning, J. Automat. Reason. 14 (1995) 93-147.","journal-title":"J. Automat. Reason."},{"key":"325523_CR3","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1007\/BF03037168","volume":"9","author":"K.R. Apt","year":"1991","unstructured":"K.R. Apt and M. Bezem, Acyclic programs, New Generation Computing 9 (1991) 335-363.","journal-title":"New Generation Computing"},{"key":"325523_CR4","unstructured":"C. Aravindan and P. Baumgartner, A rational and efficient algorithm for view deletion in databases, in: Proceedings of the 1997 International Symposium on Logic Programming (MIT Press, 1997) pp. 165-179."},{"key":"325523_CR5","unstructured":"F. Bry, Intensional updates: abduction via deduction, in: Proceedings of the 7th International Conference on Logic Programming (MIT Press, 1990) pp. 561-575."},{"key":"325523_CR6","unstructured":"F. Buccafurri, T. Eiter, G. Gottlob and L. Leone, Enhancing symbolic model checking by AI techniques, IFIG Research Report 9701, Institut f\u00fcr Informatik, Universit\u00e4t Gie\u00dfen (1997)."},{"key":"325523_CR7","first-page":"119","volume-title":"Logic and Data Bases","author":"K.L. Clark","year":"1978","unstructured":"K.L. Clark, Negation as failure, in: Logic and Data Bases, eds. H. Gallaire and J. Minker (Plenum, New York, 1978) pp. 119-140."},{"key":"325523_CR8","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1093\/logcom\/1.5.661","volume":"1","author":"L. Console","year":"1991","unstructured":"L. Console, D. Theseider Dupr\u00e9 and P. Torasso, On the relationship between abduction and deduction, J. Logic Comput. 1 (1991) 661-690.","journal-title":"J. Logic Comput."},{"key":"325523_CR9","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/BF00961655","volume":"4","author":"L. Console","year":"1995","unstructured":"L. Console, M.L. Sapino and D. Theseider Dupr\u00e9, The role of abduction in database view updating, J. Intell. Inform. Syst. 4 (1995) 261-280.","journal-title":"J. Intell. Inform. Syst."},{"key":"325523_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1007\/3-540-59487-6_3","volume-title":"Proceedings of the 3rd International Conference on Logic Programming and Nonmonotonic Reasoning","author":"C.V. Dam\u00e1sio","year":"1995","unstructured":"C.V. Dam\u00e1sio and L.M. Pereira, Abduction over 3-valued extended logic programs, in: Proceedings of the 3rd International Conference on Logic Programming and Nonmonotonic Reasoning, eds. V.W. Marek, A. Nerode and M. Truszczy\u0144ski, Lecture Notes in Artificial Intelligence, Vol. 928 (Springer, Berlin, 1995) pp. 29-42."},{"key":"325523_CR11","unstructured":"H. Decker, An extension of SLD by abduction and integrity maintenance for view updating in deductive databases, in: Proceedings of the 1996 Joint International Conference and Symposium on Logic Programming (MIT Press, 1996) pp. 157-169."},{"key":"325523_CR12","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1016\/S0743-1066(97)00074-5","volume":"34","author":"M. Denecker","year":"1998","unstructured":"M. Denecker and D. De Schreye, SLDNFA: an abductive procedure for abductive logic programs, J. Logic Programming 34 (1998) 111-167.","journal-title":"J. Logic Programming"},{"key":"325523_CR13","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/BF00244495","volume":"17","author":"J. Fern\u00e1ndez","year":"1996","unstructured":"J. Fern\u00e1ndez, J. Grant and J. Minker, Model theoretic approach to view updates in deductive databases, J. Automat. Reason. 17 (1996) 171-197.","journal-title":"J. Automat. Reason."},{"key":"325523_CR14","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/S0743-1066(97)00026-5","volume":"33","author":"T.H. Fung","year":"1997","unstructured":"T.H. Fung and R. Kowalski, The iff procedure for abductive logic programming, J. Logic Programming 33 (1997) 151-165.","journal-title":"J. Logic Programming"},{"key":"325523_CR15","unstructured":"M. Gelfond and V. Lifschitz, The stable model semantics for logic programming, in: Proceedings of the 5th International Conference and Symposium on Logic Programming (MIT Press, 1988) pp. 1070-1080."},{"key":"325523_CR16","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"M. Gelfond and V. Lifschitz, Classical negation in logic programs and disjunctive databases, New Generation Computing 9 (1991) 365-385.","journal-title":"New Generation Computing"},{"key":"325523_CR17","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1007\/BF00881907","volume":"11","author":"J. Grant","year":"1993","unstructured":"J. Grant, J. Horty, J. Lobo and J. Minker, View updates in stratified disjunctive databases, J. Automat. Reason. 11 (1993) 249-267.","journal-title":"J. Automat. Reason."},{"key":"325523_CR18","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/BF03037523","volume":"10","author":"A. Guessoum","year":"1991","unstructured":"A. Guessoum and J.W. Lloyd, Updating knowledge bases II, New Generation Computing 10 (1991) 73-100.","journal-title":"New Generation Computing"},{"key":"325523_CR19","first-page":"204","volume-title":"Proceedings of the 14th International Joint Conference on Artificial Intelligence","author":"K. Inoue","year":"1995","unstructured":"K. Inoue and C. Sakama, Abductive framework for nonmonotonic theory change, in: Proceedings of the 14th International Joint Conference on Artificial Intelligence (Morgan Kaufmann, San Mateo, CA, 1995) pp. 204-210."},{"key":"325523_CR20","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/0743-1066(95)00119-0","volume":"27","author":"K. Inoue","year":"1996","unstructured":"K. Inoue and C. Sakama, A fixpoint characterization of abductive logic programs, J. Logic Programming 27 (1996) 107-136.","journal-title":"J. Logic Programming"},{"key":"325523_CR21","first-page":"394","volume-title":"Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning","author":"K. Inoue","year":"1998","unstructured":"K. Inoue and C. Sakama, Specifying transactions for extended abduction, in: Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (Morgan Kaufmann, San Mateo, CA, 1998) pp. 394-405."},{"key":"325523_CR22","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A.C. Kakas","year":"1992","unstructured":"A.C. Kakas, R.A. Kowalski and F. Toni, Abductive logic programming, J. Logic Comput. 2 (1992) 719-770.","journal-title":"J. Logic Comput."},{"key":"325523_CR23","first-page":"650","volume-title":"Proceedings of the 16th International Conference on Very Large Databases","author":"A.C. Kakas","year":"1990","unstructured":"A.C. Kakas and P. Mancarella, Database updates through abduction, in: Proceedings of the 16th International Conference on Very Large Databases (Morgan Kaufmann, San Mateo, CA, 1990) pp. 650-661."},{"key":"325523_CR24","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/0004-3702(92)90073-7","volume":"53","author":"K. Konolige","year":"1992","unstructured":"K. Konolige, Abduction versus closure in causal theories, Artificial Intelligence 53 (1992) 255-272.","journal-title":"Artificial Intelligence"},{"key":"325523_CR25","unstructured":"K. Konolige, Abductive theories in artificial intelligence, in: Principles of Knowledge Representation, ed. G. Brewka (CSLI Publications & FoLLI, 1996) pp. 129-152."},{"key":"325523_CR26","unstructured":"N. Lavra\u010d and S. D\u017eeroski, Inductive Logic Programming: Techniques and Applications (Ellis Horwood, 1994)."},{"key":"325523_CR27","series-title":"Lecture Notes in Artificial Intelligence","first-page":"122","volume-title":"Proceedings of the 4th European Conference on Logics in AI","author":"V.W. Marek","year":"1994","unstructured":"V.W. Marek and M. Truszczy\u0144ski, Revision specifications by means of programs, in: Proceedings of the 4th European Conference on Logics in AI, Lecture Notes in Artificial Intelligence, Vol. 838 (Springer, Berlin, 1994) pp. 122-136."},{"key":"325523_CR28","doi-asserted-by":"publisher","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 (1988) 27-47.","journal-title":"Artificial Intelligence"},{"key":"325523_CR29","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0004-3702(87)90062-2","volume":"32","author":"R. Reiter","year":"1987","unstructured":"R. Reiter, A theory of diagnosis from first principles, Artificial Intelligence 32 (1987) 57-95.","journal-title":"Artificial Intelligence"},{"key":"325523_CR30","unstructured":"F. Rossi and S.A. Naqvi, Contributions to the view update problem, in: Proceedings of the 6th International Conference on Logic Programming (MIT Press, 1989) pp. 398-415."},{"key":"325523_CR31","unstructured":"V.S. Subrahmanian, On the semantics of quantitative logic programs, in: Proceedings of the 4th IEEE Symposium on Logic Programming (IEEE Computer Society Press, 1987) pp. 173-182."},{"key":"325523_CR32","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. van Gelder","year":"1991","unstructured":"A. van Gelder, K.A. Ross and J.S. Schlipf, The well-founded semantics for general logic programs, J. ACM 38 (1991) 620-650.","journal-title":"J. ACM"}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018926021566.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1018926021566\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1018926021566.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T05:31:20Z","timestamp":1747546280000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1018926021566"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,11]]},"references-count":32,"journal-issue":{"issue":"3-4","published-print":{"date-parts":[[1999,11]]}},"alternative-id":["325523"],"URL":"https:\/\/doi.org\/10.1023\/a:1018926021566","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"type":"print","value":"1012-2443"},{"type":"electronic","value":"1573-7470"}],"subject":[],"published":{"date-parts":[[1999,11]]}}}