{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:26:55Z","timestamp":1761611215537},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540430308"},{"type":"electronic","value":"9783540453291"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45329-6_28","type":"book-chapter","created":{"date-parts":[[2007,10,25]],"date-time":"2007-10-25T22:44:33Z","timestamp":1193352273000},"page":"276-289","source":"Crossref","is-referenced-by-count":4,"title":["On the Use of Multi-dimensional Dynamic Logic Programming to Represent Societal Agents\u2019 Viewpoints"],"prefix":"10.1007","author":[{"given":"Jo\u00e3o Alexandre","family":"Leite","sequence":"first","affiliation":[]},{"given":"Jos\u00e9 J\u00falio","family":"Alferes","sequence":"additional","affiliation":[]},{"given":"Lu\u00eds Moniz","family":"Pereira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,4,23]]},"reference":[{"issue":"1\u20133","key":"28_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\u20133):43\u201370, 2000. Short version titled Dynamic Logic Programming appeared in Procs. of KR-98.","journal-title":"Journal of Logic Programming"},{"key":"28_CR2","unstructured":"J. J. Alferes, L. M. Pereira, H. Przymusinska, and T. Przymusinski. LUPS: A language for updating logic programs. Artificial Intelligence, 2001. To appear. Short version appeared in Procs of LPNMR-99, LNAI-1730."},{"key":"28_CR3","doi-asserted-by":"crossref","unstructured":"M. Bozzano, G. Delzanno, M. Martelli, V. Mascardi, and F. Zini. Logic programming and multi-agent system: A synergic combination for applications and semantics. In The Logic Programming Paradigm-A 25-Year Perspective. Springer, 1999.","DOI":"10.1007\/978-3-642-60085-2_1"},{"key":"28_CR4","unstructured":"F. Buccafurri, W. Faber, and N. Leone. Disjunctive logic programs with inheritance. In Procs. of ICLP-99. MIT Press, 1999."},{"key":"28_CR5","unstructured":"P. Dell\u2019Acqua and L. M. Pereira. Updating agents. In Procs of MAS-99, ICLP-99 Ws., 1999."},{"key":"28_CR6","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.","DOI":"10.1007\/3-540-40006-0_2"},{"key":"28_CR7","unstructured":"M. Gelfond and V. Lifschitz. The stable semantics for logic programs. In Procs. of ICLP-88. MIT Press, 1988."},{"issue":"1","key":"28_CR8","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1023\/A:1010090405266","volume":"1","author":"N. R. Jennings","year":"1998","unstructured":"N. R. Jennings, K. Sycara, and M. Wooldridge. A roadmap of agent research and development. Journal of Autonomous Agents and Multi-Agent Systems, 1(1):7\u201338, 1998.","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"issue":"1\/2","key":"28_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.","journal-title":"Machine Learning"},{"key":"28_CR10","unstructured":"J. A. Leite, J. J. Alferes, and L. M. Pereira. Multi-dimensional dynamic logic programming. In Procs. of CLIMA\u201900, pages 17\u201326, 2000."},{"key":"28_CR11","unstructured":"J. A. Leite, J. J. Alferes, and L. M. Pereira. MINERVA-a dynamic logic programming agent architecture. In Procs. of ATAL\u201901, 2001."},{"key":"28_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."},{"key":"28_CR13","unstructured":"V. Lifschitz and T. Woo. Answer sets in general non-monotonic reasoning (preliminary report). In Procs. of KR-92. Morgan-Kaufmann, 1992."},{"key":"28_CR14","doi-asserted-by":"crossref","unstructured":"I. Niemel\u00e4 and P. Simons. Smodels: An implementation of the stable model and well-founded semantics for normal LP. In Procs. of LPNMR\u201997, volume 1265 of LNAI. Springer, 1997.","DOI":"10.1007\/3-540-63255-7_32"},{"key":"28_CR15","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.","DOI":"10.1145\/323706.323795"},{"key":"28_CR16","unstructured":"F. Sadri and F. Toni. Computational logic and multiagent systems: A roadmap, 1999. Available from http:\/\/www.compulog.org ."},{"key":"28_CR17","doi-asserted-by":"crossref","unstructured":"C. Sakama and K. Inoue. Updating extended logic programs through abduction. In Procs. of LPNMR-99. Springer, 1999.","DOI":"10.1007\/3-540-46767-X_11"},{"key":"28_CR18","unstructured":"XSB-Prolog. The XSB logic programming system, version 2.0, 1999. Available at http:\/\/www.cs.sunysb.edu\/ sbprolog ."},{"key":"28_CR19","unstructured":"Y. Zhang and N. Foo. Updating logic programs. In Procs. of ECAI'98. Morgan Kaufmann, 1998."}],"container-title":["Lecture Notes in Computer Science","Progress in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45329-6_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T21:06:46Z","timestamp":1556917606000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45329-6_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540430308","9783540453291"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-45329-6_28","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}