{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,18]],"date-time":"2025-05-18T06:05:51Z","timestamp":1747548351849},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540438588"},{"type":"electronic","value":"9783540454489"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45448-9_11","type":"book-chapter","created":{"date-parts":[[2007,5,21]],"date-time":"2007-05-21T17:03:25Z","timestamp":1179767005000},"page":"141-157","source":"Crossref","is-referenced-by-count":25,"title":["$$ \\mathcal{M}\\mathcal{I}\\mathcal{N}\\mathcal{E}\\mathcal{R}\\mathcal{V}\\mathcal{A} $$- A Dynamic Logic Programming Agent Architecture"],"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,6,21]]},"reference":[{"issue":"1\u20133","key":"11_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. A short version titled Dynamic Logic Programming appeared in A. Cohn and L. Schubert (eds.), KR\u201998, Morgan Kaufmann.","journal-title":"Journal of Logic Programming"},{"key":"11_CR2","unstructured":"J. J. Alferes, J. A. Leite, L. M. Pereira, and P. Quaresma. Planning as abductive updating. In D. Kitchin, editor, Proceedings of the AISB\u2019 00 Symposium on AI Planning and Intelligent Agents, pages 1\u20138. AISB, 2000."},{"key":"11_CR3","unstructured":"J. J. Alferes, L. M. Pereira, H. Przymusinska, and T. Przymusinski. LUPS: A language for updating logic programs. Artificial Intelligence, 2001. To appear. A short version appeared in M. Gelfond, N. Leone and G. Pfeifer (eds.), LPNMR-99, LNAI 1730, Springer."},{"key":"11_CR4","unstructured":"J. J. Alferes, L. M. Pereira, T. Przymusinski, H. Przymusinska, and P. Quaresma. An exercise with dynamic logic programming. In L. Garcia and M. Chiara Meo, editors, Proceedings of the 2000 Joint Conference on Declarative Programming (AGP-00), 2000."},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"M. Fisher. A survey of concurrent METATEM: The language and its applications. In Dov M. Gabbay and Hans J\u00fcrgen Ohlbach, editors, Proceedings of the 1st International Conference on Temporal Logic, volume 827 of LNAI, pages 480\u2013505, Berlin, 1994. Springer.","DOI":"10.1007\/BFb0014005"},{"key":"11_CR6","unstructured":"M. Gelfond and V. Lifschitz. Action languages. Linkoping Electronic Articles in Computer and information Science, 3(16), 1998."},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"K. V. Hindriks, F. S. de Boer, W. van der Hoek, and J. C. Meyer. Formal semantics for an abstract agent programming language. In Munindar P. Singh, Anand Rao, and Michael J. Wooldridge, editors, Proceedings of the 4th International Workshop on Agent Theories, Architectures, and Languages (ATAL-97), volume 1365 of LNAI, pages 215\u2013230, Berlin, 1998. Springer.","DOI":"10.1007\/BFb0026761"},{"key":"11_CR8","unstructured":"Hirojumi Katsuno and Alberto O. Mendelzon. On the difference between updating a knowledge base and revising it. In James Allen, Richard Fikes, and Erik Sandewall, editors, Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, pages 387\u2013394, San Mateo, CA, USA, 1991. Morgan Kaufmann Publishers."},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"J. A. Leite, J. J. Alferes, and L. M. Pereira. Multi-dimensional dynamic knowledge representation. In Thomas Eiter, Wolfgang Faber, and Mirosaw Truszczynski, editors, Proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-01), volume 2173 of LNAI, pages 365\u2013378. Springer, 2001. A preliminary version appeared in F Sadri and K. Satoh (Eds.) Procs. of CLIMA\u201900.","DOI":"10.1007\/3-540-45402-0_27"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"J. A. Leite, J. J. Alferes, and L. M. Pereira. On the use of multi-dimensional dynamic logic programming to represent societal agents\u2019 viewpoints. In P. Brazdil and A. Jorge, editors, Progress in Artificial Intelligence, 10th Portuguese International Conference on Artificial Intelligence (EPIA-01), volume 2258 of LNAI. Springer, 2001.","DOI":"10.1007\/3-540-45329-6_28"},{"key":"11_CR11","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 J. Dix, U. Furbach, and A. Nerode, editors, LPNMR-97, volume 1265 of LNAI, pages 420\u2013429, Berlin, 1997. Springer.","DOI":"10.1007\/3-540-63255-7_32"},{"key":"11_CR12","unstructured":"S. Rochefort, F. Sadri, and F. Toni, editors. Proceedings of the International Workshop on Multi-Agent Systems in Logic Programming, Las Cruces, New Mexico, USA, 1999. Available from http:\/\/www.cs.sfu.ca\/conf\/MAS99 ."},{"key":"11_CR13","unstructured":"F. Sadri and F. Toni. Computational logic and multiagent systems: A roadmap, 1999. Available from http:\/\/www.compulog.org ."},{"key":"11_CR14","unstructured":"D. De Schreye, M. Hermenegildo, and L. M. Pereira. Paving the roadmaps: Enabling and integration technologies, 2000. Available from http:\/\/www.compulog.org\/net\/Forum\/Supportdocs.html ."},{"key":"11_CR15","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3487.001.0001","volume-title":"Heterogeneous Agent Systems","author":"V. S. Subrahmanian","year":"2000","unstructured":"V. S. Subrahmanian, Piero Bonatti, J\u00fcrgen Dix, Thomas Eiter, Sarit Kraus, Fatma Ozcan, and Robert Ross. Heterogeneous Agent Systems. MIT Press\/AAAI Press, Cambridge, MA, USA, 2000."},{"key":"11_CR16","unstructured":"XSB-Prolog. The XSB logic programming system, version 2.0, 1999. Available at http:\/\/www.cs.sunysb.edu\/sbprolog ."}],"container-title":["Lecture Notes in Computer Science","Intelligent Agents VIII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45448-9_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,22]],"date-time":"2020-04-22T06:46:17Z","timestamp":1587537977000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45448-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540438588","9783540454489"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-45448-9_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}