Argumentation Reasoning via Circumscription with Pyglaf

DOI10.3233/FI-2019-1808zbMath1415.68214OpenAlexW2948092625WikidataQ127756053 ScholiaQ127756053MaRDI QIDQ5223206

Mario 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)

Related Items

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

Uses Software

• circumscriptino