On influence and contractions in defeasible logic programming

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

Volumn 6645 LNAI, Issue , 2011, Pages 199-204

  García, Diego R ^a   Gottifredi, Sebastián ^a   Krümpelmann, Patrick ^b   Thimm, Matthias ^b   Kern Isberner, Gabriele ^b   Falappa, Marcelo A ^a   García, Alejandro J ^a  

^a UNIVERSIDAD NACIONAL DEL SUR   (Argentina)

^b TU DORTMUND UNIVERSITY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

BELIEF CONTRACTION; DEFEASIBLE ARGUMENTATION; DEFEASIBLE LOGIC PROGRAMMING; LITERALS; LOGIC-BASED APPROACH; REASONING PROCESS; RATIONALITY POSTULATES;

LOGIC PROGRAMMING; COMPUTER CIRCUITS;

LOGIC PROGRAMMING;

EID: 79955781409     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-20895-9_19     Document Type: Conference Paper

References (6)

1. Alchourrón, C.E., Gärdenfors, P., Makinson, D.: On the logic of theory change: Partial meet contraction and revision functions. Journal of Symbolic Logic 50(2), 510-530 (1985)
2. Billington, D., Antoniou, G., Governatori, G., Maher, M.J.: Revising nonmonotonic theories: The case of defeasible logic. In: Burgard, W., Christaller, T., Cremers, A.B. (eds.) KI 1999. LNCS (LNAI), vol. 1701, pp. 101-112. Springer, Heidelberg (1999)
3. Falappa, M.A., Kern-Isberner, G., Simari, G.R.: Belief revision and argumentation theory. In: Argumentation in Artificial Intelligence, pp. 341-360. Springer, Heidelberg (2009)
4. Garcia, A., Simari, G.R.: Defeasible logic programming: An argumentative approach. Theory and Practice of Logic Programming 4(1-2), 95-138 (2004)
5. Hansson, S.O.: Kernel contraction. J. of Symbolic Logic 59, 845-859 (1994)
6. Thimm, M., Kern-Isberner, G.: On the relationship of defeasible argumentation and answer set programming. In: COMMA 2008, pp. 393-404 (2008)