{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:43:37Z","timestamp":1750308217324,"version":"3.41.0"},"reference-count":42,"publisher":"Association for Computing Machinery (ACM)","issue":"3","license":[{"start":{"date-parts":[[2006,7,1]],"date-time":"2006-07-01T00:00:00Z","timestamp":1151712000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Comput. Logic"],"published-print":{"date-parts":[[2006,7]]},"abstract":"<jats:p>In logic program-based updates, contradictory information elimination, conflict resolution, and syntactic representation are three major issues that interfere with each other and significantly influence the update result. We observe that existing approaches of logic program-based updates, in one way or another, are problematic to deal with these issues. In this article, we address all these problems in a systematic manner. Our approach to the logic program-based update has the following features: (1) a prioritized logic programming language is employed for providing a formal basis of formalizing logic program-based updates, so that information conflict and its related problems in updates can be handled properly; (2) our approach presents both semantic characterization and syntactic representation for the underlying update procedure, and hence is consistent with the nature of updates within the logic program extent-declarative semantics and syntactic sensitivity; and (3) our approach also provides nontrivial solutions to simplify various update evaluation procedures under certain conditions.<\/jats:p>","DOI":"10.1145\/1149114.1149115","type":"journal-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T18:11:32Z","timestamp":1161195092000},"page":"421-472","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["Logic program-based updates"],"prefix":"10.1145","volume":"7","author":[{"given":"Yan","family":"Zhang","sequence":"first","affiliation":[{"name":"University of Western Sydney, Penrith South DC, Australia"}]}],"member":"320","published-online":{"date-parts":[[2006,7]]},"reference":[{"volume-title":"Proceedings of the International Conference on Knowledge Representation and Reasoning (KR-98)","author":"Alferes J.","key":"e_1_2_1_1_1","unstructured":"Alferes , J. , Leite , J. , Pereira , L. , Przymusinska , H. , and Przymusinski , T . 1998. Dynamic logic programming . In Proceedings of the International Conference on Knowledge Representation and Reasoning (KR-98) . 98--109.]] Alferes, J., Leite, J., Pereira, L., Przymusinska, H., and Przymusinski, T. 1998. Dynamic logic programming. In Proceedings of the International Conference on Knowledge Representation and Reasoning (KR-98). 98--109.]]"},{"volume-title":"Proceedings of JELIA2000","author":"Alferes J.","key":"e_1_2_1_2_1","unstructured":"Alferes , J. and Pereira , L . 2000. Updates plus preference . In Proceedings of JELIA2000 .]] Alferes, J. and Pereira, L. 2000. Updates plus preference. In Proceedings of JELIA2000.]]"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00183-2"},{"volume-title":"Proceedings of the 1995 Workshop on Logic Programming and Nonmonotonic Reasoning (LPNMR'95)","author":"Alves M.","key":"e_1_2_1_4_1","unstructured":"Alves , M. , Laurent , D. , and Spyratos , N . 1995. Update rules in datalog programs . In Proceedings of the 1995 Workshop on Logic Programming and Nonmonotonic Reasoning (LPNMR'95) . 71--84.]] Alves, M., Laurent, D., and Spyratos, N. 1995. Update rules in datalog programs. In Proceedings of the 1995 Workshop on Logic Programming and Nonmonotonic Reasoning (LPNMR'95). 71--84.]]"},{"key":"e_1_2_1_5_1","volume-title":"Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-94)","author":"Baral C.","year":"1994","unstructured":"Baral , C. 1994 . Rule based updates on simple knowledge bases . In Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-94) . 136--141.]] Baral, C. 1994. Rule based updates on simple knowledge bases. In Proceedings of the Eleventh National Conference on Artificial Intelligence (AAAI-94). 136--141.]]"},{"key":"e_1_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01530761"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(94)00097-2"},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/1622737.1622739"},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00015-6"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-005-0078-8"},{"key":"e_1_2_1_11_1","volume-title":"Proceedings of JELIA","author":"de Vos M.","year":"2000","unstructured":"de Vos , M. and Vermeir , D . 2000. A logic for modeling decision making with dynamic preferences . In Proceedings of JELIA 2000 . 391--406.]] de Vos, M. and Vermeir, D. 2000. A logic for modeling decision making with dynamic preferences. In Proceedings of JELIA 2000. 391--406.]]"},{"volume-title":"Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming (JICSLP-98)","author":"Dekhtyar M.","key":"e_1_2_1_12_1","unstructured":"Dekhtyar , M. , Dikovsky , A. , and Spyratos , N . 1998. On logically justified updates . In Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming (JICSLP-98) .]] Dekhtyar, M., Dikovsky, A., and Spyratos, N. 1998. On logically justified updates. In Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming (JICSLP-98).]]"},{"volume-title":"Proceedings of the 14th European Conference on Artificial Intelligence (ECAI2000)","author":"Delgrande J.","key":"e_1_2_1_13_1","unstructured":"Delgrande , J. , Schaub , T. , and Tompits , H . 2000. Logic programs with compiled preferences . In Proceedings of the 14th European Conference on Artificial Intelligence (ECAI2000) . 392--398.]] Delgrande, J., Schaub, T., and Tompits, H. 2000. Logic programs with compiled preferences. In Proceedings of the 14th European Conference on Artificial Intelligence (ECAI2000). 392--398.]]"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068401001247"},{"key":"e_1_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(96)00179-X"},{"volume-title":"Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'97)","author":"Eiter T.","key":"e_1_2_1_16_1","unstructured":"Eiter , T. , Leone , N. , Mateis , C. , Pfeifer , G. , and Scarcello , F . 1997b. A deductive system for nonmonotonic reasoning . In Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'97) . 363--374.]] Eiter, T., Leone, N., Mateis, C., Pfeifer, G., and Scarcello, F. 1997b. A deductive system for nonmonotonic reasoning. In Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'97). 363--374.]]"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1613\/jair.461"},{"key":"e_1_2_1_18_1","unstructured":"Garey M. and Johnson D. 1979. Computers and Intractability. W. H. Freeman and Co. San Francisco CA.]]  Garey M. and Johnson D. 1979. Computers and Intractability. W. H. Freeman and Co. San Francisco CA.]]"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037169"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF03037523"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(99)00072-7"},{"volume-title":"Proceedings of the 16th VLDB Conference. 650--661","author":"Kakas A.","key":"e_1_2_1_22_1","unstructured":"Kakas , A. and Mancarella , P . 1990. Database updates through abduction . In Proceedings of the 16th VLDB Conference. 650--661 .]] Kakas, A. and Mancarella, P. 1990. Database updates through abduction. In Proceedings of the 16th VLDB Conference. 650--661.]]"},{"volume-title":"Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR'91)","author":"Katsuno H.","key":"e_1_2_1_23_1","unstructured":"Katsuno , H. and Mendelzon , A . 1991. On the difference between updating a knowledge database and revising it . In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR'91) . 387--394.]] Katsuno, H. and Mendelzon, A. 1991. On the difference between updating a knowledge database and revising it. In Proceedings of the Second International Conference on Principles of Knowledge Representation and Reasoning (KR'91). 387--394.]]"},{"volume-title":"Proceedings of the Eleventh International Conference on Logic Programming. 23--37","author":"Lifschitz V.","key":"e_1_2_1_24_1","unstructured":"Lifschitz , V. and Turner , H . 1994. Splitting a logic program . In Proceedings of the Eleventh International Conference on Logic Programming. 23--37 .]] Lifschitz, V. and Turner, H. 1994. Splitting a logic program. In Proceedings of the Eleventh International Conference on Logic Programming. 23--37.]]"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/116825.116836"},{"volume-title":"Proceedings of JELIA '94","author":"Marek V.","key":"e_1_2_1_26_1","unstructured":"Marek , V. and Truszczy\u0144ski , M . 1994. Revision program . In Proceedings of JELIA '94 .]] Marek, V. and Truszczy\u0144ski, M. 1994. Revision program. In Proceedings of JELIA '94.]]"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(97)00092-3"},{"volume-title":"Proceedings of the International Joint Conference and Symposium on Logic Programming (IJCSLP'96)","author":"Nemela I.","key":"e_1_2_1_28_1","unstructured":"Nemela , I. and Simons , P . 1996. Efficient implementation of the well-founded and stable model semantics . In Proceedings of the International Joint Conference and Symposium on Logic Programming (IJCSLP'96) . 289--303.]] Nemela, I. and Simons, P. 1996. Efficient implementation of the well-founded and stable model semantics. In Proceedings of the International Joint Conference and Symposium on Logic Programming (IJCSLP'96). 289--303.]]"},{"volume-title":"Computational Complexity. Addison-Wealey","author":"Papadimitriou C.","key":"e_1_2_1_29_1","unstructured":"Papadimitriou , C. 1994. Computational Complexity. Addison-Wealey , Reading, MA .]] Papadimitriou, C. 1994. Computational Complexity. Addison-Wealey, Reading, MA.]]"},{"key":"e_1_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0743-1066(96)00091-X"},{"volume-title":"Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'97)","author":"Rao P.","key":"e_1_2_1_31_1","unstructured":"Rao , P. , Sagonas , K. , Swift , T. , Warren , D. , and Freire , J . 1997. XSB: A system for efficiently computing WFS . In Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'97) . 2--17.]] Rao, P., Sagonas, K., Swift, T., Warren, D., and Freire, J. 1997. XSB: A system for efficiently computing WFS. In Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'97). 2--17.]]"},{"volume-title":"Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'99)","author":"Sakama C.","key":"e_1_2_1_32_1","unstructured":"Sakama , C. and Inoue , K . 1999. Updating extended logic programs through abduction . In Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'99) . 147--161.]] Sakama, C. and Inoue, K. 1999. Updating extended logic programs through abduction. In Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'99). 147--161.]]"},{"volume-title":"Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI01)","author":"Schaub T.","key":"e_1_2_1_33_1","unstructured":"Schaub , T. and Wang , K . 2001. A comparative study of logic programs with preference . In Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI01) . 597--602.]] Schaub, T. and Wang, K. 2001. A comparative study of logic programs with preference. In Proceedings of the 17th International Joint Conference on Artificial Intelligence (IJCAI01). 597--602.]]"},{"key":"e_1_2_1_34_1","volume-title":"Proceedings of AAAI-88","author":"Winslett M.","year":"1988","unstructured":"Winslett , M. 1988 . Reasoning about action using a possible models approach . In Proceedings of AAAI-88 . 89--93.]] Winslett, M. 1988. Reasoning about action using a possible models approach. In Proceedings of AAAI-88. 89--93.]]"},{"key":"e_1_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/341176.341264"},{"key":"e_1_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/646078.678551"},{"key":"e_1_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.5555\/1630659.1630675"},{"key":"e_1_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068402001552"},{"volume-title":"Proceedings of the 1997 International Logic Programming Symposium (ILPS'97)","author":"Zhang Y.","key":"e_1_2_1_39_1","unstructured":"Zhang , Y. and Foo , N . 1997. Answer sets for prioritized logic programs . In Proceedings of the 1997 International Logic Programming Symposium (ILPS'97) . 69--83.]] Zhang, Y. and Foo, N. 1997. Answer sets for prioritized logic programs. In Proceedings of the 1997 International Logic Programming Symposium (ILPS'97). 69--83.]]"},{"volume-title":"Proceedings of the 13th European Conference on Artificial Intelligence (ECAI'98)","author":"Zhang Y.","key":"e_1_2_1_40_1","unstructured":"Zhang , Y. and Foo , N . 1998. Updating logic programs . In Proceedings of the 13th European Conference on Artificial Intelligence (ECAI'98) . 403--407.]] Zhang, Y. and Foo, N. 1998. Updating logic programs. In Proceedings of the 13th European Conference on Artificial Intelligence (ECAI'98). 403--407.]]"},{"volume-title":"Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI'97)","author":"Zhang Y.","key":"e_1_2_1_41_1","unstructured":"Zhang , Y. and Foo , N . 2001. Towards generalized rule-based updates . In Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI'97) . 82--88.]] Zhang, Y. and Foo, N. 2001. Towards generalized rule-based updates. In Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI'97). 82--88.]]"},{"key":"e_1_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/1216557.1216559"}],"container-title":["ACM Transactions on Computational Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1149114.1149115","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1149114.1149115","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:31:13Z","timestamp":1750264273000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1149114.1149115"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7]]},"references-count":42,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2006,7]]}},"alternative-id":["10.1145\/1149114.1149115"],"URL":"https:\/\/doi.org\/10.1145\/1149114.1149115","relation":{},"ISSN":["1529-3785","1557-945X"],"issn-type":[{"type":"print","value":"1529-3785"},{"type":"electronic","value":"1557-945X"}],"subject":[],"published":{"date-parts":[[2006,7]]},"assertion":[{"value":"2006-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}