Login / Signup
A Comparison of ASP-Based and SAT-Based Algorithms for the Contension Inconsistency Measure.
Isabelle Kuhlmann
Anna Gessler
Vivien Laszlo
Matthias Thimm
Published in:
SUM (2022)
Keyphrases
</>
data structure
computationally efficient
answer set programming
data sets
learning algorithm
worst case
distance measure
theoretical analysis
benchmark datasets
orders of magnitude
similarity measure
significant improvement
computational cost
logic programming