Argument theory change applied to defeasible logic programming

Proceedings of the National Conference on Artificial Intelligence

Volumn 1, Issue , 2008, Pages 132-137

  Moguillansky, Martín O ^a   Rotstein, Nicolás D ^a   Falappa, Marcelo A ^a   García, Alejandro J ^a   Simari, Guillermo R ^a  

^a UNIVERSIDAD NACIONAL DEL SUR   (Argentina)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING; LOGIC PROGRAMMING; MILITARY OPERATIONS; MULTI AGENT SYSTEMS; PROGRAMMING THEORY;

ARGUMENTATION SYSTEMS; BELIEF CHANGES; DEFEASIBLE LOGIC PROGRAMMINGS; DEFEASIBLE LOGICS;

BIONICS;

EID: 57749168815     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (10)

1. Alchourrón, C., and Makinson, D. 1985. On the Logic of Theory Change: Safe Contraction. Studia Logica (44):405-422.
2. Alchourrón, C.; Gärdenfors, P.; and Makinson, D. 1985. On the Logic of Theory Change: Partial Meet Contraction and Revision Functions. The Journal of Symbolic Logic 50:510-530.
3. Falappa, M.; Kern-Isberner, G.; and Simari, G. R. 2002. Explanations, Belief Revision and Defeasible Reasoning. Artificial Intelligence Journal 141 (1-2):1-28.
4. García, A. J., and Simari, G. R. 2004. Defeasible Logic Programming: An Argumentative Approach. Theory and Practice of Logic Programming 4(1):95-138.
5. García, A.; Chesñevar, C.; Rotstein, N.; and Simari, G. 2007. An Abstract Presentation of Dialectical Explanations in Defeasible Argumentation. In ArgNMR'07, 17-32.
6. García, A.; Rotstein, N.; and Simari, G. 2007. Dialectical Explanations in Defeasible Argumentation. In EC-SQARU'07, 295-307.
7. Hansson, S. O. 1994. Kernel Contraction. Journal of Symbolic Logic 59:845-859.
8. Hansson, S. O. 1999. A Textbook of Belief Dynamics: Theory Change and Database Updating. Springer.
9. LIDIA. 2007. DeLP Web Client and Visualization Tool. http://lidia.cs.uns. edu.ar/delp-client.
10. Stolzenburg, F.; García, A.; Chesñevar, C. I.; and Simari, G. R. 2003. Computing Generalized Specificity. Journal of Non-Classical Logics 13(1):87-113.