{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,30]],"date-time":"2025-09-30T10:07:34Z","timestamp":1759226854474},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540649588"},{"type":"electronic","value":"9783540498728"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0054796","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T01:52:33Z","timestamp":1153965153000},"page":"224-246","source":"Crossref","is-referenced-by-count":22,"title":["Generalizing updates: From models to programs"],"prefix":"10.1007","author":[{"given":"Jo\u00c3o Alexandre","family":"Leite","sequence":"first","affiliation":[]},{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,26]]},"reference":[{"key":"9_CR1","volume-title":"LNAI 1111","author":"J. J. Alferes","year":"1996","unstructured":"J. J. Alferes, L. M. Pereira. Reasoning with logic programming, LNAI 1111, Berlin, Springer-Verlag, 1996."},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"J. J. Alferes, L. M. Pereira. Update-programs can update programs. In J. Dix, L. M. Pereira and T. Przymusinski, editors, Selected papers from the ICLP'96 ws NMELP'96, vol. 1216 of LNAI, pages 110\u2013131. Springer-Verlag, 1997.","DOI":"10.1007\/BFb0023804"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"J. J. Alferes, L. M. Pereira and T. Przymusinski. Strong and Explicit Negation in Nonmonotonic Reasoning and Logic Programming. In J. J. Alferes, L. M. Pereira and E. Orlowska, editors, JELIA '96, volume 1126 of LNAI, pages 143\u2013163. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61630-6_10"},{"key":"9_CR4","first-page":"85","volume-title":"Disjunctive Semantics based upon Partial and Bottom-Up Evaluation","author":"S. Brass","year":"1995","unstructured":"S. Brass and J. Dix. Disjunctive Semantics based upon Partial and Bottom-Up Evaluation. In Leon Sterling, editor, Procs. of the 12th Int. Conf. on Logic Programming, Tokyo, pag. 85\u201398, Berlin, June 1995. Springer-Verlag."},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"C. V. Dam\u00e1sio and L. M. Pereira. Default negated conclusions: why not? In R. Dyckhoff, H. Herre and P. Schroeder-Heister, editors, Procs. of ELP'96, volume 1050 of LNAI, pages 103\u2013118. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-60983-0_7"},{"key":"9_CR6","unstructured":"M. Gelfond and V. Lifschitz. Logic Programs with classical negation. In Warren and Szeredi, editors, 7th Int. Conf. on LP, pages 579\u2013597. MIT Press, 1990."},{"key":"9_CR7","unstructured":"H. Katsuno and A. Mendelzon. On the difference between updating a knowledge base and revising it. In James Allen, Richard Fikes and Erik Sandewall, editors, Principles of Knowledge Representation and Reasoning: Proc. of the Second Int'l Conf. (KR91), pages 230\u2013237, Morgan Kaufmann 1991."},{"issue":"7","key":"9_CR8","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1109\/TSE.1985.232506","volume":"SE-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, SE-11:7, pages 620\u2013633, 1985.","journal-title":"IEEE Trans. on Software Engineering"},{"key":"9_CR9","unstructured":"Jo\u00c3o A. Leite. Logic Program Updates. MSc dissertation, Universidade Nova de Lisboa, 1997."},{"key":"9_CR10","unstructured":"V. Lifschitz and T. Woo. Answer sets in general nonmonotonic reasoning (preliminary report). In B. Nebel, C. Rich and W. Swartout, editors, Principles of Knowledge Representation and Reasoning, Proc. of the Third Int'l Conf (KR92), pages 603\u2013614. Morgan-Kaufmann, 1992"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"V. Marek and M. Truszczynski. Revision specifications by means of programs. In C. MacNish, D. Pearce and L. M. Pereira, editors, JELIA '94, volume 838 of LNAI, pages 122\u2013136. Springer-Verlag, 1994.","DOI":"10.1007\/BFb0021968"},{"key":"9_CR12","unstructured":"Isaaco Newtono. Philosophi\u2204 Naturalis Principia Mathematica. Editio tertia aucta & emendata. Apud Guil & Joh. Innys, Regi\u00c6 Societatis typographos. Londini, MDCCXXVI. 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":"9_CR13","unstructured":"L. M. Pereira and J. J. Alferes. Well founded semantics for logic programs with explicit negation. In B. Neumann, editor, European Conf. on AI, pages 102\u2013106. John Wiley & Sons, 1992."},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"T. Przymusinski and H. Turner. Update by means of inference rules. In V. Marek, A. Nerode, and M. Truszczynski, editors, LPNMR'95, volume 928 of LNAI, pages 156\u2013174. Springer-Verlag, 1995.","DOI":"10.1007\/3-540-59487-6_12"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Knowledge Representation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0054796","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T04:28:08Z","timestamp":1555734488000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0054796"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540649588","9783540498728"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0054796","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}