Abstract | ||
---|---|---|
We show that the ideal sets of an argumentation framework can be characterized by two kinds of logical models: ideal models (2-valued logical models) and p-stable models (2-valued logical models). We also show that the maximal ideal set of an argumentation framework can be characterized by the well-founded+ model (a 3-valued logical model). These results argue for the logical foundations of the id... |
Year | DOI | Venue |
---|---|---|
2016 | 10.1093/logcom/exu014 | Journal of Logic and Computation |
Keywords | Field | DocType |
Argumentation semantics,logic programming,non-monotonic reasoning | Argumentation framework,Discrete mathematics,Logical conjunction,Non-classical logic,Programming paradigm,Algorithm,Truth table,Mathematics,Logical framework,Mathematical logic | Journal |
Volume | Issue | ISSN |
26 | 5 | 0955-792X |
Citations | PageRank | References |
0 | 0.34 | 24 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Juan Carlos Nieves | 1 | 221 | 35.66 |
Mauricio Osorio | 2 | 436 | 52.82 |