Defining new argumentation-based semantics by minimal models

Proceedings of the Mexican International Conference on Computer Science

Volumn , Issue , 2006, Pages 210-219

  Nieves, Juan Carlos ^a   Cortés, Ulises ^a   Osorio, Mauricio ^b   Olmos, Ivan ^c   Gonzalez, Jesus A ^c  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

^b UNIVERSIDAD DE LAS AMÉRICAS PUEBLA   (Mexico)

^c INSTITUTO NACIONAL DE ASTROFÍSICA   (Mexico)

Author keywords

Argumentation; Logic programming; Subgraph isomorphism

Indexed keywords

ARGUMENTATION; DUNG'S ARGUMENTATION APPROACH; SI-COBRA; SUBGRAPH ISOMORPHISM;

ARTIFICIAL INTELLIGENCE; COMPUTER AIDED SOFTWARE ENGINEERING; LOGIC PROGRAMMING; MATHEMATICAL MODELS;

SEMANTICS;

EID: 34547437636     PISSN: 15504069     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ENC.2006.10     Document Type: Conference Paper

References (22)

1. O. Arieli, M. Denecker, B. V. Nuffelen, and M. Bruynooghe. Database repair by signed formulae. In FoIKS, volume 2942 of LNCS, pages 14-30. Springer, 2004.
2. P. Baroni and M. Giacomin. Evaluating argumentation semantics with respect to skepticism adequacy. In ECSQARU 2005, Barcelona, Spain, July 6-8, 2005, Proceedings, volume 3571 of LNCS, pages 329-340. Springer, 2005.
3. P. Baroni, M. Giacomin, and G. Guida. SCC-recursiveness: a general schema for argumentation semantics. Artificial Intelligence, 168:162-210, October 2005.
4. T. Bench-Capon. Value-based argumentation frameworks. In Proceedings of Non Monotonic Reasoning, pages 444-453, 2002.
5. A. Bondarenko, P. M. Dung, R. A. Kowalski, and F. Toni. An abstract, argumentation-theoretic approach to default reasoning. Artificial Intelligence, 93:63-101, 1997.
6. M. Caminada. Contamination in formal argumentation systems. In BNAIC 2005 - Proceedings of the Seventeenth Belgium-Netherlands Conference on Artificial Intelligence, Brussels, Belgium, October 17-18, pages 59-65, 2005.
7. C. I. Chesñevar, A. G. Maguitman, and R. P. Loui. Logical models of argument. ACM Comput. Surv., 32 (4):337-383, 2000.
8. Y. Dimopoulos and A. Torres. Graph theoretical structures in logic programs and default theories. Theor. Comput. Sci., 170(1-2):209-244, 1996.
9. J. Dix, M. Osorio, and C. Zepeda. A general theory of confluent rewriting systems for logic programming and its applications. Ann. Pure Appl. Logic, 108(1-3): 153-188, 2001.
10. S. DLV. . http://www.dbai.tuwien.ac.at/proj/dlv/.
11. 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-358, 1995.
12. P. E. Dünne and T. J. M. Bench-Capon. Complexity in value-based argument systems. In JELIA, volume 3229 of LNCS, pages 360-371. Springer, 2004.
13. J. C. Nieves. Ph. D. Proposal : Supporting decision making in organ transplanting using argumentation theory. Universitat Politècnica de Catalunya, Software Department, 2006.
14. J. C. Nieves, M. Osorio, and U. Cortes. Modeling argumentation based semantics using non-monotonic reasoning. Technical report, Universitat Politècnica de Catalunya, Software Department, 2005.
15. J. C. Nieves, M. Osorio, C. Zepeda, and U. Cortes. Inferring acceptable arguments with answer set programming. In Sixth Mexican International Conference on Computer Science (ENC 2005), pages 198-205. IEEE Computer Science Press, September 2005.
16. I. Olmos and J. A. Gonzalez. Web site usage patterns discovery using a graph based representation. IX Ibero-American Workshop on Machine Learning for Scientific Data Analysis, pages 345-354, 2004.
17. I. Olmos, J. A. Gonzalez, and M. Osorio. Mining common patterns on graphs. International Conference on Computational Intelligence and Security, vol 1, LNAI3802:41-48, 2005.
18. I. Olmos, J. A. Gonzalez, and M. Osorio. Inexact graph matching: A case of study. To appear in Proceedings of the 19th International FLAIRS Conference, 2006.
19. J. L. Pollock. Cognitive Carpentry: a blueprint for how to build a person. The MIT Press, May 4, 1995.
20. H. Prakken and G. A. W. Vreeswijk. Logics for defeasible argumentation. In D. Gabbay and F. Günthner, editors, Handbook of Philosophical Logic, volume 4, pages 219-318. Kluwer Academic Publishers, Dordrecht/Boston/London, second edition, 2002.
21. I. Rahwad, S. D. Ramchurn, N. R. Jennings, P. Mcburney, S. Parsons, and L. Sonenberg. Argumentation-based negotiation. The Knowledge Engineering Review, 18(4):343-375, 2004.
22. P. Tolchinsky, U. Cortés, J. C. Nieves, A. López-Navidad, and F. Caballero. Using arguing agents to increase the human organ pool for transplantation. In Proc. of the Third Workshop on Agents Applied in Health Care (IJCAI2005), 2005.