{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:27:30Z","timestamp":1725550050097},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540285380"},{"type":"electronic","value":"9783540318279"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11546207_28","type":"book-chapter","created":{"date-parts":[[2005,9,27]],"date-time":"2005-09-27T14:41:23Z","timestamp":1127832083000},"page":"356-368","source":"Crossref","is-referenced-by-count":4,"title":["The Well Supported Semantics for Multidimensional Dynamic Logic Programs"],"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":[]},{"given":"P.","family":"Hitzler","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"28_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/978-3-540-24609-1_4","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"J.J. Alferes","year":"2003","unstructured":"Alferes, J.J., Banti, F., Brogi, A., Leite, J.A.: Semantics for dynamic logic programming: a principled based approach. In: Lifschitz, V., Niemel\u00e4, I. (eds.) LPNMR 2004. LNCS (LNAI), vol.\u00a02923, pp. 8\u201320. Springer, Heidelberg (2003)"},{"key":"28_CR2","doi-asserted-by":"crossref","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\u00a0(1\u20133), 43\u201370 (2000)","DOI":"10.1016\/S0743-1066(99)00065-5"},{"key":"28_CR3","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/11533092_4","volume-title":"Computational Logic in Multi-Agent Systems","author":"J.J. Alferes","year":"2005","unstructured":"Alferes, J.J., Banti, F., Brogi, A.: From logic programs updates to action description updates. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol.\u00a03487, pp. 52\u201377. Springer, Heidelberg (2005), ISBN: 972-9119-37-6"},{"key":"28_CR4","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/0743-1066(94)90024-8","volume":"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":"28_CR5","unstructured":"Buccafurri, F., Faber, W., Leone, N.: Disjunctive logic programs with inheritance. In: De Schreye, D. (ed.) ICLP 1999 (1999)"},{"key":"28_CR6","doi-asserted-by":"crossref","first-page":"711","DOI":"10.1017\/S1471068401001247","volume":"2","author":"T. Eiter","year":"2002","unstructured":"Eiter, T., Fink, M., Sabbatini, G., Tompits, H.: On properties of semantics based on causal rejection. Theory and Practice of Logic Programming\u00a02, 711\u2013767 (2002)","journal-title":"Theory and Practice of Logic Programming"},{"key":"28_CR7","first-page":"51","volume":"1","author":"F. Fages","year":"1994","unstructured":"Fages, F.: Consistency of Clark\u2019s completion and existence of stable models. Journal of Methods of Logic in Computer Science\u00a01, 51\u201360 (1994)","journal-title":"Journal of Methods of Logic in Computer Science"},{"key":"28_CR8","unstructured":"Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: Kowalski, R., Bowen, K.A. (eds.) ICLP-5 (1988)"},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"Hitzler, P.: Towards a systematic account of different logic programming semantics. In: G\u00fcnter, A., Kruse, R., Neumann, B. (eds.) KI 2003 (2003)","DOI":"10.1007\/978-3-540-39451-8_9"},{"issue":"1\u20132","key":"28_CR10","first-page":"123","volume":"5","author":"P. Hitzler","year":"2005","unstructured":"Hitzler, P., Wendt, M.: A uniform approach to logic programming semantics. Theory and Practice of Logic Programming\u00a05(1\u20132), 123\u2013159 (2005)","journal-title":"Theory and Practice of Logic Programming"},{"key":"28_CR11","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1007\/11533092_5","volume-title":"Computational Logic in Multi-Agent Systems","author":"M. Homola","year":"2005","unstructured":"Homola, M.: Dynamic logic programming: Various semantics are equal on acyclic programs. In: Leite, J., Torroni, P. (eds.) CLIMA 2004. LNCS (LNAI), vol.\u00a03487, pp. 78\u201395. Springer, Heidelberg (2005), ISBN: 972-9119-37-6"},{"key":"28_CR12","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":"28_CR13","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, pp. 365\u2013378. Springer, Heidelberg (2001)"},{"key":"28_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 \u2013 a dynamic logic programming agent architecture. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS (LNAI), vol.\u00a02333, p. 141. Springer, Heidelberg (2002)"},{"key":"28_CR15","unstructured":"Leite, J.A., Pereira, L.M.: Iterated logic program updates. In: JICSLP 1998 (1998)"},{"key":"28_CR16","unstructured":"Lifschitz, V., Woo, T.: Answer sets in general non-monotonic reasoning. In: Nebel, B., Rich, C., Swartout, W. (eds.) KR 1992 (1992)"},{"key":"28_CR17","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":"28_CR18","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":"28_CR19","unstructured":"Zhang, Y., Foo, N.Y.: Updating logic programs. In: Prade, H. (ed.) ECAI 1998 (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\/11546207_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:18:48Z","timestamp":1605644328000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11546207_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540285380","9783540318279"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/11546207_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}