Defining Stage Argumentation Semantics in Terms of an Abducible Semantics | Zendy

Mauricio Osorio | Zendy; José Luis Carballido | Zendy; Claudia Zepeda | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

Defining Stage Argumentation Semantics in Terms of an Abducible Semantics

Author(s) -

Mauricio Osorio,

José Luis Carballido,

Claudia Zepeda

Publication year - 2016

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2016.11.006

Subject(s) - argumentation theory , semantics (computer science) , well founded semantics , operational semantics , programming language , computer science , denotational semantics , proof theoretic semantics , stage (stratigraphy) , logic programming , action semantics , theoretical computer science , linguistics , philosophy , paleontology , biology

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.

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research