{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:54:45Z","timestamp":1747810485292},"reference-count":21,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2005,2,1]],"date-time":"2005-02-01T00:00:00Z","timestamp":1107216000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2005,2]]},"DOI":"10.1007\/s11225-005-0492-y","type":"journal-article","created":{"date-parts":[[2005,10,19]],"date-time":"2005-10-19T09:22:04Z","timestamp":1129713724000},"page":"7-32","source":"Crossref","is-referenced-by-count":37,"title":["The Refined Extension Principle for Semantics of Dynamic Logic Programming"],"prefix":"10.1007","volume":"79","author":[{"given":"Jos\u00e9 J\u00falio","family":"Alferes","sequence":"first","affiliation":[]},{"given":"Federico","family":"Banti","sequence":"additional","affiliation":[]},{"given":"Antonio","family":"Brogi","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o Alexandre","family":"Leite","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"492_CR1","unstructured":"ALFERES, J. J., J. A. LEITE, L. M. PEREIRA, H. PRZYMUSINSKA, and T. C. PRZYMUSINSKI, \u2018Dynamic logic programming\u2019, in A. Cohn, L. Schubert, and S. Shapiro, (eds.), Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR-98), Morgan Kaufmann Publishers, 1998, pp. 98\u2013111."},{"issue":"1\u20133","key":"492_CR2","first-page":"43","volume":"45","author":"J. J. ALFERES","year":"September\/October 2000","unstructured":"ALFERES, J. J., J. A. LEITE, L. M. PEREIRA, H. PRZYMUSINSKA, and T. C. PRZYMUSINSKI, \u2018Dynamic updates of non-monotonic knowledge bases\u2019, The Journal of Logic Programming, 45(1\u20133):43\u201370, September\/October 2000.","journal-title":"The Journal of Logic Programming"},{"key":"492_CR3","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19 & 20","author":"K. R. APT","year":"May 1994","unstructured":"APT K. R., and R. N. BOL, \u2018Logic programming and negation: A survey\u2019, The Journal of Logic Programming, 19 & 20:9\u201372, May 1994.","journal-title":"The Journal of Logic Programming"},{"key":"492_CR4","unstructured":"BUCCAFURRI, F., W. FABER, and N. LEONE, \u2018Disjunctive logic programs with inheritance\u2019, in D. De Schreye, (ed.), Proceedings of the 1999 International Conference on Logic Programming (ICLP-99), MIT Press, November 1999, pp. 79\u201393."},{"key":"492_CR5","doi-asserted-by":"crossref","unstructured":"EITER, T., M. FINK, G. SABBATINI, and H. TOMPITS, \u2018On properties of update sequences based on causal rejection\u2019 Theory and Practice of Logic Programming, 2(6), 2002.","DOI":"10.1017\/S1471068401001247"},{"issue":"3","key":"492_CR6","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. VAN GELDER","year":"1991","unstructured":"VAN GELDER, A., K. A. ROSS, and J. S. SCHLIPF, \u2018The well-founded semantics for general logic programs\u2019, Journal of the ACM, 38(3):620\u2013650, 1991.","journal-title":"Journal of the ACM"},{"key":"492_CR7","unstructured":"GELFOND, M., and V. LIFSCHITZ, \u2018The stable model semantics for logic programming\u2019, in R. Kowalski and K. A. Bowen, (eds.), 5th International Conference on Logic Programming, MIT Press, 1988, pp. 1070\u20131080."},{"key":"492_CR8","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. GELFOND","year":"1993","unstructured":"GELFOND, M., and V. LIFSCHITZ, \u2018Representing actions and change by logic programs\u2019, Journal of Logic Programming, 17:301\u2013322, 1993.","journal-title":"Journal of Logic Programming"},{"key":"492_CR9","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. A. KOWALSKI","year":"1986","unstructured":"KOWALSKI, R. A., and M. J. SERGOT, \u2018A logic-based calculus of events\u2019, New Generation Computing, 4:67\u201395, 1986.","journal-title":"New Generation Computing"},{"key":"492_CR10","unstructured":"Leite, J. A., Evolving Knowledge Bases, volume 81 of Frontiers in Artificial Intelligence and Applications, IOS Press, 2003."},{"key":"492_CR11","doi-asserted-by":"crossref","unstructured":"LEITE, J. A., J. J. ALFERES, and L. M. PEREIRA, \u2018Multi-dimensional dynamic knowledge representation\u2019, in T. Eiter, M. Truszczynski, and W. Faber, (eds.), Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-01), volume 2173 of LNAI, Springer, 2001, pp. 365\u2013378.","DOI":"10.1007\/3-540-45402-0_27"},{"key":"492_CR12","doi-asserted-by":"crossref","unstructured":"LEITE, J. A., and L. M. PEREIRA, \u2018Generalizing updates: From models to programs\u2019, in J. Dix, L. M. Pereira, and T. C. Przymusinski, (eds.), Selected Extended Papers of the ILPS'97 3th International Workshop on Logic Programming and Knowledge Representation (LPKR-97), volume 1471 of LNAI, Springer Verlag, 1997, pp. 224\u2013246.","DOI":"10.1007\/BFb0054796"},{"key":"492_CR13","unstructured":"LEITE, J. A., and L. M. PEREIRA, \u2018Iterated logic program updates\u2019, in J. Ja.ar, (ed.), Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming (JICSLP-98), MIT Press, 1998, pp. 265\u2013278."},{"key":"492_CR14","doi-asserted-by":"crossref","unstructured":"LEONE, N., G. PFEIFER, W. FABER, F. CALIMERI, T. DELL'ARMI, T. EITER, G. GOTTLOB, G. IANNI, G. IELPA, S. PERRI C. KOCH, and A. POLLERES, \u2018The DLV system\u2019, in Procs. of JELIA'02, volume 2424 of LNAI, Springer-Verlag, 2002.","DOI":"10.1007\/3-540-45757-7_50"},{"key":"492_CR15","unstructured":"LEVESQUE, H., F. PIRRI, and R. REITER, \u2018Foundations for the situation calculus\u2019, Linkoping Electronic Articles in Computer and Information Science, 3(18), 1998."},{"key":"492_CR16","unstructured":"LIFSCHITZ, V., and T. WOO, \u2018Answer sets in general non-monotonic reasoning (preliminary report)\u2019, in B. Nebel, C. Rich, and W. Swartout, (eds.), Proceedings of the 3th International Conference on Principles of Knowledge Representation and Reasoning (KR-92), Morgan-Kaufmann, 1992."},{"key":"492_CR17","unstructured":"MCCARTHY, J., and P. J. HAYES, \u2018Some philosophical problems from the standpoint of artificial intelligence\u2019, in B. Meltzer and D. Michie, (eds.), Machine Intelligence 4, Edinburgh University Press, 1969, pp. 463\u2013502."},{"key":"492_CR18","doi-asserted-by":"crossref","unstructured":"NIEMELA, I., and P. SIMONS, \u2018Smodels: An implementation of the stable model and well-founded semantics for normal LP\u2019, in J. Dix, U. Furbach, and A. Nerode, (eds.), Proceedings of the 4th International Conference on Logic Programing and Nonmonotonic Reasoning (LPNMR-97), volume 1265 of LNAI, Springer, 1997, pp. 420\u2013429.","DOI":"10.1007\/3-540-63255-7_32"},{"key":"492_CR19","unstructured":"PRZYMUSINSKA, H., and T. PRZYMUSINSKI, \u2018Weakly perfect model semantics for logic programs\u2019, in R. A. Kowalski and K. A. Bowen, (eds.), Proceedings of the Fifth International Conference and Symposium on Logic Programming, The MIT Press, 1988, pp. 1106\u20131120."},{"key":"492_CR20","doi-asserted-by":"crossref","unstructured":"SAKAMA, C., and K. INOUE, \u2018Updating extended logic programs through abduction\u2019, in M. Gelfond, N. Leone, and G. Pfeifer, (eds.), Proceedings of the 5th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-99), volume 1730 of LNAI, Springer, 1999, pp. 147\u2013161.","DOI":"10.1007\/3-540-46767-X_11"},{"key":"492_CR21","unstructured":"ZHANG, Y., and N. Y. FOO, \u2018Updating logic programs\u2019, in H. Prade, (ed.), Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), John Wiley & Sons, 1998, pp. 403\u2013407."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-005-0492-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11225-005-0492-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-005-0492-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T10:40:19Z","timestamp":1586515219000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11225-005-0492-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,2]]},"references-count":21,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2005,2]]}},"alternative-id":["492"],"URL":"https:\/\/doi.org\/10.1007\/s11225-005-0492-y","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"value":"0039-3215","type":"print"},{"value":"1572-8730","type":"electronic"}],"subject":[],"published":{"date-parts":[[2005,2]]}}}