Range-based argumentation semantics as two-valued models

DOI10.1017/S1471068416000090zbMATH Open1379.68299arXiv1602.08903OpenAlexW2963382493MaRDI QIDQ4593079FDOQ4593079

Authors: Mauricio Osorio, Juan Carlos Nieves 

Publication date: 9 November 2017

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Abstract: Characterizations of semi-stable and stage extensions in terms of 2-valued logical models are presented. To this end, the so-called GL-supported and GL-stage models are defined. These two classes of logical models are logic programming counterparts of the notion of range which is an established concept in argumentation semantics.

Full work available at URL: https://arxiv.org/abs/1602.08903

Recommendations

• Semi-stable semantics
• Ideal extensions as logical programming models
• Defining stage argumentation semantics in terms of an abducible semantics
• Complexity of semi-stable and stage semantics in argumentation frameworks
• Abducible Semantics and Argumentation

zbMATH Keywords

nonmonotonic reasoningargumentation semanticslogic programming semantics

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Semantics in the theory of computing (68Q55)

Cites Work

• On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and \(n\)-person games
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Handbook of knowledge representation.
• Logics with Common Weak Completions
• Methods for solving reasoning problems in abstract argumentation -- a survey
• Semi-stable semantics
• Answer-set programming encodings for argumentation frameworks
• Complexity of semi-stable and stage semantics in argumentation frameworks
• Preferred extensions as stable models
• Title not available (Why is that?)
• Complete extensions in argumentation coincide with 3-valued stable models in logic programming
• Logical modes of attack in argumentation networks
• A schema for generating relevant logic programming semantics and its applications in argumentation theory
• Approximating operators and semantics for abstract dialectical frameworks
• Logic programming, knowledge representation, and nonmonotonic reasoning. Essays dedicated to Michael Gelfond on the occasion of his 65th birthday
• Ideal extensions as logical programming models

Cited In (4)

• Defining stage argumentation semantics in terms of an abducible semantics
• An argumentation-based approach for identifying and dealing with incompatibilities among procedural goals
• Semi-stable semantics
• Ensuring reference independence and cautious monotony in abstract argumentation

This page was built for publication: Range-based argumentation semantics as two-valued models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4593079)