Name
Abstract | ||
|---|---|---|
According to Dung, the sets of arguments which can be considered as admissible from an argumentation framework can be regarded as logical models of a given logic program. Clark's completions defines a basic logic programming semantics which has influenced modern non-monotonic semantics such as Answer Set Semantics. The Complete Semantics is a fundamental argumentation semantics which identifies a set of admissible sets which contains the grounded, stable, preferred and ideal semantics. In this paper we introduce a characterization of the complete semantics in terms of logical models using Clark's completions. Given that we use a unique mapping which characterizes the grounded, stable, preferred and ideal semantics, our characterization argues for a strong bridge between argumentation semantics and logic programming semantics with negation as failure. This paper also seeks to draw attention to the correspondence between the complete semantics of argumentation frameworks and models of Clark's completion, since this correspondence also allows us to identify the possibility of computing argumentation frameworks based on integer programming. |
Year | DOI | Venue |
|---|---|---|
2013 | 10.1109/ENC.2013.18 | Computer Science |
Keywords | Field | DocType |
integer programming,logic programming,Clark completion semantics,Dung abstract argumentation theory,answer set semantics,argumentation semantics,computing argumentation frameworks,integer programming,logic programming semantics,logical models,nonmonotonic semantics,Argumentation frameworks,Clark's completion semantics,complete extensions,supported models | Proof-theoretic semantics,Formal semantics (linguistics),Operational semantics,Programming language,Computer science,Action semantics,Denotational semantics,Theoretical computer science,Stable model semantics,Game semantics,Well-founded semantics | Conference |
ISSN | Citations | PageRank |
1550-4069 | 4 | 0.42 |
References | Authors | |
14 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Mauricio Osorio | 1 | 436 | 52.82 |
| Juan Carlos Nieves | 2 | 221 | 35.66 |
| Alejandro Santoyo | 3 | 4 | 0.42 |