A Schema for Generating Relevant Logic Programming Semantics and its Applications in Argumentation Theory

2011 ◽  
Vol 106 (2-4) ◽  
pp. 295-319 ◽  
Author(s):  
Juan Carlos Nieves ◽  
Mauricio Osorio ◽  
Claudia Zepeda
Keyword(s):  
Logic Programming ◽  
Relevant Logic ◽  
Argumentation Theory ◽  
Programming Semantics

scholarly journals Multi-valued logic programming semantics an algebraic approach

1997 ◽  
Vol 171 (1-2) ◽  
pp. 77-109 ◽  
Author(s):  
Bamshad Mobasher ◽  
Don Pigozzi ◽  
Giora Slutzki
Keyword(s):  
Logic Programming ◽  
Algebraic Approach ◽  
Programming Semantics

scholarly journals Justifying answer sets using argumentation

2015 ◽  
Vol 16 (1) ◽  
pp. 59-110 ◽  
Author(s):  
CLAUDIA SCHULZ ◽  
FRANCESCA TONI
Keyword(s):  
Logic Programming ◽  
Logic Program ◽  
Argumentation Theory ◽  
Attack Tree ◽  
Attack Trees ◽  
Answer Sets ◽  
Answer Set

AbstractAn answer set is a plain set of literals which has no further structure that would explain why certain literals are part of it and why others are not. We show how argumentation theory can help to explain why a literal is or is not contained in a given answer set by defining two justification methods, both of which make use of the correspondence between answer sets of a logic program and stable extensions of the assumption-based argumentation (ABA) framework constructed from the same logic program.Attack Treesjustify a literal in argumentation-theoretic terms, i.e. using arguments and attacks between them, whereasABA-Based Answer Set Justificationsexpress the same justification structure in logic programming terms, that is using literals and their relationships. Interestingly, an ABA-Based Answer Set Justification corresponds to an admissible fragment of the answer set in question, and an Attack Tree corresponds to an admissible fragment of the stable extension corresponding to this answer set.

Relevant logic programming

1991 ◽  
Vol 7 (4) ◽  
pp. 563-585 ◽  
Author(s):  
A. W. Bollen
Keyword(s):  
Logic Programming ◽  
Relevant Logic
Sign in / Sign up

Export Citation Format

Share Document