{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:27:02Z","timestamp":1725488822396},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540411314"},{"type":"electronic","value":"9783540400066"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/3-540-40006-0_2","type":"book-chapter","created":{"date-parts":[[2007,8,11]],"date-time":"2007-08-11T09:41:54Z","timestamp":1186825314000},"page":"2-20","source":"Crossref","is-referenced-by-count":13,"title":["Considerations on Updates of Logic Programs"],"prefix":"10.1007","author":[{"given":"Thomas","family":"Eiter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Fink","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuliana","family":"Sabbatini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans","family":"Tompits","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2000,9,19]]},"reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"510","DOI":"10.2307\/2274239","volume":"50","author":"C. Alchourr\u00f3n","year":"1985","unstructured":"C. Alchourr\u00f3n, P. G\u00e4rdenfors, and D. Makinson. On the Logic of Theory Change: Partial Meet Functions for Contraction and Revision. Journal of Symbolic Logic, 50:510\u2013530, 1985.","journal-title":"Journal of Symbolic Logic"},{"key":"2_CR2","unstructured":"J. Alferes, J. Leite, L. Pereira, H. Przymusinska, and T. Przymusinski. Dynamic Logic Programming. In A. Cohn and L. Schubert, editors, Proc. KR\u201998, pp. 98\u2013109. Morgan Kaufmann, 1998."},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"J. Alferes, J. Leite, L. Pereira, H. Przymusinska, and T. C. Przymusinski. Dynamic Updates of Non-Monotonic Knowledge Bases. Journal of Logic Programming, 2000. To appear.","DOI":"10.1016\/S0743-1066(99)00065-5"},{"key":"2_CR4","series-title":"Lect Notes Comput Sci","volume-title":"Updates plus Preferences","author":"J. Alferes","year":"2000","unstructured":"J. Alferes and L. Pereira. Updates plus Preferences. In Proc. JELIA 2000, LNCS, this volume. Springer, 2000."},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"J. Alferes, L. Pereira, H. Przymusinska, and T. Przymusinski. Lups: A Language for Updating Logic Programs. In Proc. LPNMR\u201999, LNAI 1730, pp. 162\u2013176. Springer, 1999.","DOI":"10.1007\/3-540-46767-X_12"},{"key":"2_CR6","unstructured":"S. Benferhat, C. Cayrol, D. Dubois, J. Lang, and H. Prade. Inconsistency Management and Prioritized Syntax-Based Entailment. In Proc. IJCAI-93, pp. 640\u2013645. Morgan Kaufman, 1993."},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"G. Brewka. Belief Revision as a Framework for Default Reasoning. In The Logic of Theory Change, LNAI 465, pp. 206\u2013222. Springer, 1991.","DOI":"10.1007\/BFb0018422"},{"key":"2_CR8","unstructured":"G. Brewka. Declarative Representation of Revision Strategies. In Proc. NMR\u2019 2000, 2000."},{"key":"2_CR9","series-title":"Technical Report","first-page":"79","volume-title":"Disjunctive Logic Programs with Inheritance","author":"F. Buccafurri","year":"1999","unstructured":"F. Buccafurri, W. Faber, and N. Leone. Disjunctive Logic Programs with Inheritance. In Proc. ICLP\u2019 99, pp. 79\u201393, 1999. The MIT Press. Full version available as Technical Report DBAI-TR-99-30, Institut f\u00fcr Informationssysteme, Technische Universit\u00e4t Wien, Austria, May 1999."},{"issue":"1-2","key":"2_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0004-3702(96)00038-0","volume":"89","author":"A. Darwiche","year":"1997","unstructured":"A. Darwiche and J. Pearl. On the Logic of Iterated Belief Revision. Artificial Intelligence, 89(1-2):1\u201329, 1997.","journal-title":"Artificial Intelligence"},{"key":"2_CR11","unstructured":"F. Sadri and F. Toni. Computational Logic and Multiagent Systems: A Roadmap. Available from the ESPRIT Network of Excellence in Computational Logic (Compulog Net), http:\/\/www.compulog.org , 1999."},{"key":"2_CR12","unstructured":"N. Foo and Y. Zhang. Towards Generalized Rule-based Updates. In Proc. IJCAI\u2019 97, pp. 82\u201388. Morgan Kaufmann, 1997."},{"key":"2_CR13","unstructured":"N. Foo and Y. Zhang. Updating Logic Programs. In Proc. ECAI\u201998, pp. 403\u2013407. Wiley, 1998."},{"key":"2_CR14","unstructured":"P. G\u00e4rdenfors and H. Rott. Belief Revision. In D. Gabbay, C. Hogger, and J. Robinson, editors, Handbook of logic in Artificial Intelligence and Logic Programming. Oxford Science Publications, 1995."},{"key":"2_CR15","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF03037169","volume":"9","author":"M. Gelfond","year":"1991","unstructured":"M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9:365\u2013385, 1991.","journal-title":"New Generation Computing"},{"key":"2_CR16","unstructured":"K. Inoue and C. Sakama. Abductive Framework for Nonomonotonic Theory Change. In Proc. IJCAI\u201995, pp. 204\u2013210. Morgan Kaufmann, 1995."},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"K. Inoue and C. Sakama. Updating Extended Logic Programs Through Abduction. In Proc. LPNMR\u201999, LNAI 1730, pp. 147\u2013161. Springer, 1999.","DOI":"10.1007\/3-540-46767-X_11"},{"key":"2_CR18","unstructured":"H. Katsuno and A. Mendelzon. On the Difference Between Updating a Knowledge Database and Revising it. In Proc. KR\u201991, pp. 387\u2013394, 1991."},{"key":"2_CR19","unstructured":"D. Lehmann. Belief Revision, Revised. In Proc. IJCAI\u201995, pp. 1534\u20131540. Morgan Kaufmann, 1995."},{"key":"2_CR20","unstructured":"J. Leite, J. Alferes, and L. Pereira. Multi-Dimensional Dynamic Logic Programming. In Proc. Workshop on Computational Logic in Multi-Agent Systems (CLIMA), London, UK, July 2000."},{"key":"2_CR21","unstructured":"V. Lifschitz and T. Y. C. Woo. Answer Sets in General Nonmonotonic Reasoning (Preliminary Report). In Proc. KR\u2019 92, pp. 603\u2013614. Morgan Kaufmann, 1992."},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"V. W. Marek and M. Truszczy\u0144ski. Revision Specifications by Means of Programs. In Proc. JELIA\u201994, LNAI 838, pp. 122\u2013136. Springer, 1994.","DOI":"10.1007\/BFb0021968"},{"key":"2_CR23","unstructured":"B. Nebel. Belief Revision and Default Reasoning: Syntax-Based Approaches. In Proc. KR\u201991, pp. 417\u2013428, 1991."},{"key":"2_CR24","unstructured":"M. Winslett. Reasoning about Action Using a Possible Models Approach. In Proc. AAAI\u201988, pp. 89\u201393, 1988."}],"container-title":["Lecture Notes in Computer Science","Logics in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-40006-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,1]],"date-time":"2019-05-01T19:22:51Z","timestamp":1556738571000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-40006-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540411314","9783540400066"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-40006-0_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2000]]}}}