{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,29]],"date-time":"2025-03-29T02:10:15Z","timestamp":1743214215585,"version":"3.40.3"},"reference-count":51,"publisher":"Informa UK Limited","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Applied Non-Classical Logics"],"published-print":{"date-parts":[[1995,1]]},"DOI":"10.1080\/11663081.1995.10510843","type":"journal-article","created":{"date-parts":[[2012,5,30]],"date-time":"2012-05-30T08:07:40Z","timestamp":1338365260000},"page":"51-76","source":"Crossref","is-referenced-by-count":5,"title":["Knowledge base dynamics, abduction, and database updates"],"prefix":"10.1080","volume":"5","author":[{"given":"Chandrabose","family":"Aravindan","sequence":"first","affiliation":[]},{"given":"Phan Minh","family":"Dung","sequence":"additional","affiliation":[]}],"member":"301","reference":[{"unstructured":"Abiteboul, S. 1988.Updates: A new Frontier, Proc. of the second international conference on database theory, LNCS 326 Edited by: Gyssens, M., Paredaens, J. and Van Gucht, D. 1\u201318. Springer-Verlag.","key":"CIT0001"},{"doi-asserted-by":"crossref","unstructured":"Alchourr\u00f3n, C. E., G\u00e4rdenfors, P. and Makinson, D. 1985.On the logic of theory change: Partial meet contraction and revision functionsVol. 2, 510\u2013530. The Journal of Symbolic Logic 50 Number","key":"CIT0002","DOI":"10.2307\/2274239"},{"key":"CIT0003","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/BF00370430","volume":"44","author":"Alchourr\u00f3n C. E.","year":"1985","journal-title":"Studia Logica"},{"doi-asserted-by":"crossref","unstructured":"Aravindan, C. and Dung, P. M. 1994.Partial deduction of logic programs wrt well-founded semanticsVol. 13, 45\u201374. New Generation Computing. (a short version of this paper appears in: H. Kirchner G. Levi. Proc. of the 3rd International Conf. on Algebraic and Logic Programming, LNCS 632, Springer-Verlag, 1992, 384\u2013402)","key":"CIT0004","DOI":"10.1007\/BFb0013839"},{"doi-asserted-by":"crossref","unstructured":"Aravindan, C. and Dung, P. M. March 1994.Relationship between G\u00e4rdenfors- Makinson's epistemic entrenchment and Katsuno-Mendelzon'sfaithful total pre-ordersEdited by: Sadananda, R. March, 182\u2013186. Proc. of the International Conference on Expert Systems Development, IEEE","key":"CIT0005","DOI":"10.1109\/ICESD.1994.302284"},{"key":"CIT0006","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0021965","volume-title":"Belief dynamics, abduction, and databases, In: Proc. of JELIA'94, LNAI, Springer-Verlag","author":"Aravindan C.","year":"1994"},{"doi-asserted-by":"crossref","unstructured":"Benkerimi, K. and Shepherdson, J. C. 1994.Partial deduction of updatable definite logic programsVol. 18, 1\u201326. The Journal of Logic Programming","key":"CIT0007","DOI":"10.1016\/0743-1066(94)90039-6"},{"key":"CIT0008","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1145\/68012.68015","volume":"14","author":"Blakeley J. A.","year":"1989","journal-title":"ACM Transactions on Database Systems"},{"doi-asserted-by":"crossref","unstructured":"Bol, R. N., Apt, K. R. and Klop, J. W. 1991.An analysis of loop checking mechanisms for logic programs, Theoretical Computer Science 86 No. 135\u201379.","key":"CIT0009","DOI":"10.1016\/0304-3975(91)90004-L"},{"doi-asserted-by":"crossref","unstructured":"Bol, R. N. 1993.Loop checking in partial deduction, The Journal of Logic Programming 16 No. 1&225\u201346.","key":"CIT0010","DOI":"10.1016\/0743-1066(93)90022-9"},{"key":"CIT0011","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1145\/49346.49884","volume":"13","author":"Brosda V.","year":"1988","journal-title":"ACM Transactions on Database Systems"},{"volume-title":"Intensional Updates: Abduction via deduction, In: Proc. of the 7th International Conf. on Logic Programming","year":"1990","author":"Bry F.","key":"CIT0012"},{"key":"CIT0013","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1145\/319732.319740","volume":"8","author":"Dayal U.","year":"1982","journal-title":"ACM Transactions on Database Systems"},{"volume-title":"Drawing updates from derivations, Technical Report IR-KB-65, ECRC, Germany","year":"1989","author":"Decker H.","key":"CIT0014"},{"volume-title":"ftp.ms.uky.edu","author":"Denecker M.","key":"CIT0015"},{"volume-title":"A strategy for the computation of conditional answers, In: Proc. of ECAI'92","year":"1992","author":"Demolombe R.","key":"CIT0016"},{"volume-title":"An argumentation theoretic framework for Logic Programming","author":"Dung P. M.","key":"CIT0017"},{"unstructured":"Fagin, R., Kuper, G. M., Ullman, J. D. and Vardi, M. Y. 1986.Updating logical databases, In: Advances in Computing Research, Volume 3, Jai Press Inc.1\u201318.","key":"CIT0018"},{"doi-asserted-by":"crossref","unstructured":"Fuhrmann, A. 1991.Theory contraction through base contractionVol. 20, 175\u2013203. Journal of Philosophical Logic","key":"CIT0019","DOI":"10.1007\/BF00284974"},{"unstructured":"G\u00e4rdenfors, P. and Makinson, D. 1988.Revisions of knowledge systems using epistemic entrenchmentEdited by: Vardi, M. Y. 83\u201395. Proc. of the second conf. on Theoretical aspects of Reasoning about Knowledge, Morgan Kaufmann","key":"CIT0020"},{"doi-asserted-by":"crossref","unstructured":"G\u00e4rdenfors, P. 1992.Belief Revision: An IntroductionEdited by: G\u00e4rdenfors, P. 1\u201328. Cambridge University Press. Belief Revision","key":"CIT0021","DOI":"10.1017\/CBO9780511526664.001"},{"volume-title":"Belief Revision","author":"G\u00e4rdenfors P.","doi-asserted-by":"crossref","key":"CIT0022","DOI":"10.1017\/CBO9780511526664"},{"doi-asserted-by":"crossref","unstructured":"Grove, A. 1988.Two modellings for theory changeVol. 17, 157\u2013170. Journal of Philosophical Logic","key":"CIT0023","DOI":"10.1007\/BF00247909"},{"volume-title":"Updating Knowledge Bases, Technical Report TR-89\u201305, Department of computer science, University of Bristol, U.K.","year":"1989","author":"Guessoum A.","key":"CIT0024"},{"volume-title":"Updating Knowledge Bases II, Technical Report TR-90-13, Department of computer science, University of Bristol, U.K.","year":"1990","author":"Guessom A.","key":"CIT0025"},{"volume-title":"Counting solutions to the view maintenance problem, Technical Report ATT-DB-92-8, AT&T Bell Labs., U.S.A.","year":"1992","author":"Gupta A.","key":"CIT0026"},{"unstructured":"Gupta, A., Mumick, I. S. and Subrahmanian, V. S. 1993.Maintaining views incrementally (Extended abstract), In: Proc. of the International Conf. on Management of Data, ACM157\u2013166.","key":"CIT0027"},{"issue":"2","key":"CIT0028","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BF00370186","volume":"50","author":"Hansson S. O.","year":"1991","journal-title":"Studia Logica"},{"volume-title":"Belief base dynamics, Doctoral dissertation, Uppsala university, Sweden","year":"1991","author":"Hansson S. O.","key":"CIT0029"},{"key":"CIT0030","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/BF00413568","volume":"91","author":"Hansson S. O.","year":"1992","journal-title":"Synthese"},{"unstructured":"Hansson, S. O. 1993.Bridging a gap between AI research and philosophyEdited by: Sandewall, E. and Jansson, C. G. 1\u20139. Proc. of the Scandinavian conf. on Artificial Intelligence '93, IOS Press","key":"CIT0031"},{"volume-title":"Theory contraction and base contraction unified","author":"Hansson S. O.","doi-asserted-by":"crossref","key":"CIT0032","DOI":"10.2307\/2275221"},{"volume-title":"Kernel Contraction","author":"Hansson S. O.","doi-asserted-by":"crossref","key":"CIT0033","DOI":"10.2307\/2275912"},{"doi-asserted-by":"crossref","unstructured":"Kakas, A. C., Kowalski, R. A. and Toni, F. 1992.Abductive logic programmingVol. 2, 719\u2013770. Journal of Logic and Computation","key":"CIT0034","DOI":"10.1093\/logcom\/2.6.719"},{"volume-title":"Database updates through abduction, Technical Report, Department of Computing, Imperial College, London, U.K.","year":"1990","author":"Kakas A. C.","key":"CIT0035"},{"doi-asserted-by":"crossref","unstructured":"Katsuno, H. and Mendelzon, A. O. 1991.Propositional knowledge base revision and minimal changeVol. 52, 263\u2013294. Artificial Intelligence","key":"CIT0036","DOI":"10.1016\/0004-3702(91)90069-V"},{"unstructured":"Keller, A. M. 1985.Algorithms for translating view updates to database updates for views involving selections, projections, and joins, In: Proc. of the 4th ACM Symposium on Principles of Database Systems, ACM154\u2013163.","key":"CIT0037"},{"volume-title":"ftp.ms.uky.edu","year":"1994","author":"Kowalski R.","key":"CIT0038"},{"doi-asserted-by":"crossref","unstructured":"Langerak, R. 1990.View updates in relational databases with an independent scheme, ACM Transactions on Database Systems 15 No. 140\u201366.","key":"CIT0039","DOI":"10.1145\/77643.77645"},{"doi-asserted-by":"crossref","unstructured":"Lindstr\u00f6m, S. and Rabinowicz, W. 1991.Epistemic entrenchment with incomparabilities and relational belief revisionEdited by: Fuhrmann, A. and Morreau, M. 93\u2013126. Proc. of the Workshop on The logic of theroy change, LNAI 465, Springer-Verlag","key":"CIT0040","DOI":"10.1007\/BFb0018418"},{"key":"CIT0041","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of logic programming, Second extended edition, Springer-Verlag","author":"Lloyd J. W.","year":"1987"},{"volume-title":"Partial evaluation in logic programming, Technical Report No. CS-87-09, University of Bristol, U.K.","year":"1987","author":"Lloyd J. W.","key":"CIT0042"},{"volume-title":"The theory of relational databases, Computer Science Press","year":"1983","author":"Maier D.","key":"CIT0043"},{"doi-asserted-by":"crossref","unstructured":"Makinson, D. 1985.How to give it up: A survey of some formal aspects of the logic of theory changeVol. 62, 347\u2013363. Synthese","key":"CIT0044","DOI":"10.1007\/BF00869410"},{"doi-asserted-by":"crossref","unstructured":"Makinson, D. 1987.On the status of the postulate of recovery in the logic of theory changeVol. 16, 383\u2013394. Journal of Philosophical Logic","key":"CIT0045","DOI":"10.1007\/BF00431184"},{"unstructured":"Nebel, B. 1989.A knowledge level analysis of belief revisionEdited by: Brachman, R. J., Levesque, H. J. and Reiter, R. 301\u2013311. Proc. of the first international conference on principles of knowledge representation and reasoning, Morgan Kaufmann","key":"CIT0046"},{"unstructured":"Nebel, B. 1991.Belief revision and default reasoning: Syntax-based approachesEdited by: Allen, J. A., Fikes, R. and Sandewall, E. 417\u2013428. Proc. of the second international conference on Principles of knowledge representation and reasoning, Morgan Kaufmann","key":"CIT0047"},{"volume-title":"Refining knowledge base updates, In: Proc. of the 7th Brazilian Symposium on Artificial Intelligence, November","year":"1990","author":"Pereira L. M.","key":"CIT0048"},{"doi-asserted-by":"crossref","unstructured":"Reiter, R. 1987.A theory of diagnosis from first principlesEdited by: Ginsberg, M. L. 57\u201395. Artificial Intelligence 32, (Also in: Readings in non-monotonic reasoning, Morgan Kaufmann, 352\u2013371)","key":"CIT0049","DOI":"10.1016\/0004-3702(87)90062-2"},{"doi-asserted-by":"crossref","unstructured":"Sadri, F. and Kowalski, R. 1988.A theorem proving approach to database integrityEdited by: Minker, J. 313\u2013362. Foundations of deductive databases and logic programming, Morgan Kaufmann","key":"CIT0050","DOI":"10.1016\/B978-0-934613-40-8.50013-0"},{"doi-asserted-by":"crossref","unstructured":"Tomasic, A. 1988.View update translation via deduction and annotationEdited by: Gyssens, M., Paredaens, J. and Van Gucht, D. 338\u2013352. Proc. of ICDT '88, LNCS 326, Springer-Verlag","key":"CIT0051","DOI":"10.1007\/3-540-50171-1_22"}],"container-title":["Journal of Applied Non-Classical Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.tandfonline.com\/doi\/pdf\/10.1080\/10256018808623883","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,29]],"date-time":"2025-03-29T01:48:01Z","timestamp":1743212881000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.tandfonline.com\/doi\/abs\/10.1080\/11663081.1995.10510843"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995,1]]},"references-count":51,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1995,1]]}},"alternative-id":["10.1080\/11663081.1995.10510843"],"URL":"https:\/\/doi.org\/10.1080\/11663081.1995.10510843","relation":{},"ISSN":["1166-3081","1958-5780"],"issn-type":[{"type":"print","value":"1166-3081"},{"type":"electronic","value":"1958-5780"}],"subject":[],"published":{"date-parts":[[1995,1]]}}}