An ASP-based solver for parametrized-difference revision

Theofanis I. Aravanis. An ASP-based solver for parametrized-difference revision. Journal of Logic and Computation, 32(3):630-666, 2022. [doi]

Abstract

Abstract is missing.