research
∙
04/28/2023
Comparison of SAT-based and ASP-based Algorithms for Inconsistency Measurement
We present algorithms based on satisfiability problem (SAT) solving, as ...
share
research
∙
06/16/2021
Online Handbook of Argumentation for AI: Volume 2
This volume contains revised versions of the papers selected for the sec...
research
∙
05/14/2019
