{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T21:33:38Z","timestamp":1725831218392},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319244884"},{"type":"electronic","value":"9783319244891"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-24489-1_32","type":"book-chapter","created":{"date-parts":[[2015,9,29]],"date-time":"2015-09-29T07:00:40Z","timestamp":1443510040000},"page":"341-348","source":"Crossref","is-referenced-by-count":1,"title":["Dynamics of Belief: Horn Knowledge Base and Database Updates"],"prefix":"10.1007","author":[{"given":"Radhakrishnan","family":"Delhibabu","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,11,3]]},"reference":[{"key":"32_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"CE Alchourron","year":"1985","unstructured":"Alchourron, C.E., G\u00e4rdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic 50, 510\u2013530 (1985)","journal-title":"Journal of Symbolic Logic"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"Aliseda, A.: Abductive Resoning Logic Investigations into Discovery and Explanation. Springer, vol. 330 (2006)","DOI":"10.1007\/1-4020-3907-7"},{"key":"32_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/BFb0021965","volume-title":"Logics in Artificial Intelligence","author":"C Aravindan","year":"1994","unstructured":"Aravindan, C., Dung, P.M.: Belief dynamics, abduction, and database. In: MacNish, C., Moniz Pereira, L., Pearce, D.J. (eds.) JELIA 1994. LNCS, vol. 838, pp. 65\u201385. Springer, Heidelberg (1994)"},{"key":"32_CR4","unstructured":"Aravindan, C.: Dynamics of Belief: Epistmology, Abduction and Database Updat. Ph.D. Thesis, AIT (1995)"},{"key":"32_CR5","unstructured":"Aravindan, C., Baumgartner, P.: A rational and efficient algorithm for view deletion in databases. In: Logic Programming proceedng International Symposium, pp. 165\u2013179 (1997)"},{"key":"32_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-540-77684-0_18","volume-title":"Foundations of Information and Knowledge Systems","author":"A Behrend","year":"2008","unstructured":"Behrend, A., Manthey, R.: A transformation-based approach to view updating in stratifiable deductive databases. In: Hartmann, S., Kern-Isberner, G. (eds.) FoIKS 2008. LNCS, vol. 4932, pp. 253\u2013271. Springer, Heidelberg (2008)"},{"key":"32_CR7","unstructured":"Dalal, M.: Investigations into a theory of base revision: preliminary report. In: Seventh National Converence on Artificial Intelligence (AAAI), pp. 475\u2013479. St. Paul (1988)"},{"issue":"3","key":"32_CR8","doi-asserted-by":"publisher","first-page":"843","DOI":"10.12785\/amis\/070302","volume":"7","author":"R Delhibabu","year":"2013","unstructured":"Delhibabu, R., Lakemeyer, G.: A Rational and Efficient Algorithm for View Revision in Databases. Applied Mathematics & Information Sciences 7(3), 843\u2013856 (2013)","journal-title":"Applied Mathematics & Information Sciences"},{"issue":"2","key":"32_CR9","first-page":"571","volume":"9","author":"R Delhibabu","year":"2014","unstructured":"Delhibabu, R.: An Abductive Framework for Horn Knowledge Base Dynamics. Applied Mathematics & Information Sciences 9(2), 571\u2013582 (2014)","journal-title":"Applied Mathematics & Information Sciences"},{"issue":"3","key":"32_CR10","doi-asserted-by":"publisher","first-page":"466","DOI":"10.1007\/s10489-014-0579-0","volume":"42","author":"R Delhibabu","year":"2014","unstructured":"Delhibabu, R., Behrend, A.: A New Rational Algorithm for View Updating in Relational Databases. Applied Intelligence 42(3), 466\u2013480 (2014)","journal-title":"Applied Intelligence"},{"issue":"3","key":"32_CR11","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1007\/s10489-014-0580-7","volume":"42","author":"R Delhibabu","year":"2014","unstructured":"Delhibabu, R.: Comparative Study of View Update Algorithms in Rational Choice Theory. Applied Intelligence 42(3), 447\u2013465 (2014)","journal-title":"Applied Intelligence"},{"key":"32_CR12","unstructured":"Delhibabu, R.: A Better Understanding of the Dynamics of Belief Update VS Database Update. Studia Logica - Submitted (2014)"},{"key":"32_CR13","doi-asserted-by":"crossref","unstructured":"Delhibabu, R.: Dynamics of Belief: Horn Knowledge Base And Database Updates. Springer Briefs - Submitted (2015)","DOI":"10.1007\/978-3-319-24489-1_32"},{"key":"32_CR14","unstructured":"Delgrande, J.P.: Horn Clause Belief Change: Contraction Functions, pp. 156\u2013165. KR (2008)"},{"key":"32_CR15","unstructured":"Delgrande, J.P., Peppas, P.: Revising horn theories. In: Proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence, vol. 2, pp. 839\u2013844 (2011)"},{"key":"32_CR16","unstructured":"Ferm\u00e9, E.L.: Actualizacion de Bases de Conocimiento usando Teorias de Cambio de Creenica. lberamia, pp. 419\u2013436 (1992)"},{"key":"32_CR17","doi-asserted-by":"crossref","unstructured":"Ferm\u00e9, E.L., Hansson, S.O.: Shielded contraction. In: Frontiers in Belief Revision, Applied Logic Series, pp. 85\u2013107. Kluwer Academic Publishers (2001)","DOI":"10.1007\/978-94-015-9817-0_4"},{"key":"32_CR18","volume-title":"Knowledge in flux","author":"P G\u00e4rdenfors","year":"1998","unstructured":"G\u00e4rdenfors, P.: Knowledge in flux. MIT Press, Cambridge (1998)"},{"key":"32_CR19","volume-title":"A Textbook of Belief Dynamics","author":"SO Hansson","year":"1997","unstructured":"Hansson, S.O.: A Textbook of Belief Dynamics. Kluwer Academic Publishers, Dordrecht (1997)"},{"issue":"4","key":"32_CR20","doi-asserted-by":"publisher","first-page":"1581","DOI":"10.2307\/2694963","volume":"66","author":"SO Hansson","year":"2001","unstructured":"Hansson, S.O., Ferm\u00e9, E.L., Cantwell, J., Falappa, M.: Credibility-Limited Revision. Journal of Symbolic Logic 66(4), 1581\u20131596 (2001)","journal-title":"Journal of Symbolic Logic"},{"issue":"1","key":"32_CR21","doi-asserted-by":"publisher","first-page":"107","DOI":"10.1016\/S0004-3702(99)00072-7","volume":"115","author":"A Herzig","year":"1999","unstructured":"Herzig, A., Rifi, O.: Propositional Belief Base Update and Minimal Change. Artificial Intelligence 115(1), 107\u2013138 (1999)","journal-title":"Artificial Intelligence"},{"key":"32_CR22","unstructured":"Keller, A.: Updating Relational Databases Through Views. Stanford University, Ph.D. Thesis (1985)"},{"key":"32_CR23","first-page":"53","volume":"1","author":"G Lakemeyer","year":"1995","unstructured":"Lakemeyer, G.: A Logical Account of Relevance. International Joint Conference on AI 1, 53\u2013861 (1995)","journal-title":"International Joint Conference on AI"},{"issue":"1","key":"32_CR24","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1080\/11663081.1997.10510902","volume":"7","author":"J Lobo","year":"1997","unstructured":"Lobo, J., Trajcevski, G.: Minimal and Consistent Evolution of Knowledge Bases. Journal of Applied Non-Classical Logics 7(1), 117\u2013146 (1997)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"32_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0031734","volume-title":"Logic in Databases","author":"J Minker","year":"1996","unstructured":"Minker, J.: Logic and databases: a 20 year retrospective. In: Pedreschi, D., Zaniolo, C. (eds.) LID 1996. LNCS, vol. 1154, pp. 1\u201357. Springer, Heidelberg (1996)"},{"issue":"4","key":"32_CR26","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1017\/S026988890000401X","volume":"15","author":"O Papini","year":"2000","unstructured":"Papini, O.: Knowledge-base revision. The Knowledge Engineering Review 15(4), 339\u2013370 (2000)","journal-title":"The Knowledge Engineering Review"},{"key":"32_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1007\/978-3-642-25832-9_44","volume-title":"AI 2011: Advances in Artificial Intelligence","author":"AC Nayak","year":"2011","unstructured":"Nayak, A.C.: Is revision a special kind of update? In: Wang, D., Reynolds, M. (eds.) AI 2011. LNCS, vol. 7106, pp. 432\u2013441. Springer, Heidelberg (2011)"},{"key":"32_CR28","doi-asserted-by":"crossref","unstructured":"Nebel, B.: How hard is it to revise a belief base?. In: Handbook of Defeasible Reasoning and Uncertainty Management Systems, pp. 77\u2013145 (1998)","DOI":"10.1007\/978-94-011-5054-5_3"},{"key":"32_CR29","unstructured":"Rodrigues, O., Benevidas, M.: Belief revision in pseudo-definite sets. In: Proceeding of the 11th Brazilian Symposium on AI (1994)"},{"key":"32_CR30","doi-asserted-by":"crossref","unstructured":"Schulte, O.: Minimal belief change and pareto-optimality. In: Australian Joint Conference on Artificial Intelligence, pp. 144\u2013155 (1999)","DOI":"10.1007\/3-540-46695-9_13"},{"issue":"3","key":"32_CR31","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1305\/ndjfl\/1039182247","volume":"39","author":"K Segerberg","year":"1998","unstructured":"Segerberg, K.: Irrevocable Belief Revision in Dynamic Doxastic Logic. Notre Dame Journal of Formal Logic 39(3), 287\u2013306 (1998)","journal-title":"Notre Dame Journal of Formal Logic"},{"key":"32_CR32","unstructured":"Wrobel, S.: First order Theory Refinement. IOS Frontier in AI and Application Series, Advances in ILP, ed. Raedt, LD. IOS Press, Amsterdam (1995)"}],"container-title":["Lecture Notes in Computer Science","KI 2015: Advances in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24489-1_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,14]],"date-time":"2023-08-14T18:04:47Z","timestamp":1692036287000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24489-1_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319244884","9783319244891"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24489-1_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}