MINERVA - A dynamic Logic Programming agent architecture

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2333 LNAI, Issue , 2002, Pages 141-157

  Leite, João Alexandre ^a   Alferes, José Júlio ^a   Pereira, Luís Moniz ^a  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ARCHITECTURE; EFFICIENCY; INTELLIGENT AGENTS; KNOWLEDGE REPRESENTATION; SEMANTICS; COMPUTATION THEORY; COMPUTATIONAL LINGUISTICS;

CLEAR SPECIFICATIONS; DYNAMIC LOGIC PROGRAMMING; IMPERATIVE LANGUAGES; KNOWLEDGE REPRESENTATION AND REASONING; LOGIC PROGRAMMING IMPLEMENTATION; MULTI-DIMENSIONAL STRUCTURE; NON-MONOTONIC REASONING; RESEARCH AND DEVELOPMENT;

LOGIC PROGRAMMING;

EID: 79956323113     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (18)

1. 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-70, 2000.
2. A short version titled Dynamic Logic Programming appeared in A. Cohn and L. Schubert (eds.), KR'98, Morgan Kaufmann.
3. J. J. Alferes, J. A. Leite, L. M. Pereira, and P. Quaresma. Planning as abductive updating. In D. Kitchin, editor, Proceedings of the AISB'00 Symposium on AI Planning and Intelligent Agents, pages 1-8. AISB, 2000.
4. 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.
5. 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.
6. M. Fisher. A survey of concurrent METATEM: The language and its applications. In Dov M. Gabbay and Hans Jürgen Ohlbach, editors, Proceedings of the 1st International Conference on Temporal Logic, volume 827 of LNAI, pages 480-505, Berlin, 1994. Springer.
7. M. Gelfond and V. Lifschitz. Action languages. Linkoping Electronic Articles in Computer and information Science, 3(16), 1998.
8. 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-230, Berlin, 1998. Springer.
9. 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-394, San Mateo, CA, USA, 1991. Morgan Kaufmann Publishers.
10. 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-378. Springer, 2001.
11. A preliminary version appeared in F. Sadri and K. Satoh (Eds.) Procs. of CLIMA'00.
12. J. A. Leite, J. J. Alferes, and L. M. Pereira. On the use of multi-dimensional dynamic logic programming to represent societal agents' 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.
13. I. Niemelä 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-429, Berlin, 1997. Springer.
14. S. Rochefort, F. Sadri, and F. Toni, editors. Proceedings of the International Workshop on Multi-Agent Systems in Logic Programming, Las Cruces, NewMexico, USA, 1999. Available from http://www.cs.sfu.ca/conf/MAS99.
15. F. Sadri and F.Toni. Computational logic and multiagent systems:Aroadmap, 1999. Available from http://www.compulog.org.
16. 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.
17. V. S. Subrahmanian, Piero Bonatti, Jürgen Dix, Thomas Eiter, Sarit Kraus, Fatma Ozcan, and Robert Ross. Heterogeneous Agent Systems. MIT Press/AAAI Press, Cambridge, MA, USA, 2000.
18. XSB-Prolog. The XSB logic programming system, version 2.0, 1999. Available at http://www.cs.sunysb.edu/sbprolog.