{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T06:54:48Z","timestamp":1747810488794},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540307372"},{"type":"electronic","value":"9783540316466"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11595014_5","type":"book-chapter","created":{"date-parts":[[2005,11,28]],"date-time":"2005-11-28T12:57:17Z","timestamp":1133182637000},"page":"43-54","source":"Crossref","is-referenced-by-count":4,"title":["Operational Semantics for DyLPs"],"prefix":"10.1007","author":[{"given":"F.","family":"Banti","sequence":"first","affiliation":[]},{"given":"J. J.","family":"Alferes","sequence":"additional","affiliation":[]},{"given":"A.","family":"Brogi","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"Alferes, J.J., Banti, F., Brogi, A., Leite, J.A.: The refined extension principle for semantics of dynamic logic programming. Studia Logica\u00a079(1) (2005)","DOI":"10.1007\/s11225-005-0492-y"},{"issue":"1-3","key":"5_CR2","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0743-1066(99)00065-5","volume":"45","author":"J.J. Alferes","year":"2000","unstructured":"Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.: Dynamic updates of non-monotonic knowledge bases. The Journal of Logic Programming\u00a045(1-3), 43\u201370 (2000); A preliminary version appeared in KR 1998","journal-title":"The Journal of Logic Programming"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Alferes, J.J., Pereira, L.M., Przymusinska, H., Przymusinski, T.: LUPS: A language for updating logic programs. In: Artificial Intelligence, vol.\u00a0132(1&2) (2002)","DOI":"10.1016\/S0004-3702(02)00183-2"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Alferes, J.J., Banti, F., Brogi, A.: From logic programs updates to action description updates. In: CLIMA V (2004)","DOI":"10.1007\/11533092_4"},{"key":"5_CR5","series-title":"LNAI","volume-title":"Proceedings of the 9th Ibero-American Conference on Artificial Intelligence (IBERAMIA-9)","author":"F. Banti","year":"2004","unstructured":"Banti, F., Alferes, J.J., Brogi, A.: The well founded semantics for dynamic logic programs. In: Lema\u00eetre, C. (ed.) Proceedings of the 9th Ibero-American Conference on Artificial Intelligence (IBERAMIA-9). LNCS (LNAI). Springer, Heidelberg (2004)"},{"key":"5_CR6","volume-title":"Proceedings of the 1999 International Conference on Logic Programming (ICLP 1999)","author":"F. Buccafurri","year":"1999","unstructured":"Buccafurri, F., Faber, W., Leone, N.: Disjunctive logic programs with inheritance. In: De Schreye, D. (ed.) Proceedings of the 1999 International Conference on Logic Programming (ICLP 1999). MIT Press, Cambridge (1999)"},{"key":"5_CR7","unstructured":"DLV. The DLV project - a disjunctive datalog system (and more) (2000), Available at http:\/\/www.dbai.tuwien.ac.at\/proj\/dlv\/"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: On properties of update sequences based on causal rejection. Theory and Practice of Logic Programming (2002)","DOI":"10.1017\/S1471068401001247"},{"issue":"3","key":"5_CR9","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder Van","year":"1991","unstructured":"Van Gelder, A., Ross, K.A., Schlipf, J.S.: The well-founded semantics for general logic programs. Journal of the ACM\u00a038(3), 620\u2013650 (1991)","journal-title":"Journal of the ACM"},{"key":"5_CR10","first-page":"1070","volume-title":"5th International Conference on Logic Programming","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K.A. (eds.) 5th International Conference on Logic Programming, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"key":"5_CR11","unstructured":"Homola, M.: Dynamic logic programming: Various semantics are equal on acyclic programs. In: Leite, J., Torroni, P. (eds.) 5th Int. Ws. on Computational Logic In Multi-Agent Systems (CLIMA V), Pre-Proceedings (2004) ISBN: 972-9119-37-6"},{"key":"5_CR12","unstructured":"Leite, J.A.: Logic program updates. Master\u2019s thesis, Dept. de Inform\u00e1tica, Faculdade de Ci\u00eancias e Tecnologia, Universidade Nova de Lisboa (November 1997)"},{"key":"5_CR13","series-title":"Frontiers in Artificial Intelligence and Applications","volume-title":"Evolving Knowledge Bases","author":"J.A. Leite","year":"2003","unstructured":"Leite, J.A.: Evolving Knowledge Bases. Frontiers in Artificial Intelligence and Applications, vol.\u00a081. IOS Press, Amsterdam (2003)"},{"key":"5_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/3-540-45448-9_11","volume-title":"Intelligent Agents VIII","author":"J.A. Leite","year":"2002","unstructured":"Leite, J.A., Alferes, J.J., Pereira, L.M.: Minerva - a dynamic logic programming agent architecture. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol.\u00a02333, pp. 141\u2013157. Springer, Heidelberg (2002)"},{"key":"5_CR15","first-page":"265","volume-title":"Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming (JICSLP 1998)","author":"J.A. Leite","year":"1998","unstructured":"Leite, J.A., Pereira, L.M.: Iterated logic program updates. In: Jaffar, J. (ed.) Proceedings of the 1998 Joint International Conference and Symposium on Logic Programming (JICSLP 1998), pp. 265\u2013278. MIT Press, Cambridge (1998)"},{"key":"5_CR16","volume-title":"Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR 1992)","author":"V. Lifschitz","year":"1992","unstructured":"Lifschitz, V., Woo, T.: Answer sets in general non-monotonic reasoning (preliminary report). In: Nebel, B., Rich, C., Swartout, W. (eds.) Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning (KR 1992). Morgan-Kaufmann, San Francisco (1992)"},{"issue":"3","key":"5_CR17","doi-asserted-by":"publisher","first-page":"588","DOI":"10.1145\/116825.116836","volume":"38","author":"W. Marek","year":"1991","unstructured":"Marek, W., Truszczynski, M.: Autoepistemic logics. Journal of the ACM\u00a038(3), 588\u2013619 (1991)","journal-title":"Journal of the ACM"},{"key":"5_CR18","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/3-540-46767-X_11","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"C. Sakama","year":"1999","unstructured":"Sakama, C., Inoue, K.: Updating extended logic programs through abduction. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol.\u00a01730, pp. 147\u2013161. Springer, Heidelberg (1999)"},{"key":"5_CR19","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/3-540-44404-1_30","volume-title":"Logic for Programming and Automated Reasoning","author":"J. Sefranek","year":"2000","unstructured":"Sefranek, J.: A kripkean semantics for dynamic logic programming. In: Parigot, M., Voronkov, A. (eds.) LPAR 2000. LNCS (LNAI), vol.\u00a01955, pp. 469\u2013486. Springer, Heidelberg (2000)"},{"key":"5_CR20","unstructured":"SMODELS. The SMODELS system (2000), Available at http:\/\/www.tcs.hut.fi\/Software\/smodels\/"},{"key":"5_CR21","doi-asserted-by":"crossref","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A. Tarski","year":"1955","unstructured":"Tarski, A.: A lattice\u2013theoretic fixpoint theorem and its applications. Pacific Journal of Mathematics\u00a05, 285\u2013309 (1955)","journal-title":"Pacific Journal of Mathematics"},{"key":"5_CR22","unstructured":"XSB-Prolog. The XSB logic programming system, version 2.6 (2003), http:\/\/xsb.sourceforge.net"},{"key":"5_CR23","unstructured":"Zhang, Y., Foo, N.Y.: Updating logic programs. In: Prade, H. (ed.) Proceedings of the 13th European Conference on Artificial Intelligence, ECAI 1998 (1998)"}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11595014_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:52:28Z","timestamp":1619506348000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11595014_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540307372","9783540316466"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/11595014_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}