{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:40:02Z","timestamp":1749220802502,"version":"3.41.0"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1998,7,1]],"date-time":"1998-07-01T00:00:00Z","timestamp":899251200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1998,7,1]],"date-time":"1998-07-01T00:00:00Z","timestamp":899251200000},"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":["Journal of Intelligent Information Systems"],"published-print":{"date-parts":[[1998,7]]},"DOI":"10.1023\/a:1008678826820","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T15:12:40Z","timestamp":1040569960000},"page":"41-67","source":"Crossref","is-referenced-by-count":2,"title":["Abductive Knowledge Base Updates for Contextual Reasoning"],"prefix":"10.1007","volume":"11","author":[{"given":"Ahmed","family":"Guessoum","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"164041_CR1","doi-asserted-by":"crossref","unstructured":"Abiteboul, S. (1988). Updates, a new frontier. In M. Gyssens, J. Paredaens, and D. Van Gucht, editors, Proceedings of the Second International Conference on the Theory of Databases, Lecture Notes in Computer Science 326, Springer-Verlag, 1\u201318.","DOI":"10.1007\/3-540-50171-1_1"},{"key":"164041_CR2","unstructured":"Allen, J. (1995). Natural Language Understanding. The Benjamin\/Cummings Publishing Company, second edition."},{"issue":"3","key":"164041_CR3","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1145\/68012.68015","volume":"14","author":"J.A. Blakeley","year":"1989","unstructured":"Blakeley, J.A., Coburn, N., and Larson, P.-A. (1989). Updating derived relations: Detecting irrelevant and autonomously computable updates. ACM Transactions on Database Systems, 14(3):369\u2013400.","journal-title":"ACM Transactions on Database Systems"},{"key":"164041_CR4","unstructured":"Bowen, K.A. and Kowalski, R.A. (1982). Amalgamating language and meta-language in logic programming. In K.L. Clark and S.-A. Tarnlund, editors, Logic Programming, Academic Press, 153\u2013172."},{"key":"164041_CR5","unstructured":"Bry, F. (1990). Intensional updates: Abduction via deduction. In D.H.D. Warren and P. Szeredi, editors, Seventh International Conference on Logic Programming (pp. 561\u2013575), Jerusalem."},{"issue":"4","key":"164041_CR6","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 Transactions on Database Systems, 6(4):557\u2013575.","journal-title":"ACM Transactions on Database Systems"},{"key":"164041_CR7","doi-asserted-by":"crossref","unstructured":"Cox, P.T. and Pietrzykowski T. (1986). Causes for events: Their computation and applications. In J.H. Siekmann, editor, Proceedings of the Eighth International Conference on Automated Deduction (pp. 608\u2013621), Lecture Notes in Computer Science 230, Springer-Verlag.","DOI":"10.1007\/3-540-16780-3_125"},{"issue":"3","key":"164041_CR8","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/BF00961655","volume":"4","author":"L. Console","year":"1995","unstructured":"Console, L., Sapino, M.L., and Dupr\u00e9, D.T. (1995). The role of abduction in database view updating. Journal of Intelligent Information Systems, 4(3):261\u2013280.","journal-title":"Journal of Intelligent Information Systems"},{"issue":"3","key":"164041_CR9","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1145\/319732.319740","volume":"8","author":"U. Dayal","year":"1982","unstructured":"Dayal, U. and P.A. Bernstein, P.A. (1982). On the correct translation of update operations on relational views. ACM Transactions on Database Systems, 8(3):381\u2013416.","journal-title":"ACM Transactions on Database Systems"},{"key":"164041_CR10","unstructured":"Decker, H. (1986). Integrity enforcement in deductive databases. In Proceeding of the first International Conference on Expert Database Systems (pp. 271\u2013285), Charleston, S.C."},{"key":"164041_CR11","doi-asserted-by":"crossref","unstructured":"Decker, H. (1990). Drawing updates from derivations. Technical Report IR-KB-65, ECRC, March 1989 (revised March 1990).","DOI":"10.1007\/3-540-53507-1_94"},{"key":"164041_CR12","volume-title":"Brainstorms, Philosophical Essays on Mind and Psychology","author":"D.C. Dennett","year":"1979","unstructured":"Dennett, D.C. (1979). Brainstorms, Philosophical Essays on Mind and Psychology. Harvester Press, Hassocks, Sussex, England."},{"key":"164041_CR13","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/0004-3702(86)90080-9","volume":"28","author":"J. de Kleer","year":"1986","unstructured":"de Kleer, J. (1986). An assumption-based TMS. Artificial Intelligence, 28:127\u2013162.","journal-title":"Artificial Intelligence"},{"key":"164041_CR14","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/0004-3702(79)90008-0","volume":"12","author":"J. Doyle","year":"1979","unstructured":"Doyle, J. (1979). A truth maintenance system. Artificial Intelligence, 12:231\u2013272.","journal-title":"Artificial Intelligence"},{"key":"164041_CR15","volume-title":"Sixth International Conference on Logic Programming","author":"K. Eshghi","year":"1989","unstructured":"Eshghi, K. and Kowalski, R.A. (1989). Abduction compared with negation by failure. In G. Levi and M. Martelli, editors, Sixth International Conference on Logic Programming, Lisbon, MIT Press."},{"key":"164041_CR16","unstructured":"Fujiwara, Y. and Honiden, S. (1989). Relating the TMS to Autoepistemic Logic. Proceedings of the eleventh International Joint Conference on Artificial Intelligence."},{"key":"164041_CR17","unstructured":"G\u00e4rdenfors, P. (1988). Knowledge in Flux. The MIT Press."},{"volume-title":"Readings in Non-Monotonic Reasoning","year":"1987","key":"164041_CR18","unstructured":"Ginsberg, M.L., editor. (1987). Readings in Non-Monotonic Reasoning. Morgan Kaufmann, Los Altos, California."},{"key":"164041_CR19","unstructured":"Guessoum, A., Black, W. J., and Gallagher, J. (1993). Abduction for pronoun resolution. In Codognet, P., Dung, P. M., Kakas, A. C., and Mancarella, P., editors, Proceedings of the International Conference on Logic Programming, Post-conference Workshop on Abductive Reasoning, Budapest."},{"key":"164041_CR20","unstructured":"Guessoum, A. and Gallagher, J.P. (1992). Integrity recovery via updates for interactive knowledge base applications. Technical Report CSTR-92-07, Computer Science Department, University of Bristol."},{"key":"164041_CR21","unstructured":"Guessoum, A. and Gallagher, J.P. (To Appear). Abduction and anomaly removal for the handling of knowledge base interaction. In W. J. Black, editor, Studies in Computational Linguistics. The University College Press Series."},{"issue":"1","key":"164041_CR22","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\u201389.","journal-title":"New Generation Computing"},{"issue":"1","key":"164041_CR23","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\u2013100.","journal-title":"New Generation Computing"},{"key":"164041_CR24","unstructured":"Guessoum, A. (1992). Updating Knowledge Bases. PhD thesis, Department of Computer Science, University of Bristol, 1992."},{"key":"164041_CR25","doi-asserted-by":"crossref","unstructured":"Hobbs, J.R. and Stickel, M. (1988). Interpretation as abduction. In Proceedings of the twenty sixth annual meeting of the Association for Computational Linguistics (pp. 95\u2013103), Buffalo, New York.","DOI":"10.3115\/982023.982035"},{"volume-title":"Collected Papers of Charles Sanders Peirce","year":"1958","key":"164041_CR26","unstructured":"Hartshorne, C., Weiss, P., and Burks, A., editors (1958). Collected Papers of Charles Sanders Peirce, volume 2. Harvard University Press, Cambridge, MA."},{"key":"164041_CR27","unstructured":"K. Inoue, K. (1988). A model theory for hypothetical reasoning. Technical Report TR-336, ICOT."},{"key":"164041_CR28","unstructured":"Kitakami, H., Kunifuji, S., Miyachi, T., and Furukawa, K., (1983). A methodology for implementation of a knowledge acquisition system. Technical Report TR-037, ICOT."},{"issue":"6","key":"164041_CR29","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A.C. Kakas","year":"1992","unstructured":"Kakas, A.C., Kowalski, R.A., and Toni, F. (1992). Abductive logic programming. Journal of Logic and Computation, 2(6):719\u2013770.","journal-title":"Journal of Logic and Computation"},{"key":"164041_CR30","unstructured":"Kakas, A.C., and Mancarella, P., (1990). Database updates through abduction. In Proceedings of the 16th VLDB conference, Brisbane."},{"key":"164041_CR31","unstructured":"Kakas, A.C. and Mancarella, P., (1990). Knowledge Assimilation and Truth Maintenance Through Abduction. Technical report, Department of Computing, Imperial College."},{"key":"164041_CR32","unstructured":"Kowalski, R.A., (1979). Logic for Problem Solving. North-Holland."},{"key":"164041_CR33","doi-asserted-by":"crossref","unstructured":"Lakatos, I., (1976). Proofs and Refutations. The Logic of Mathematical Discovery. Cambridge University Press.","DOI":"10.1017\/CBO9781139171472"},{"key":"164041_CR34","unstructured":"Lancel, J. M., (editor), (1993). The ESPRIT Project PLUS: Final Report. Paris, June 1993."},{"issue":"1","key":"164041_CR35","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1145\/77643.77645","volume":"15","author":"R. Langerak","year":"1990","unstructured":"Langerak, R., (1990). View updates in relational databases with an independent scheme. ACM Transactions on Database Systems, 15(1):40\u201366.","journal-title":"ACM Transactions on Database Systems"},{"key":"164041_CR36","doi-asserted-by":"crossref","unstructured":"Lloyd, J. W., (1987). Foundations of Logic Programming. Springer-Verlag, second edition.","DOI":"10.1007\/978-3-642-83189-8"},{"issue":"4","key":"164041_CR37","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1016\/0743-1066(87)90009-4","volume":"4","author":"J. W. Lloyd","year":"1987","unstructured":"Lloyd, J. W., Sonenberg, E. A., and Topor, R. W., (1987). Integrity constraint checking in stratified databases. The Journal of Logic Programming, 4(4):331\u2013343.","journal-title":"The Journal of Logic Programming"},{"key":"164041_CR38","doi-asserted-by":"crossref","unstructured":"Manthey, R. and Bry, F., (1988). SATCHMO: A theorem prover implemented in Prolog. In Proceedings of the Ninth International Conference on Automated Deduction, Argonne, Illinois.","DOI":"10.1007\/BFb0012847"},{"key":"164041_CR39","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/0004-3702(80)90012-0","volume":"13","author":"D. McDermott","year":"1980","unstructured":"McDermott, D. and Doyle, J., (1980). Non-monotonic logic I. Artificial Intelligence, 13:41\u201372, 1980.","journal-title":"Artificial Intelligence"},{"key":"164041_CR40","volume-title":"Proceedings of the XIVth Scandinavian Conference of Linguistics, Workshop on Pragmatics in Dialogue Management","author":"R. Meyer","year":"1994","unstructured":"Meyer, R., and Guessoum, A., (1994). Abduction and conceptual filters for pragmatic reasoning in dialogue systems. In Kristiina Jokinen, editor, Proceedings of the XIVth Scandinavian Conference of Linguistics, Workshop on Pragmatics in Dialogue Management, Publications of the University of G\u00f6teborg, G\u00f6teborg."},{"key":"164041_CR41","unstructured":"Miyachi, T., Kunifuji, S., Furukawa, K., and Kitakami, H., (1985). Constraint-based logic database management: Structuring meta-knowledge in database management. Technical Report TM-0095, ICOT."},{"key":"164041_CR42","unstructured":"Miyachi, T., Kunifuji, S., Kitakami, H., Furukawa, K., Takeuchi, A., and Yokota, H., (1983). A knowledge assimilation method for logic databases. Technical Report TR-025, ICOT."},{"key":"164041_CR43","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1016\/0004-3702(85)90042-6","volume":"25","author":"D. Moore","year":"1985","unstructured":"Moore, D., (1980). Semantical Considerations on Nonmonotonic Logic. Artificial Intelligence, 25:75\u201394, 1985.","journal-title":"Artificial Intelligence"},{"issue":"3","key":"164041_CR44","first-page":"227","volume":"18","author":"J-M. Nicolas","year":"1982","unstructured":"Nicolas, J-M., (1982). Logic for improving integrity checking in relational data bases. Acta Informatica, 18(3):227\u2013253.","journal-title":"Acta Informatica"},{"key":"164041_CR45","unstructured":"Reinfrank, M., Dressler, O, and Brewka, G., (1991). On the Relation Between Truth Maintenance and Auto-epistemic Logic. Proceedings of the eleventh International Joint Conference on Artificial Intelligence."},{"key":"164041_CR46","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R., (1980). A logic for default reasoning. Artificial Intelligence, 13:81\u2013132.","journal-title":"Artificial Intelligence"},{"key":"164041_CR47","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1146\/annurev.cs.02.060187.001051","volume":"2","author":"R. Reiter","year":"1987","unstructured":"Reiter, R., (1987). Nonmonotonic reasoning. Annual Review of Computer Science, 2:147\u2013186.","journal-title":"Annual Review of Computer Science"},{"key":"164041_CR48","unstructured":"Reiter, R. and Kleer, J., 1987. Foundations of Assumption-Based Truth Maintenance Systems (Preliminary Report). In K. Forbus and H. Shrobe, editors, Proceedings of the sixth National conference on Artificial Intelligence (AAAI-87) (pp. 183\u2013188), Seattle."},{"key":"164041_CR49","first-page":"505","volume-title":"Proceedings of the Eighth International Conference on Logic Programming","author":"K. Satoh","year":"1991","unstructured":"Satoh, K. and Iwayama, N., 1991. Computing abduction by using the TMS. In K. Furukawa, editor, Proceedings of the Eighth International Conference on Logic Programming (pp. 505\u2013518), Paris, MIT Press."},{"key":"164041_CR50","doi-asserted-by":"crossref","unstructured":"Tomasic, A., (1988). View update translation via deduction and annotation. In M. Gyssens, J. Paredaens, and D. Van Gucht, editors, Proceedings of the Second International Conference on the Theory of Databases (pp. 338\u2013352), Lecture Notes in Computer Science 326, Springer-Verlag.","DOI":"10.1007\/3-540-50171-1_22"},{"key":"164041_CR51","volume-title":"Proceedings of the XIVth Scandinavian Conference of Linguistics, Workshop on Pragmatics in Dialogue Management","author":"N. Underwood","year":"1994","unstructured":"Underwood, N. and Black, W.J., (1994). More local pragmatics problems and their resolution via abduction. In Kristiina Jokinen, editor, Proceedings of the XIVth Scandinavian Conference of Linguistics, Workshop on Pragmatics in Dialogue Management, Publications of the University of G\u00f6teborg, G\u00f6teborg."}],"container-title":["Journal of Intelligent Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008678826820.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1008678826820\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1008678826820.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,6]],"date-time":"2025-06-06T14:19:46Z","timestamp":1749219586000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1008678826820"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998,7]]},"references-count":51,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1998,7]]}},"alternative-id":["164041"],"URL":"https:\/\/doi.org\/10.1023\/a:1008678826820","relation":{},"ISSN":["0925-9902","1573-7675"],"issn-type":[{"type":"print","value":"0925-9902"},{"type":"electronic","value":"1573-7675"}],"subject":[],"published":{"date-parts":[[1998,7]]}}}