Algorithms for reasoning in a default logic instantiation of assumption-based argumentation

DOI10.3233/FAIA220156MaRDI QIDQ6937608zbMATH OpenFDO

Authors Tuomo Lehtonen, Johannes Wallner, Matti Järvisalo

Publication date 26 August 2025

Full work available at URL https://doi.org/10.3233/FAIA220156

zbMATH Keywords

assumption-based argumentationcounterexample-guided abstraction refinementdecision proceduresdefault logicSATstructured argumentation

Mathematics Subject Classification ID

Reasoning under uncertainty in the context of artificial intelligence (68T37)

Cited in

(1)

• ICCMA 2023: 5th international competition on computational models of argumentation

This page was built for publication: Algorithms for reasoning in a default logic instantiation of assumption-based argumentation

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