Argumentation reasoning via circumscription with \textsc{pyglaf}

DOI10.3233/FI-2019-1808MaRDI QIDQ5223206zbMATH OpenOpenAlexWikidataFDO

Authors M. Alviano

Publication date 17 July 2019

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2019-1808

zbMATH Keywords

abstract argumentation frameworkspropositional circumscriptionincremental solvingminimal model enumeration

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• Argumentation frameworks as constraint satisfaction problems
• On the computation of Top-\(k\) extensions in abstract argumentation frameworks
• Complexity-sensitive decision procedures for abstract argumentation
• Logical limits of abstract argumentation frameworks
• On the computational complexity of assumption-based argumentation for default reasoning.

Cited in

(2)

• ASP and subset minimality: enumeration, cautious reasoning and MUSes
• pyglaf

Describes a project that uses

Uses Software

• circumscriptino

This page was built for publication: Argumentation reasoning via circumscription with \textsc{pyglaf}

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