On the use of multi-dimensional dynamic logic programming to represent societal agents' viewpoints

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

Volumn 2258 LNAI, Issue , 2001, Pages 276-289

  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

COMPUTER CIRCUITS; COMPUTER PROGRAMMING LANGUAGES; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; MULTI AGENT SYSTEMS; ARTIFICIAL INTELLIGENCE; INTELLIGENT AGENTS; RECONFIGURABLE HARDWARE;

AGENT ARCHITECTURES; AGENT FRAMEWORK; KNOWLEDGE DYNAMICS; KNOWLEDGE REPRESENTATION AND REASONING; MULTI-DIMENSIONAL DYNAMICS; SOCIETY OF AGENTS;

INTELLIGENT AGENTS; MULTI AGENT SYSTEMS;

EID: 18944401046     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45329-6_28     Document Type: Conference Paper

References (19)

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. Short version titled Dynamic Logic Programming appeared in Procs. of KR-98.
2. 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.
3. 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.
4. F. Buccafurri, W. Faber, and N. Leone. Disjunctive logic programs with inheritance. In Procs. of ICLP-99. MIT Press, 1999.
5. P. Dell'Acqua and L. M. Pereira. Updating agents. In Procs of MAS-99, ICLP-99 Ws., 1999.
6. T. Eiter, M. Fink, G. Sabbatini, and H. Tompits. Considerations on updates of logic programs. In Procs. of JELIA-00, LNAI-1919. Springer, 2000.
7. M. Gelfond and V. Lifschitz. The stable semantics for logic programs. In Procs. of ICLP-88. MIT Press, 1988.
8. 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-38, 1998.
9. E. Lamma, F. Riguzzi, and L. M. Pereira. Strategies in combined learning via logic programs. Machine Learning, 38(1/2):63-87, 2000.
10. J. A. Leite, J. J. Alferes, and L. M. Pereira. Multi-dimensional dynamic logic programming. In Procs. of CLIMA'00, pages 17-26, 2000.
11. J. A. Leite, J. J. Alferes, and L. M. Pereira. MINERVA - a dynamic logic programming agent architecture. In Procs. of ATAL'01, 2001.
12. J. A. Leite, F. C. Pereira, A. Cardoso, and L. M. Pereira. Metaphorical mapping consistency via dynamic logic programming. In Procs. of AISB'00. AISB, 2000.
13. V. Lifschitz and T. Woo. Answer sets in general non-monotonic reasoning (preliminary report). In Procs. of KR-92. Morgan-Kaufmann, 1992.
14. I. Niemelä and P. Simons. Smodels: An implementation of the stable model and well-founded semantics for normal LP. In Procs. of LPNMR'97, volume 1265 of LNAI. Springer, 1997.
15. P. Quaresma and I. P. Rodrigues. A collaborative legal information retrieval system using dynamic logic programming. In Procs. of ICAIL-99. ACM Press, 1999.
16. F. Sadri and F. Toni. Computational logic and multiagent systems: A roadmap, 1999. Available from http://www.compulog.org.
17. C. Sakama and K. Inoue. Updating extended logic programs through abduction. In Procs. of LPNMR-99. Springer, 1999.
18. XSB-Prolog. The XSB logic programming system, version 2.0, 1999. Available at http://www.cs.sunysb.edu/sbprolog.
19. Y. Zhang and N. Foo. Updating logic programs. In Procs. of ECAI'98. Morgan Kaufmann, 1998.