{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:04:01Z","timestamp":1725483841162},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439608"},{"type":"electronic","value":"9783540456322"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45632-5_15","type":"book-chapter","created":{"date-parts":[[2007,5,20]],"date-time":"2007-05-20T03:37:27Z","timestamp":1179632247000},"page":"382-412","source":"Crossref","is-referenced-by-count":5,"title":["Logic Programming Updating - A Guided Approach"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 J\u00falio","family":"Alferes","sequence":"first","affiliation":[]},{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,7,17]]},"reference":[{"issue":"2","key":"15_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 contraction and revision functions. J. Symbolic Logic, 50(2):510\u2013530, 1985.","journal-title":"J. Symbolic Logic"},{"unstructured":"J. Alferes, J. A. Leite, L. M. Pereira, and P. Quaresma. Planning as abductive updating. In D. Kitchin, editor, AISB\u201900 Symposium on AI Planning and Intelligent Agents, pages 1\u20138. AISB, 2000.","key":"15_CR2"},{"key":"15_CR3","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/BF00883931","volume":"14","author":"J. J. Alferes","year":"1995","unstructured":"J. J. Alferes, C. V. Dam\u00e1sio, and L. M. Pereira. A logic programming system for non-monotonic reasoning. Journal of Automated Reasoning, 14:93\u2013147, 1995.","journal-title":"Journal of Automated Reasoning"},{"issue":"1\u20133","key":"15_CR4","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0743-1066(99)00065-5","volume":"45","author":"J. J. Alferes","year":"2000","unstructured":"J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska, and T. Przymusinski. Dynamic updates of non-monotonic knowledge bases. Journal of Logic Programming, 45(1\u20133):43\u201370, 2000. A short version titled Dynamic Logic Programming appeared in A. Cohn and L. Schubert (eds.), KR\u201998, Morgan Kaufmann.","journal-title":"Journal of Logic Programming"},{"doi-asserted-by":"crossref","unstructured":"J. J. Alferes and L. M. Pereira. Contradiction: when avoidance equal removal. In R. Dyckhoff, editor, 4th ELP, volume 798 of LNAI. Springer-Verlag, 1994.","key":"15_CR5","DOI":"10.1007\/3-540-58025-5_47"},{"doi-asserted-by":"crossref","unstructured":"J. J. Alferes and L. M. Pereira. Update-programs can update programs. In J. Dix, L. M. Pereira, and T. Przymusinski, editors, NMELP\u201996. Springer, 1996.","key":"15_CR6","DOI":"10.1007\/BFb0023804"},{"doi-asserted-by":"crossref","unstructured":"J. J. Alferes and L. M. Pereira. Updates plus preferences. In M. O. Aciego et al., editor, JELIA\u2019 00. Springer LNAI 1919, 2000.","key":"15_CR7","DOI":"10.1007\/3-540-40006-0_24"},{"doi-asserted-by":"crossref","unstructured":"J. J. Alferes, L. M. Pereira, H. Przymusinska, and T. Przymusinski. LUPS-a language for updating logic programs. In M. Gelfond, N. Leone, and G. Pfeifer, editors, LPNMR\u201999. Springer, 1999.","key":"15_CR8","DOI":"10.1007\/3-540-46767-X_12"},{"doi-asserted-by":"crossref","unstructured":"J. J. Alferes, L. M. Pereira, T. Przymusinski, H. Przymusinska, and P. Quaresma. Dynamic knowledge representation and its applications. In AIMSA\u2019 00. Springer LNAI, 2000.","key":"15_CR9","DOI":"10.1007\/3-540-45331-8_1"},{"unstructured":"C. Baral. Rule-based updates on simple knowledge bases. In AAAI\u201994, pages 136\u2013141, 1994.","key":"15_CR10"},{"unstructured":"F. Buccafurri, W. Faber, and N. Leone. Disjunctive logic programs with inheritance. In D. De Schreye, editor, ICLP\u201999. MIT Press, 1999.","key":"15_CR11"},{"unstructured":"C. V. Dam\u00e1sio and L. M. Pereira. Default negation in the heads: why not? In R. Dyckhoff et al., editor, ELP\u201996. Springer, 1996.","key":"15_CR12"},{"issue":"1\u20132","key":"15_CR13","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\u20132):1\u201329, 1997.","journal-title":"Artificial Intelligence"},{"key":"15_CR14","series-title":"Lect Notes Comput Sci","volume-title":"Int. Conf on Database Theory","author":"H. Decker","year":"1990","unstructured":"H. Decker. Drawing updates from derivations. In Int. Conf on Database Theory, volume 460 of LNCS, 1990."},{"doi-asserted-by":"crossref","unstructured":"M. Dekhtyar, A. Dikovsky, S. Dudakov, and N. Spyratos. Monotone expansions of updates in logical databases. In M. Gelfond, N. Leone, and G. Pfeifer, editors, LPNMR\u201999. Springer, 1999.","key":"15_CR15","DOI":"10.1007\/3-540-46767-X_10"},{"unstructured":"P. Dell\u2019Acqua and L. M. Pereira. Updating agents. In S. Rochefort, F. Sadri, and F. Toni, editors, ICLP\u201999 Workshop on Multi-Agent Systems in Logic, 1999.","key":"15_CR16"},{"doi-asserted-by":"crossref","unstructured":"T. Eiter, M. Fink, G. Sabbatini, and H. Tompits. Considerations on updates of logic programs. In M. O. Aciego, I. P. de Guzmn, G. Brewka, and L. M. Pereira, editors, JELIA\u2019 00. Springer LNAI 1919, 2000.","key":"15_CR17","DOI":"10.1007\/3-540-40006-0_2"},{"issue":"2\u20133","key":"15_CR18","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","volume":"2","author":"R. E. Fikes","year":"1971","unstructured":"R. E. Fikes and N. J. Nilsson. STRIPS: a new approach to the application of theorem proving to problem solving. Artificial Intelligence, 2(2\u20133):189\u2013208, 1971.","journal-title":"Artificial Intelligence"},{"unstructured":"M. Gelfond and V. Lifschitz. The stable model semantics for logic programming. In R. Kowalski and K. A. Bowen, editors, ICLP\u201988. MIT Press, 1988.","key":"15_CR19"},{"unstructured":"M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Warren and Szeredi, editors, ICLP\u201990. MIT Press, 1990.","key":"15_CR20"},{"unstructured":"M. Gelfond and V. Lifschitz. Action languages. Linkoping Electronic Articles in Computer and Information Science, 3(16), 1998.","key":"15_CR21"},{"unstructured":"L. Giordano and A. Martelli. Generalized stable models, truth maintenance and conflit resolution. In D. Warren and P. Szeredi, editors, 7th ICLP, pages 427\u2013441. MIT Press, 1990.","key":"15_CR22"},{"issue":"1","key":"15_CR23","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1007\/BF03037514","volume":"8","author":"A. Guessoum","year":"1990","unstructured":"A. Guessoum and J. W. Lloyd. Updating knowledge bases. New Generation Computing, 8(1):71\u201389, 1990.","journal-title":"New Generation Computing"},{"issue":"1","key":"15_CR24","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/BF03037523","volume":"10","author":"A. Guessoum","year":"1991","unstructured":"A. Guessoum and J. W. Lloyd. Updating knowledge bases II. New Generation Computing, 10(1):73\u2013100, 1991.","journal-title":"New Generation Computing"},{"unstructured":"K. Inoue and C. Sakama. Abductive framework for nonmonotonic theory change. In IJCAI\u201995, pages 204\u2013210. Morgan Kaufmann, 1995.","key":"15_CR25"},{"key":"15_CR26","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0743-1066(97)10001-2","volume":"35","author":"K. Inoue","year":"1998","unstructured":"K. Inoue and C. Sakama. Negation as failure in the head. Journal of Logic Programming, 35:39\u201378, 1998.","journal-title":"Journal of Logic Programming"},{"doi-asserted-by":"crossref","unstructured":"H. Katsuno and A. Mendelzon. On the difference between updating a knowledge base and revising it. In J. Allen, R. Fikes, and E. Sandewall, editors, KR\u201991. Morgan Kaufmann, 1991.","key":"15_CR27","DOI":"10.1017\/CBO9780511526664.007"},{"issue":"7","key":"15_CR28","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1109\/TSE.1985.232506","volume":"11","author":"A. Keller","year":"1985","unstructured":"A. Keller and M. Winslett Wilkins. On the use of an extended relational model to handle changing incomplete information. IEEE Trans. on Software Engineering, 11(7):620\u2013633, 1985.","journal-title":"IEEE Trans. on Software Engineering"},{"doi-asserted-by":"crossref","unstructured":"R. Kowalski. Legislation as logic programs. In Logic Programming in Action, pages 203\u2013230. Springer-Verlag, 1992.","key":"15_CR29","DOI":"10.1007\/3-540-55930-2_15"},{"unstructured":"J. A. Leite, J. Alferes, and L. M. Pereira. Multi-dimensional dynamic logic programming. In F. Sadri and K. Satoh, editors, CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA\u2019 00), 2000.","key":"15_CR30"},{"unstructured":"J. A. Leite and L. M. Pereira. Generalizing updates: from models to programs. In LPKR\u201997: ILPS\u201997 workshop on Logic Programming and Knowledge Representation, 1997.","key":"15_CR31"},{"unstructured":"V. Lifschitz and T. Woo. Answer sets in general non-monotonic reasoning (preliminary report). In B. Nebel, C. Rich, and W. Swartout, editors, KR\u201992. Morgan-Kaufmann, 1992.","key":"15_CR32"},{"unstructured":"F. Lin. Embracing causality in specifying the indirect effects of actions. In IJCAI\u201995, pages 1985\u20131991. Morgan Kaufmann, 1995.","key":"15_CR33"},{"doi-asserted-by":"crossref","unstructured":"V. Marek and M. Truszczy\u0144ski. Revision specifications by means of programs. In C. MacNish, D. Pearce, and L. M. Pereira, editors, JELIA\u201994, volume 838 of LNAI, pages 122\u2013136. Springer-Verlag, 1994.","key":"15_CR34","DOI":"10.1007\/BFb0021968"},{"doi-asserted-by":"crossref","unstructured":"V. Marek and M. Truszczy\u0144ski. Revision programming, database updates and integrity constraints. In ICDT\u201995, pages 368\u2013382. Springer-Verlag, 1995.","key":"15_CR35","DOI":"10.1007\/3-540-58907-4_28"},{"unstructured":"Isaaco Newtono. Philosoph\u00e6 Naturalis Principia Mathematica. Editio tertia & aucta emendata. Apud Guil & Joh. Innys, Regi\u00e6 Societatis typographos, 1726. Original quotation: \u201cCorpus omne perseverare in statu suo quiescendi vel movendi uniformiter in directum, nisi quatenus illud a viribus impressis cogitur statum suum mutare. \u201d.","key":"15_CR36"},{"doi-asserted-by":"crossref","unstructured":"T. Przymusinski and H. Turner. Update by means of inference rules. In V. Marek, A. Nerode, and M. Truszczy\u0144ski, editors, LPNMR\u2019 95, volume 928 of LNAI, pages 156\u2013174. Springer-Verlag, 1995.","key":"15_CR37","DOI":"10.1007\/3-540-59487-6_12"},{"doi-asserted-by":"crossref","unstructured":"C. Sakama and K. Inoue. Updating extended logic programs through abduction. In M. Gelfond, N. Leone, and G. Pfeifer, editors, LPNMR\u201999. Springer, 1999.","key":"15_CR38","DOI":"10.1007\/3-540-46767-X_11"},{"unstructured":"M. Winslett. Reasoning about action using a possible models approach. In AAAI\u201988, pages 89\u201393, 1988.","key":"15_CR39"},{"doi-asserted-by":"crossref","unstructured":"C. Witteveen and W. Hoek. Revision by communication. In V. Marek, A. Nerode, and M. Truszczy\u0144ski, editors, LPNMR\u201995, pages 189\u2013202. Springer, 1995.","key":"15_CR40","DOI":"10.1007\/3-540-59487-6_14"},{"doi-asserted-by":"crossref","unstructured":"C. Witteveen, W. Hoek, and H. Nivelle. Revision of non-monotonic theories: some postulates and an application to logic programming. In C. MacNish, D. Pearce, and L. M. Pereira, editors, JELIA\u201994, pages 137\u2013151. Springer, 1994.","key":"15_CR41","DOI":"10.1007\/BFb0021969"},{"unstructured":"Y. Zhang and N. Foo. Updating logic programs. In H. Prade, editor, ECAI\u201998. Morgan Kaufmann, 1998.","key":"15_CR42"}],"container-title":["Lecture Notes in Computer Science","Computational Logic: Logic Programming and Beyond"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45632-5_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T02:00:11Z","timestamp":1587520811000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45632-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439608","9783540456322"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/3-540-45632-5_15","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}