Argumentation Inference as Logic Programming Inference: an Extended Abstract
2014 (English)Conference paper, Abstract (Other academic)
In this extended abstract, we present a small survey of recent results in the study of argumentation theory as logic programming. In particular, we survey recent characterizations of eight argumentation semantics, i.e., Ground, Stable, Preferred, Complete, Semi-stable, Ideal, CF2, Stage, as logic programming semantics with negation as failure. These results consolidate the strong relationship between argumentation semantics and logic programming semantics with negation as failure.
Place, publisher, year, edition, pages
IdentifiersURN: urn:nbn:se:umu:diva-99916OAI: oai:DiVA.org:umu-99916DiVA: diva2:788657
The 28th annual workshop of the Swedish Artificial Intelligence Society (SAIS)