{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:27:14Z","timestamp":1725575234794},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540207214"},{"type":"electronic","value":"9783540246091"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-24609-1_4","type":"book-chapter","created":{"date-parts":[[2011,1,14]],"date-time":"2011-01-14T03:31:31Z","timestamp":1294975891000},"page":"8-20","source":"Crossref","is-referenced-by-count":7,"title":["Semantics for Dynamic Logic Programming: A Principle-Based Approach"],"prefix":"10.1007","author":[{"given":"Jos\u00e9 J.","family":"Alferes","sequence":"first","affiliation":[]},{"given":"Federico","family":"Banti","sequence":"additional","affiliation":[]},{"given":"Antonio","family":"Brogi","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o A.","family":"Leite","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"4_CR1","volume-title":"Procs. of KR 1998","author":"J.J. Alferes","year":"1998","unstructured":"Alferes, J.J., Leite, J.A., Pereira, L.M., Przymusinska, H., Przymusinski, T.C.: Dynamic logic programming. In: Procs. of KR 1998. Morgan Kaufmann, San Francisco (1998)"},{"issue":"1-3","key":"4_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)","journal-title":"The Journal of Logic Programming"},{"key":"4_CR3","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"19&20","author":"K.R. Apt","year":"1994","unstructured":"Apt, K.R., Bol, R.N.: Logic programming and negation: A survey. The Journal of Logic Programming\u00a019&20, 9\u201372 (1994)","journal-title":"The Journal of Logic Programming"},{"key":"4_CR4","volume-title":"Procs. of ICLP 1999","author":"F. Buccafurri","year":"1999","unstructured":"Buccafurri, F., Faber, W., Leone, N.: Disjunctive logic programs with inheritance. In: Procs. of ICLP 1999. MIT Press, Cambridge (1999)"},{"key":"4_CR5","unstructured":"DLV. The DLV project - a disjunctive datalog system (and more) (2000), Available at \n                    \n                      http:\/\/www.dbai.tuwien.ac.at\/proj\/dlv\/"},{"key":"4_CR6","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\u00a02(6) (2002)","DOI":"10.1017\/S1471068401001247"},{"issue":"3","key":"4_CR7","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":"4_CR8","volume-title":"Procs. of ICLP 1988","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K.A. (eds.) Procs. of ICLP 1988. MIT Press, Cambridge (1988)"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1016\/0743-1066(93)90035-F","volume":"17","author":"M. Gelfond","year":"1993","unstructured":"Gelfond, M., Lifschitz, V.: Representing actions and change by logic programs. Journal of Logic Programming\u00a017, 301\u2013322 (1993)","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"4_CR10","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Generation Computing\u00a04(1), 67\u201395 (1986)","journal-title":"New Generation Computing"},{"key":"4_CR11","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":"4_CR12","series-title":"Lecture Notes in Artificial Intelligence","first-page":"365","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"J.A. Leite","year":"2001","unstructured":"Leite, J.A., Alferes, J.J., Pereira, L.M.: Multi-dimensional dynamic knowledge representation. In: Eiter, T., Faber, W., Truszczy\u0144ski, M. (eds.) LPNMR 2001. LNCS (LNAI), vol.\u00a02173, p. 365. Springer, Heidelberg (2001)"},{"key":"4_CR13","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/BFb0054796","volume-title":"Logic Programming and Knowledge Representation","author":"J.A. Leite","year":"1998","unstructured":"Leite, J.A., Pereira, L.M.: Generalizing updates: From models to programs. In: Dix, J., Moniz Pereira, L., Przymusinski, T.C. (eds.) LPKR 1997. LNCS (LNAI), vol.\u00a01471, p. 224. Springer, Heidelberg (1998)"},{"key":"4_CR14","volume-title":"Procs. of JICSLP 1998","author":"J.A. Leite","year":"1998","unstructured":"Leite, J.A., Pereira, L.M.: Iterated logic program updates. In: Procs. of JICSLP 1998. MIT Press, Cambridge (1998)"},{"key":"4_CR15","unstructured":"H. Levesque, F. Pirri, and R. Reiter. Foundations for the situation calculus. Link\u00f6ping Electronic Articles in Computer and Information Science, 03, 1998."},{"key":"4_CR16","volume-title":"Procs of KR 1992","author":"V. Lifschitz","year":"1992","unstructured":"Lifschitz, V., Woo, T.: Answer sets in general non-monotonic reasoning (preliminary report). In: Procs of KR 1992. Morgan-Kaufmann, San Francisco (1992)"},{"key":"4_CR17","volume-title":"Machine Intelligence","author":"J. McCarthy","year":"1969","unstructured":"McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence, vol.\u00a04. Edinburgh University Press, Edinburgh (1969)"},{"key":"4_CR18","volume-title":"Procs. of ICLP 1988","author":"H. Przymusinska","year":"1988","unstructured":"Przymusinska, H., Przymusinski, T.: Weakly perfect model semantics. In: Procs. of ICLP 1988. MIT Press, Cambridge (1988)"},{"key":"4_CR19","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, p. 147. Springer, Heidelberg (1999)"},{"key":"4_CR20","unstructured":"SMODELS. The SMODELS system (2000), Available at \n                    \n                      http:\/\/www.tcs.hut.fi\/Software\/smodels\/"},{"key":"4_CR21","volume-title":"Procs. of ECAI 1998","author":"Y. Zhang","year":"1998","unstructured":"Zhang, Y., Foo, N.Y.: Updating logic programs. In: Procs. of ECAI 1998. John Wiley & Sons, Chichester (1998)"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24609-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,23]],"date-time":"2019-03-23T19:25:13Z","timestamp":1553369113000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24609-1_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540207214","9783540246091"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24609-1_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}