Preferred extensions as stable models

DOI10.1017/S1471068408003359MaRDI QIDQ3514892zbMATH OpenOpenAlexFDO

Authors Juan Carlos Nieves, Ulises Cortés, Mauricio Osorio

Publication date 23 July 2008

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

Full work available at URL https://doi.org/10.1017/s1471068408003359

zbMATH Keywords

abstract argumentation semanticsminimal modelspreferred semanticsstable model semantics

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1769206
• Ideal extensions as logical programming models
• Argumentation frameworks as constraint satisfaction problems
• Short note preferred extensions are partial stable models
• Minimal hypotheses: extension-based semantics to argumentation

Cites work

• Graph theoretical structures in logic programs and default theories

Cited in

(15)

• The first international competition on computational models of argumentation: results and analysis
• Minimal hypotheses: extension-based semantics to argumentation
• An abstract argumentation and logic programming comparison based on 5-valued labellings
• Complete extensions in argumentation coincide with 3-valued stable models in logic programming
• Methods for solving reasoning problems in abstract argumentation -- a survey
• On the preferred extensions of argumentation frameworks: bijections with naive sets
• Ideal extensions as logical programming models
• Toward incremental computation of argumentation semantics: a decomposition-based approach
• Expressing Extension-Based Semantics Based on Stratified Minimal Models
• Short note preferred extensions are partial stable models
• scientific article; zbMATH DE number 1769206 (Why is no real title available?)
• Range-based argumentation semantics as two-valued models
• Algorithms for decision problems in argument systems under preferred semantics
• Abstract argumentation and answer set programming: two faces of Nelson's logic
• Value-based argumentation framework built from prioritized qualitative choice logic

This page was built for publication: Preferred extensions as stable models

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