Vivid agents arguing about distributed extended logic programs

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

Volumn 1323, Issue , 1997, Pages 217-228

  Schroeder, Michael ^a   Móra, Iara ^b   Alferes, José Julio ^b,c  

^a LEIBNIZ UNIVERSITY HANNOVER   (Germany)

^b UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^c UNIVERSITY OF ÉVORA   (Portugal)

Author keywords

Argumentation; Logic Programming; Multi Agent Systems

Indexed keywords

COMPUTER CIRCUITS; INFERENCE ENGINES; INTELLIGENT AGENTS; LOGIC PROGRAMMING; SEMANTICS;

ARGUMENTATION; ARGUMENTATION FRAMEWORKS; ARGUMENTATION SEMANTICS; EXTENDED LOGIC; EXTENDED LOGIC PROGRAMMING; MULTI-AGENT SETTING; SINGLE-AGENT;

MULTI AGENT SYSTEMS;

EID: 84948977638     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0023924     Document Type: Conference Paper

References (15)

1. J. J. Alferes, C. V. Damásio, and L. M. Pereira. Top-down query evaluation for well-founded semantics with explicit negation. In A. Cohn, editor, Proc. of the European Conference on Artificial Intelligence'94, pages 140-144. John Wiley & Sons, August 1994.
2. J. J. Alferes, C. V. Damásio, and L. M. Pereira, A top-down derivation procedure for programs with explicit negation. In M. Bruynooghe, editor, Proc. of the International Logic Programming Symposium'94, pages 424-438. MIT Press, November 1994.
3. J. J. Alferes, C. V. Damásio, and L. M. Pereira. A logic programming system for nonmonotonic reasoning. Journal erf Automated Reasoning, 14(1);93-147, 1995.
4. J. J. Alferes and L. M. Pereira. Reasoning with Logic Programming. (LNAI 1111), Springer-Verlag, 1996.
5. P. M. Dung. An argumentation semantics for logic programming with explicit negation. In Proc. of die 10th International Conference on Logic Programming, pages 616-630. MIT Press, 1993.
6. P. M. Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Artificial Intelligence, 77(2):321-357, 1995.
7. T. Finin, J. Weber, G. Wiedeihold, M. Genesereth, R. Fritzson, D. McKay, J. McGuire, R. Pelavin, S. Shapiro, and C. Beck. Specification of the KQML agent communication language. Technical report, The DARPA Knowledge Sharing Initiative, External Interfaces Working Group, Baltimore, USA, 1993.
8. Allen Van Gelder, Kenneth Ross, and John S. Schlipf. Unfounded sets and well-founded semantics for general logic programs. In Proceeding of the 7th ACM Symposium on Principles ofDatabse Systems, pages 221-230. Austin, Texas, 1988.
9. L. M. Pereira, J. N. Apar'cio, and J. J. Alferes. Non-monotonic reasoning with logic programming. Journal of Logic Programming. Special issue on Nonmonotonic reasoning, 17(2, 3& 4), 1993.
10. L. M. Pereira, C. V. Damásio, and J. J. Alferes. Diagnosis and debugging as contradiction iemoval In L. M. Pereira and A. Nerode, editors, 2nd Int. Workshop m Logic Programming and Non-Monotonic Reasoning, pages 334-348, Lisboa, Portugal, June 1993. MU Press.
11. Lus Moniz Pereira and José Júlio Alferes. Well founded semantics for logic programs with explicit negation. In B. Neumann (Ed), European Conference on Artificial Intelligence, pages 102-106. John Wiley & Sons, 1992.
12. Henry Prakken and Giovanni Sartor. Argument-based extended logig prpgramming with defeasible priorities. Journal of Applied Non-Classical Logics, 1997.
13. Michael Schroeder, Rui Marques, Gerd Wagner, and José Cunha. CAP-Concurrent Action and naming: Using PVM-Prolog to implement vivid agente, to Proceedings of she fifth Conference on Practical Applications of Prolog, 1997. to be published.
14. Yoav Shoham. Agent-oriented programming. Artificial Intelligence, 60(1), 1-92, 1993.
15. Gerd Wagner. A logical and operational model of scalable knowledge-and perception-based agents. In Proceedings ofMAAMAW96, LNAI 1038. Springer-\ferlag, 1996.