An argumentation-based negotiation for distributed extended logic programs

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

Volumn 4371 LNAI, Issue , 2007, Pages 191-210

  De Almeida, Iara Carnevale ^a,b   Alferes, José Júlio ^a  

^a UNIVERSIDADE NOVA DE LISBOA   (Portugal)

^b UNIVERSITY OF ÉVORA   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED COMPUTER SYSTEMS; KNOWLEDGE BASED SYSTEMS; PROBLEM SOLVING; SEMANTICS; SPECIFICATION LANGUAGES;

ARGUMENTATION-BASED LOGIC PROGRAMS; DISTRIBUTED KNOWLEDGE; KNOWLEDGE BASES; NEGOTIATION SEMANTICS;

LOGIC PROGRAMMING;

EID: 38149055697     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69619-3_11     Document Type: Conference Paper

References (16)

1. J. J. Alferes, C. V. Damásio, and L. M. Pereira. A logic programming system for nonmonotonic reasoning. Journal of Automated Reasoning, 14(1):93-147, 1995.
2. J. J. Alferes, J. A. Leite. L. M. Pereira, H. Przymusinska, and T. C. Przymusinski. Dynamic updates of non-monotonic knowledge bases. The Journal of Logic Programming, 45(l-3):43-70, September/October 2000.
3. A. Bondarenko, P, M. Dung, R. Kowalski, and F. Toni. An abstract, argumentation-theoretic approach to default reasoning. Journal of Artificial Intelligence, 93(1-2):63-101, 1997.
4. L. M. Pereira e M. Schroeder C. V. Damásio. Revise: Logic programming and diagnosis. In U. Furbach J. Dix and A. Nerode, editors, 4th International Conference (LPNMR'97), volume LNAI 1265 of Logic Programming and NonMonotonic Reasoning, pages 353-362. Springer, July 1997.
5. Iara de Almeida Móra and José Júlio Alferes. Argumentative and cooperative multi-agent system for extended logic programs. In F. M. Oliveira, editor, XIVth Brazilian Symposium on Artificial Intelligence, volume 1515 of LNAI, pages 161-170. Springer, 1998.
6. P. M. Dung. On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games. Journal of Artificial Intelligence, 77(2):321-357, 1995.
7. M. Gelfond and V. Lifschitz. Logic programs with classical negation. In Warren and Szeredi, editors, 7th International Conference on LP (ICLP), pages 579-597. MIT Press, 1990.
8. S. Parsons, C. Sierra, and N. R. Jennings. Agents that reason and negotiate by arguing. Journal of Logic and Computational, 8(8):261-292, 1998.
9. L. M. Pereira and J. J. Alferes. Well founded semantics for logic programs with explicit negation. In European Conference on Artificial Intelligence (ECAI), pages 102-106. John Wiley & Sons, 1992.
10. J. L. Pollock. Defeasible reasoning with variable degrees of justification. Journal of Artificial intelligence, 133:233-282, 2002.
11. H. Prakken and G. Sartor. Argument-based extended logic programming with defeasible priorities. Journal of Applied Non-Classical Logics, 7:25-75, 1997.
12. H. Prakken and G. A. W. Vreeswijk. Handbook of Philosophical Logic, volume 4, chapter Logics for Defeasible Argumentation, pages 218-319. Kluwer Academic, 2 edition, 2002.
13. M. Schroeder and R. Schweimeier. Arguments and misunderstandings: Fuzzy unification for negotiating agents. Journal of Computational Logic in Multi-Agent Systems, 93:1-18, August 2002.
14. Michael Schroeder, Iara de Almeida Móra, and J. J. José Júlio Alferes. Vivid agents arguing about distributed extended logic programs. In Ernesto Costa and Amilcar Cardoso, editors. Progress in Artificial Intelligence, 8th Portuguese Conference on Artificial Intelligence (EPIA), volume 1323 of LNAI, pages 217-228. Springer, 1997.
15. R. Schweimeier and M. Schroeder. Notions of attack and justified arguments for extended logic programs. In F. van Harmelen, editor, 15th European Conference on Artificial Intelligence. IOS Press, 2002.
16. G. A. W. Vreeswijk. Abstract argumentation systems. Journal of Artificial Intelligence, 90(1-2):225-279, 1997.