{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:14:40Z","timestamp":1725455680583},"publisher-location":"Berlin\/Heidelberg","reference-count":41,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540583327"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0021965","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T06:17:26Z","timestamp":1131862646000},"page":"66-85","source":"Crossref","is-referenced-by-count":6,"title":["Belief dynamics, abduction, and databases"],"prefix":"10.1007","author":[{"given":"Chandrabose","family":"Aravindan","sequence":"first","affiliation":[]},{"given":"Phan Minh","family":"Dung","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Abiteboul, S., Updates: A new Frontier, In: M. Gyssens, J. Paredaens, and D. Van Gucht (eds.), Proc. of the second international conference on database theory, LNCS 326, Springer-Verlag, 1988, pp. 1\u201318."},{"issue":"Number2","key":"5_CR2","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C.E. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., G\u00e4rdenfors, P., and Makinson, D., On the logic of theory change: Partial meet contraction and revision functions, The Journal of Symbolic Logic 50 Number 2 (1985) 510\u2013530.","journal-title":"The Journal of Symbolic Logic"},{"key":"5_CR3","doi-asserted-by":"crossref","first-page":"405","DOI":"10.1007\/BF00370430","volume":"44","author":"C.E. Alchourr\u00f3n","year":"1985","unstructured":"Alchourr\u00f3n, C.E., and Makinson, D., On the logic of theory change: Safe contraction, Studia Logica 44:405\u2013422 (1985).","journal-title":"Studia Logica"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Aravindan, C. and Dung, P.M., Partial deduction of logic programs wrt well-founded semantics, In: H. Kirchner and G. Levi (eds.), Proc. of the 3rd International Conf. on Algebraic and Logic Programming, LNCS 632, Springer-Verlag, 1992, pp. 384\u2013402.","DOI":"10.1007\/BFb0013839"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Aravindan, C. and Dung, P.M., Relationship between G\u00e4rdenfors-Makinson's epistemic entrenchment and Katsuno-Mendelzon's faithful total pre-orders, To appear in: Proc. of the International Conference on Expert Systems Development, IEEE, March 1994.","DOI":"10.1109\/ICESD.1994.302284"},{"key":"5_CR6","volume-title":"Technical Report TR-90-27","author":"K. Benkerimi","year":"1990","unstructured":"Benkerimi, K. and Shepherdson, J.C., Partial evaluation of dynamic logic programs, Technical Report TR-90-27, University of Bristol, U.K., November 1990."},{"issue":"No.1","key":"5_CR7","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/0304-3975(91)90004-L","volume":"86","author":"R.N. Bol","year":"1991","unstructured":"Bol, R.N., Apt, K.R., and Klop, J.W., An analysis of loop checking mechanisms for logic programs, Theoretical Computer Science 86 No. 1 (1991) 35\u201379.","journal-title":"Theoretical Computer Science"},{"issue":"No.1&2","key":"5_CR8","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/0743-1066(93)90022-9","volume":"16","author":"R.N. Bol","year":"1993","unstructured":"Bol, R.N., Loop checking in partial deduction, The Journal of Logic Programming 16 No. 1&2 (1993) 25\u201346.","journal-title":"The Journal of Logic Programming"},{"key":"5_CR9","unstructured":"Bry, F., Intensional Updates: Abduction via deduction, In: Proc. of the 7th International Conf. on Logic Programming, 1990."},{"issue":"No.3","key":"5_CR10","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., On the correct translation of update operations on relational views, ACM Transactions on Database Systems 8 No. 3 (1982) 381\u2013416.","journal-title":"ACM Transactions on Database Systems"},{"key":"5_CR11","volume-title":"Technical Report IR-KB-65","author":"H. Decker","year":"1989","unstructured":"Decker, H., Drawing updates from derivations, Technical Report IR-KB-65, ECRC, Germany, September 1989."},{"key":"5_CR12","unstructured":"Demolombe, R., A strategy for the computation of conditional answers, In: Proc. of ECAI '92, 1992."},{"key":"5_CR13","unstructured":"Fagin, R., Kuper, G.M., Ullman, J.D., and Vardi, M.Y., Updating logical databases, In: Advances in Computing Research, Volume 3, Jai Press Inc., 1986, pp. 1\u201318."},{"key":"5_CR14","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/BF00284974","volume":"20","author":"A. Fuhrmann","year":"1991","unstructured":"Fuhrmann, A., Theory contraction through base contraction, Journal of Philosophical Logic 20 (1991) 175\u2013203.","journal-title":"Journal of Philosophical Logic"},{"key":"5_CR15","unstructured":"G\u00e4rdenfors, P. and Makinson, D., Revisions of knowledge systems using epistemic entrenchment, In: M.Y. Vardi (ed.), Proc. of the second conf. on Theoretical aspects of Reasoning about Knowledge, Morgan Kaufmann, 1988, pp. 83\u201395."},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"G\u00e4rdenfors, P., Belief Revision: An Introduction, In: P.G\u00e4rdenfors (ed.), Belief Revision, Cambridge University Press, 1992, pp. 1\u201328.","DOI":"10.1017\/CBO9780511526664.001"},{"key":"5_CR17","unstructured":"G\u00e4rdenfors, P. and Rott, H., Belief Revision, To appear in: Handbook of logic in AI and logic programming, Vol. IV: Epistemic and Temporal Reasoning."},{"key":"5_CR18","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF00247909","volume":"17","author":"A. Grove","year":"1988","unstructured":"Grove, A., Two modellings for theory change, Journal of Philosophical Logic 17 (1988) 157\u2013170.","journal-title":"Journal of Philosophical Logic"},{"key":"5_CR19","volume-title":"Technical Report TR-89-05","author":"A. Guessoum","year":"1989","unstructured":"Guessoum, A. and Lloyd, J.W., Updating Knowledge Bases, Technical Report TR-89-05, Department of computer science, University of Bristol, U.K., December 1989."},{"key":"5_CR20","volume-title":"Technical Report TR-90-13","author":"A. Guessom","year":"1990","unstructured":"Guessom, A. and Lloyd, J.W., Updating Knowledge Bases II, Technical Report TR-90-13, Department of computer science, University of Bristol, U.K., May 1990."},{"issue":"2","key":"5_CR21","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BF00370186","volume":"50","author":"S.O. Hansson","year":"1991","unstructured":"Hansson, S.O., Belief contraction without recovery, Studia Logica 50(2):251\u2013260 (1991).","journal-title":"Studia Logica"},{"key":"5_CR22","volume-title":"Doctoral dissertation","author":"S.O. Hansson","year":"1991","unstructured":"Hansson, S.O., Belief base dynamics, Doctoral dissertation, Uppsala university, Sweden, 1991."},{"key":"5_CR23","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/BF00413568","volume":"91","author":"S.O. Hansson","year":"1992","unstructured":"Hansson, S.O., In defense of base contraction, Synthese 91:239\u2013245 (1992).","journal-title":"Synthese"},{"key":"5_CR24","unstructured":"Hansson, S.O., Bridging a gap between AI research and philosophy, In: E. Sandewall, and C.G. Jansson (eds.), Proc. of the Scandinavian conf. on Artificial Intelligence '93, IOS Press, 1993, pp. 1\u20139."},{"key":"5_CR25","unstructured":"Hansson, S.O., Theory contraction and base contraction unified, Journal of Symbolic Logic, in press."},{"key":"5_CR26","doi-asserted-by":"crossref","unstructured":"Hansson, S.O., Kernel Contraction, Journal of Symbolic Logic, in press.","DOI":"10.2307\/2275912"},{"key":"5_CR27","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, RA., and Toni, F., Abductive logic programming, Journal of Logic and Computation 2 (1992) 719\u2013770.","journal-title":"Journal of Logic and Computation"},{"key":"5_CR28","volume-title":"Technical Report","author":"A.C. Kakas","year":"1990","unstructured":"Kakas, A.C., and Mancarella, P., Database updates through abduction, Technical Report, Department of Computing, Imperial College, London, U.K., 1990."},{"key":"5_CR29","doi-asserted-by":"crossref","first-page":"263","DOI":"10.1016\/0004-3702(91)90069-V","volume":"52","author":"H. Katsuno","year":"1991","unstructured":"Katsuno, H. and Mendelzon, A.O., Prepositional knowledge base revision and minimal change, Artificial Intelligence 52 (1991) 263\u2013294.","journal-title":"Artificial Intelligence"},{"key":"5_CR30","volume-title":"Technical Report","author":"R. Kowalski","year":"1994","unstructured":"Kowalski, R., Logic without model theory, Technical Report, Department of Computing, Imperial College, London, U.K., 1994. (available on Internet from LPNMR Archive <ftp.ms.uky.edu>)"},{"issue":"No.1","key":"5_CR31","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1145\/77643.77645","volume":"15","author":"R. Langerak","year":"1990","unstructured":"Langerak, R., View updates in relational databases with an independent scheme, ACM Transactions on Database Systems 15 No. 1 (1990) 40\u201366.","journal-title":"ACM Transactions on Database Systems"},{"key":"5_CR32","doi-asserted-by":"crossref","unstructured":"Lindstr\u00f6m, S. and Rabinowicz, W., Epistemic entrenchment with incomparabilities and relational belief revision, In: A. Fuhrmann and M. Morreau (eds.), Proc. of the Workshop on The logic of theroy change, LNAI 465, Springer-Verlag, 1991, pp. 93\u2013126.","DOI":"10.1007\/BFb0018418"},{"key":"5_CR33","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W., Foundations of logic programming, Second extended edition, Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"5_CR34","volume-title":"Technical Report No. CS-87-09","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W., and Shepherdson, J.C., Partial evaluation in logic programming, Technical Report No. CS-87-09, University of Bristol, U.K., 1987."},{"key":"5_CR35","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1007\/BF00869410","volume":"62","author":"D. Makinson","year":"1985","unstructured":"Makinson, D., How to give it up: A survey of some formal aspects of the logic of theory change, Synthese 62 (1985) 347\u2013363.","journal-title":"Synthese"},{"key":"5_CR36","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/BF00431184","volume":"16","author":"D. Makinson","year":"1987","unstructured":"Makinson, D., On the status of the postulate of recovery in the logic of theory change, Journal of Philosophical Logic 16 (1987) 383\u2013394.","journal-title":"Journal of Philosophical Logic"},{"key":"5_CR37","unstructured":"Nebel, B., A knowledge level analysis of belief revision, In: R.J. Brachman, H.J. Levesque, and R. Reiter (eds.), Proc. of the first international conference on principles of knowledge representation and reasoning, Morgan Kaufmann, 1989, pp. 301\u2013311."},{"key":"5_CR38","unstructured":"Nebel, B., Belief revision and default reasoning: Syntax-based approaches, In: J.A. Allen, R. Fikes, and E. Sandewall (eds.), Proc. of the second international conference on Principles of knowledge representation and reasoning, Morgan Kaufmann, 1991, pp. 417\u2013428."},{"key":"5_CR39","unstructured":"Pereira, L.M., Calejo, M., and Apar\u00edcio, J.N., Refining knowledge base updates, In: Proc. of the 7th Brazilian Symposium on Artificial Intelligence, November, 1990."},{"key":"5_CR40","doi-asserted-by":"crossref","unstructured":"Sadri, F. and Kowalski, R., A theorem proving approach to database integrity, In: J. Minker (ed.), Foundations of deductive databases and logic programming, Morgan Kaufmann, 1988, pp. 313\u2013362.","DOI":"10.1016\/B978-0-934613-40-8.50013-0"},{"key":"5_CR41","doi-asserted-by":"crossref","unstructured":"Tomasic, A., View update translation via deduction and annotation, In: M. Gyssens, J. Paredaens, and D. Van Gucht (eds.), Proc. of ICDT '88, LNCS 326, Springer-Verlag, 1988, pp. 338\u2013352.","DOI":"10.1007\/3-540-50171-1_22"}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0021965.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:47:19Z","timestamp":1607550439000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0021965"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540583327"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/bfb0021965","relation":{},"subject":[]}}