Name
Abstract | ||
|---|---|---|
We define a new logic programming semantics in terms of abducible atoms. We use it to characterize the stage extensions of an argumentation framework AF by means of an associated normal program PAF. We also define the stage semantics for a special type of normal programs and present a similar characterization. |
Year | DOI | Venue |
|---|---|---|
2016 | 10.1016/j.entcs.2016.11.006 | Electr. Notes Theor. Comput. Sci. |
Keywords | Field | DocType |
Argumentation semantics,stage argumentation semantics,logic programming semantics | Argumentation framework,Formal semantics (linguistics),Operational semantics,Programming language,Computational semantics,Computer science,Action semantics,Denotational semantics,Theoretical computer science,Game semantics,Well-founded semantics | Journal |
Volume | Issue | ISSN |
328 | C | 1571-0661 |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Mauricio Osorio | 1 | 436 | 52.82 |
| José Luis Carballido | 2 | 53 | 12.62 |
| Claudia Zepeda | 3 | 93 | 21.57 |