{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:59:09Z","timestamp":1725569949976},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540425939"},{"type":"electronic","value":"9783540454021"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45402-0_27","type":"book-chapter","created":{"date-parts":[[2010,11,19]],"date-time":"2010-11-19T22:10:11Z","timestamp":1290204611000},"page":"365-378","source":"Crossref","is-referenced-by-count":8,"title":["Multi-dimensional Dynamic Knowledge Representation"],"prefix":"10.1007","author":[{"given":"Jo\u00e3o Alexandre","family":"Leite","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 J\u00falio","family":"Alferes","sequence":"additional","affiliation":[]},{"given":"L\u00fa\u00fds Moniz","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,7,17]]},"reference":[{"issue":"1-3","key":"27_CR1","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0743-1066(99)00065-5","volume":"45","author":"J. J. Alferes","year":"2000","unstructured":"J. J. Alferes, J. A. Leite, L. M. Pereira, H. Przymusinska, and T. Przymusinski. Dynamic updates of non-monotonic knowledge bases. Journal of Logic Programming, 45(1-3):43\u201370, 2000. Abstract titled Dynamic Logic Programming appeared in Procs. of KR-98. 365, 367, 376","journal-title":"Journal of Logic Programming"},{"key":"27_CR2","unstructured":"J. J. Alferes, L. M. Pereira, H. Przymusinska, and T. Przymusinski. LUPS: A language for updating logic programs. Artificial Intelligence. To appear. 367"},{"key":"27_CR3","unstructured":"F. Buccafurri, W. Faber, and N. Leone. Disjunctive logic programs with inheritance. In Procs. of ICLP-99. MIT Press, 1999. 377"},{"issue":"3-4","key":"27_CR4","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1023\/A:1018986207453","volume":"25","author":"F. Buccafurri","year":"1999","unstructured":"F. Buccafurri, N. Leone,, and P. Rullo. Semantics and expressiveness of disjunctive ordered logic. Annals of Math. and Artificial Intelligence, 25(3-4):311\u2013337, 1999. 377","journal-title":"Annals of Math. and Artificial Intelligence"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"T. Eiter, M. Fink, G. Sabbatini, and H. Tompits. Considerations on updates of logic programs. In Procs. of JELIA-00, LNAI-1919. Springer, 2000. 377","DOI":"10.1007\/3-540-40006-0_2"},{"key":"27_CR6","unstructured":"M. Gelfond and V. Lifschitz. The stable semantics for logic programs. In Procs. of ICLP-88. MIT Press, 1988. 367"},{"key":"27_CR7","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/S0743-1066(97)10001-2","volume":"35","author":"K. Inoue","year":"1998","unstructured":"K. Inoue and C. Sakama. Negation as failure in the head. Journal of Logic Programming, 35:39\u201378, 1998. 367","journal-title":"Journal of Logic Programming"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"H. Katsuno and A. Mendelzon. On the difference between updating a knowledge base and revising it. In Procs. of KR-91. Morgan Kaufmann, 1991. 365","DOI":"10.1017\/CBO9780511526664.007"},{"issue":"1\/2","key":"27_CR9","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1023\/A:1007681906490","volume":"38","author":"E. Lamma","year":"2000","unstructured":"E. Lamma, F. Riguzzi, and L. M. Pereira. Strategies in combined learning via logic programs. Machine Learning, 38(1\/2):63\u201387, 2000. 365","journal-title":"Machine Learning"},{"key":"27_CR10","unstructured":"J. A. Leite, J. J. Alferes, and L. M. Pereira. Minerva-a dynamic logic programming agent architecture. In Procs. of ATAL\u201901, 2001. 374"},{"key":"27_CR11","unstructured":"J. A. Leite, J. J. Alferes, and L. M. Pereira. Multi-dimensional logic programming. Technical report, Dept. Informatica, Universidade Nova de Lisboa, 2001. 375"},{"key":"27_CR12","unstructured":"J. A. Leite, F. C. Pereira, A. Cardoso, and L. M. Pereira. Metaphorical mapping consistency via dynamic logic programming. In Procs. of AISB\u201900. AISB, 2000. 365"},{"key":"27_CR13","unstructured":"J. A. Leite and L. M. Pereira. Generalizing updates: From models to programs. In Procs of. LPKR-97, volume 1471 of LNAI. Springer, 1997. 365"},{"key":"27_CR14","unstructured":"V. Lifschitz and T. Woo. Answer sets in general non-monotonic reasoning (preliminary report). In Procs. of KR-92. Morgan-Kaufmann, 1992. 367"},{"key":"27_CR15","doi-asserted-by":"crossref","unstructured":"V. W. Marek and M. Truszczy\u0144ski. Revision specifications by means of programs. In Procs. of JELIA-94, volume 838 of LNAI. Springer, 1994. 365, 376","DOI":"10.1007\/BFb0021968"},{"issue":"2","key":"27_CR16","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0743-1066(96)00091-X","volume":"30","author":"T. C. Przymusinski","year":"1997","unstructured":"Teodor C. Przymusinski and Hudson Turner. Update by means of inference rules. Journal of Logic Programming, 30(2):125\u2013143, 1997. 365","journal-title":"Journal of Logic Programming"},{"key":"27_CR17","doi-asserted-by":"crossref","unstructured":"P. Quaresma and I. P. Rodrigues. A collaborative legal information retrieval system using dynamic logic programming. In Procs. of ICAIL-99. ACM Press, 1999. 365","DOI":"10.1145\/323706.323795"},{"key":"27_CR18","doi-asserted-by":"crossref","unstructured":"C. Sakama and K. Inoue. Updating extended logic programs through abduction. In Procs. of LPNMR-99. Springer, 1999. 377","DOI":"10.1007\/3-540-46767-X_11"},{"key":"27_CR19","unstructured":"Marianne Winslett. Reasoning about action using a possible models approach. In Procs. of NCAI-88. AAAI Press, 1988. 365"},{"key":"27_CR20","unstructured":"Y. Zhang and N. Foo. Updating logic programs. In Procs. of ECAI\u201998. Morgan Kaufmann, 1998. 377"}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45402-0_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,13]],"date-time":"2021-11-13T21:17:53Z","timestamp":1636838273000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45402-0_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540425939","9783540454021"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-45402-0_27","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}