Modality argumentation programming

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

Volumn 3885 LNAI, Issue , 2006, Pages 295-306

  Nieves, Juan Carlos ^a   Cortés, Ulises ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

Argumentation; Decision Making; Logic Programming; Rational Agents

Indexed keywords

COMPUTER HARDWARE DESCRIPTION LANGUAGES; DECISION MAKING; INTELLIGENT AGENTS; LOGIC PROGRAMMING; MODAL ANALYSIS;

ARGUMENTATION; MODALITY ARGUMENTATION PROGRAMMING; RATIONAL AGENTS;

ARTIFICIAL INTELLIGENCE;

EID: 33745603467     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11681960_29     Document Type: Conference Paper

References (16)

1. U. Cortés, P. Tolchinsky, J. C. Nieves, A. López-Navidad, and F. Caballero. Arguing the discard of organs for tranplantation in CARREL. In CATAI 2005, pages 93-105, 2005.
2. B. A. Davey and H. A. Priestly. Introduction to Lattices and Order. Cambridge University Press, second edition, 2002.
3. M.-W. O. Diccionary. http://www.m-w.com/.
4. A. V. Gelder, K. A. Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3):620-650, 1991.
5. M. Gelfond and V. Lifschitz. Classical Negation in Logic Programs and Disjunctive Databases. New Generation Computing, 9:365-385, 1991.
6. J. C. Nieves and B. Jayaraman. Relaxation in partial order programming. In Workshop on Logic and Computation: MICAI'2002, 2002.
7. M. Osorio and B. Jayaraman. Relating aggregation and negation-as-failure. New Generation Comput., 17(3):255-284, 1999.
8. M. Osorio, B. Jayaraman, and D. A. Plaisted. Theory of partial-order programming, Sci. Comput. Program., 34(3):207-238, 1999.
9. 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.
10. M. Osorio, J. C. Nieves, and B. Jayaraman. Aggregation in functional query languages. Journal of Functional and Logic Programming, 2004(2), August 2004.
11. S. Parsons and P. McBurney. Argumentation-based dialogues for agent coordination. Group Decision and Negotiation, 12(5):415-439, 2003.
12. D. Pearce. Stable Inference as Intuitionistic Validity. Logic Programming, 38:79-91, 1999.
13. 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 (IJCAI 2005), 2005.
14. D. van Dalen. Logic and structure. Springer-Verlag, Berlin, 3rd., aumented edition edition, 1994.
15. 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.
16. K. von Fintel. Modality and language. In D. M. Borchert, editor, Encyclopedia of Philosophy - Second Edition. MacMillan, 2005.