{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:48:13Z","timestamp":1749221293195},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1995,5,1]],"date-time":"1995-05-01T00:00:00Z","timestamp":799286400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J Intell Inf Syst"],"published-print":{"date-parts":[[1995,5]]},"DOI":"10.1007\/bf00961655","type":"journal-article","created":{"date-parts":[[2005,1,7]],"date-time":"2005-01-07T15:20:27Z","timestamp":1105111227000},"page":"261-280","source":"Crossref","is-referenced-by-count":26,"title":["The role of abduction in database view updating"],"prefix":"10.1007","volume":"4","author":[{"given":"Luca","family":"Console","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria Luisa","family":"Sapino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniele Theseider","family":"Dupr\ufffd","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","doi-asserted-by":"crossref","unstructured":"Abiteboul, S. (1988). Updates, a New Frontier.Proc. 2nd International Conference on Database Theory (pp. 1?18). Lecture Notes in Computer Science 326, Springer Verlag.","DOI":"10.1007\/3-540-50171-1_1"},{"key":"CR2","unstructured":"Abiteboul, S. and Grahne, G. (1985). Update semantics for incomplete databases.Proc. 11th VLDB Conference (pp. 1?12), Stockholm."},{"key":"CR3","first-page":"617","volume-title":"Acyclic programs","author":"K.R. Apt","year":"1990","unstructured":"Apt, K.R. and Bezem, M. (1990). Acyclic programs.Proc. 7th Int. Conf. on Logic Programming (pp. 617?633). MIT Press, Jerusalem."},{"issue":"4","key":"CR4","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1145\/319628.319634","volume":"6","author":"F. Bancilhon","year":"1981","unstructured":"Bancilhon, F. and Spyratos, N. (1981). Update Semantics of Relational Views.ACM Trans, on Database Systems 6(4), 557?575.","journal-title":"ACM Trans, on Database Systems"},{"key":"CR5","volume-title":"Intensional Updates: Abduction via Deduction","author":"F. Bry","year":"1990","unstructured":"Bry, F. (1990). Intensional Updates: Abduction via Deduction.Proc. 6th International Conference on Logic Programming. MIT Press, Jerusalem."},{"key":"CR6","unstructured":"Ceri, S., Gottlob, G., and Tanca, L. (1989).Logic Programming and Databases. Springer Verlag."},{"key":"CR7","first-page":"111","volume-title":"Constructive Negation Based on the Completed Database","author":"D. Chan","year":"1988","unstructured":"Chan, D. (1988). Constructive Negation Based on the Completed Database.Proc. 5th Int. Conf. and Symposium on Logic Programming (pp. 111?125). MIT Press, Seattle."},{"key":"CR8","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-1-4684-3384-5_11","volume-title":"Logic and Data Bases","author":"K. Clark","year":"1978","unstructured":"Clark, K. (1978). Negation as failure.Logic and Data Bases (pp. 293?322). H. Gallaire and J. Minker, (eds.), Plenum Press, New York."},{"key":"CR9","unstructured":"Console, L., Portinale, L., and Theseider Dupr\u00e9, D. (1991). Focusing Abductive Diagnosis.Proc. 11th Int. Conf. on Expert Systems and Their Applications (Conf. on 2nd Generation Expert Systems) (pp. 231?242). Avignon, also inAI Communications, 4(2\/3), 88?97."},{"key":"CR10","unstructured":"Console, L., Theseider Dupr\u00e9, D., and Torasso, P. (1989). Abductive Reasoning through Direct Deduction from Completed Domain Models.Methodologies for Intelligent Systems 4 (pp. 175?182). Z. Ras (Ed.), North Holland."},{"issue":"5","key":"CR11","doi-asserted-by":"crossref","first-page":"661","DOI":"10.1093\/logcom\/1.5.661","volume":"1","author":"L. Console","year":"1991","unstructured":"Console, L., Theseider Dupr\u00e9, D., and Torasso, P. (1991). On the Relationship between Abduction and Deduction.Journal of Logic and Computation, 1(5), 661?690.","journal-title":"Journal of Logic and Computation"},{"key":"CR12","unstructured":"Cox, P.T. and Pietrzykowski, T. (1987). General Diagnosis by Abductive Inference.Proc. IEEE Symposium on Logic Programming (pp. 183?189). San Francisco."},{"key":"CR13","unstructured":"Dalai, M. (1988). Investigations into a Theory of Knowledge Base Revision: Preliminary Report.Proc. AAAI-88, Minneapolis."},{"issue":"3","key":"CR14","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1145\/319732.319740","volume":"8","author":"U. Dayal","year":"1982","unstructured":"Dayal, U. and Bernstein, P.A. (1982). On the Correct Translation of Update Operations on Relational Views.ACM Transactions on Database Systems, 8(3), 381?416.","journal-title":"ACM Transactions on Database Systems"},{"key":"CR15","first-page":"234","volume-title":"Abduction Compared with Negation by Failure","author":"K. Eshghi","year":"1989","unstructured":"Eshghi, K. and Kowalski, R. (1989). Abduction Compared with Negation by Failure.Proc. 6th Int. Conf. on Logic Programming. 234?254. MIT Press, Lisbon."},{"key":"CR16","first-page":"1","volume":"3","author":"R. Fagin","year":"1986","unstructured":"Fagin, R., Kuper, G., Ullman, J., and Vardi, M. (1986). Updating Logical Databases.Advances in Computer Research, 3, 1?18.","journal-title":"Advances in Computer Research"},{"key":"CR17","doi-asserted-by":"crossref","unstructured":"Fagin, R., Ullman, J., and Vardi, M. (1983). On the Semantics of Updates in Databases.Proc. 2nd ACM PODS.","DOI":"10.1145\/588058.588100"},{"key":"CR18","unstructured":"Gaerdenfors, P. (1988).Knowledge in Flux?Modeling the Dynamics ofEpistemic States. MIT Press."},{"key":"CR19","first-page":"1170","volume-title":"The stable models semantics for logic programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M. and Lifschitz, V. (1988). The stable models semantics for logic programming.Proc. 5th International Conference and Symposium on Logic Programming (pp. 1170?1180). MIT Press, Seattle."},{"issue":"1","key":"CR20","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1007\/BF03037523","volume":"10","author":"A. Guessoum","year":"1991","unstructured":"Guessoum, A. and Lloyd, J.W. (1991). Updating Knowledge Bases II.New Generation Computing, 10(1), 73?100.","journal-title":"New Generation Computing"},{"issue":"1","key":"CR21","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/BF03037514","volume":"8","author":"A. Guessoum","year":"1990","unstructured":"Guessoum, A. and Lloyd, J.W. (1990). Updating Knowledge Bases.New Generation Computing, 8(1), 71?89.","journal-title":"New Generation Computing"},{"key":"CR22","unstructured":"Kakas, A.C. and Mancarella, P. (1990). Database Updates Through Abduction.Proc. 16th VLDB Conference. Brisbane."},{"key":"CR23","unstructured":"Kakas, A.C. and Mancarella, P. (1990). Generalized Stable Models: A Semantics For Abduction.Proc. 9th ECAI, Stockholm."},{"key":"CR24","doi-asserted-by":"crossref","unstructured":"Lloyd, J. (1987).Foundations of Logic Programming, 2nd edition. Springer Verlag.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"CR25","unstructured":"Naqvi, S.A. and Krishnamurthy, R. (1989). Semantics of Updates in Logic Programming.Advances in Database Programming Languages (pp. 313?327). F. Bancilhon and P. Buneman, (Eds.), ACM Press."},{"issue":"1","key":"CR26","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1111\/j.1467-8640.1989.tb00319.x","volume":"5","author":"D. Poole","year":"1989","unstructured":"Poole, D. (1989). Explanation and Prediction: An Architecture for Default and Abductive Reasoning.Computational Intelligence, 5(1), 97?110.","journal-title":"Computational Intelligence"},{"issue":"1","key":"CR27","doi-asserted-by":"crossref","first-page":"521","DOI":"10.1002\/int.4550050506","volume":"5","author":"D. Poole","year":"1990","unstructured":"Poole, D. (1990). A Methodology for Using a Default and Abductive Reasoning System.International Journal of Intelligent Systems, 5(1), 521?548.","journal-title":"International Journal of Intelligent Systems"},{"key":"CR28","unstructured":"Reiter, R. (1988). On Integrity Constraints.Theoretical Aspects of Reasoning About Knowledge (pp. 97?112). M. Vardi (Ed.)."},{"key":"CR29","first-page":"398","volume-title":"Contributions to the View Update Problem","author":"F. Rossi","year":"1989","unstructured":"Rossi, F. and Naqvi, S.A. (1989). Contributions to the View Update Problem.Proc. 6th International Conference on Logic Programming (pp. 398?415). MIT Press, Libon."},{"key":"CR30","unstructured":"Selman, B. and Levesque H. (1990). Abductive and Default Reasoning: A Computational Core.Proc. AAAI 90 (pp. 343?348). Boston."},{"key":"CR31","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BFb0032435","volume":"580","author":"E. Teniente","year":"1992","unstructured":"Teniente, E. and Oliv\u00e9, A. (1992). The Events Method for View updating in Deductive Databases.EDBT 92?Lecture Notes in Computer Science 580 (pp. 245?260).","journal-title":"EDBT 92?Lecture Notes in Computer Science"},{"issue":"2","key":"CR32","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1145\/42338.42386","volume":"13","author":"M. Winslett","year":"1988","unstructured":"Winslett, M. (1988). A Model-Based Approach to Updating Databases with Incomplete Information.ACM Transactions on Database Systems, 13(2), 167?196.","journal-title":"ACM Transactions on Database Systems"},{"key":"CR33","unstructured":"Winslett, M. (1989). Sometimes Updates Are Circumscription.Proc. 11th IJCAI (pp. 859?863). Detroit."},{"key":"CR34","doi-asserted-by":"crossref","unstructured":"Winslett, M. (1990).Updating Logical Databases. Cambridge Tracts in Theoretical Computer Science.","DOI":"10.1017\/CBO9780511663109"},{"key":"CR35","doi-asserted-by":"crossref","first-page":"142","DOI":"10.1016\/0022-0000(84)90080-1","volume":"28","author":"C. Zaniolo","year":"1984","unstructured":"Zaniolo, C. (1984). Database Relations with Null Values.Journal of Computer and System Sciences, 28, 142?166.","journal-title":"Journal of Computer and System Sciences"}],"container-title":["Journal of Intelligent Information Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00961655.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00961655\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00961655","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,5]],"date-time":"2020-04-05T07:21:24Z","timestamp":1586071284000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00961655"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,5]]},"references-count":35,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1995,5]]}},"alternative-id":["BF00961655"],"URL":"https:\/\/doi.org\/10.1007\/bf00961655","relation":{},"ISSN":["0925-9902","1573-7675"],"issn-type":[{"value":"0925-9902","type":"print"},{"value":"1573-7675","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995,5]]}}}