Inferring acceptable arguments with Answer Set Programming

Proceedings of the Mexican International Conference on Computer Science

Volumn 2005, Issue , 2005, Pages 198-205

  Osorio, Mauricio ^a   Zepeda, Claudia ^a   Nieves, Juan Carlos ^b   Cortés, Ulises ^b  

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

^b UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

Agents; Answer set programming; Argumentation; Logic programming

Indexed keywords

DECISION MAKING; INTELLIGENT AGENTS; PROBLEM SOLVING; SEMANTICS;

ANSWER SET PROGRAMMING (ASP);

LOGIC PROGRAMMING;

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

References (16)

1. M. Balduccini and M. Gelfond. Logic Programs with Consistency-Restoring Rules. In P. Doherty, J. Mc-Carthy, and M.-A. Williams, editors, International Symposium on Logical Formalization of Commonsense Reasoning, AAAI 2003 Spring Symposium Series, March 2003.
2. C. Baral. Knowledge Representation, reasoning and declarative problem solving with Answer Sets. Cambridge University Press, Cambridge, 2003.
3. P. Besnard and S. Doutre. Checking the acceptability of a set of arguments. In Tenth International Workshop on Non-Monotonic Reasoning (NMR 2004), pages 59-64, June 2004.
4. G. Brewka, I. Niemelä, and T. Syrjänen. Implementing Ordered Disjunction Using Answer Set Solvers for Normal Programs. In Proceedings of the 8th European Workshop Logic in Artificial Inteligence JELIA 2002. Springer, 2002.
5. F. Caballero, A. López-Navidad, M. Perea, C. Cabrer, L. Guirado, and R. Sòla. Successful liver and kidney transplantation from cadaveric donor with left-sided bacterial endocarditis. American Journal of Transplantation, 5:781-787, 2005.
6. C. Cayrol, S. Doutre, and J. Mengin. On Decision Problems related to the preferred semantics for argumentation frameworks. Journal of Logic and Computation, 13(3):377-403, 2003.
7. T. H. Cormen, C. E. Leiserson, R. L. Riverst, and C. Stein. Introduction to Algorithms. MIT Press, second edition, 2001.
8. U. Cortés, P. Tolchinsky, J. C. Nieves, A. López-Navidad, and F. Caballero. Arguing the discard of organs for transplantation in CARREL. In CATAI 2005, pages 93-105, 2005.
9. Y. Dimopoulos, B. Nebel, and F. Toni. Preferred Arguments are Harder to Compute than Stable Extensions. In Proc. of the. 16th International Joint Conference on Artificial Intelligence (IJCAI99), pages 36-41, 1999.
10. 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.
11. M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programming. In R. Kowalski and K. Bowen, editors, 5th Conference on Logic Programming, pages 1070-1080. MIT Press, 1988.
12. J. C. Nieves, M. Osorio, C. Zepeda, and U. Cortés. The appropriateness of ASP for argumentation. Technical report, Departament de Lleguatges i Sistemes Informàtics, Universitat Politècnica de Catalunya, 2005.
13. M. Osorio, J. A. Navarro, and J. Arrazola. Applications of Intuitionistic Logic in Answer Set Programming. Theory and Practice of Logic Programming (TPLP), 4:325-354, May 2004.
14. M. Osorio, M. Ortiz, and C. Zepeda. Using cr-rules for evacuation planning. In G. D. I. Luna, O. F. Chaves, and M. O. Galindo, editors, IX Ibero-american Workshops on Artificial Inteligence, pages 56-63, 1994.
15. D. Pearce. Stable Inference as Intuitionistic Validity. Logic Programming, 38:79-91, 1999.
16. J. Vázquez-Salceda, U. Cortés, J. Padget, A. López-Navidad, and F. Caballero. Extending the carrel system to mediate in the organ and tissue allocation processes: A first approach. Artificial Intelligence in Medicine, 3:233-258, 2003.