Automated reasoning with epistemic graphs using SAT solvers

DOI10.3233/FAIA220151MaRDI QIDQ6937614zbMATH OpenFDO

Authors Anthony Hunter

Publication date 26 August 2025

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

zbMATH Keywords

argumentation algorithmsbipolar argumentationprobabilistic argumentation

Mathematics Subject Classification ID

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

This page was built for publication: Automated reasoning with epistemic graphs using SAT solvers

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