Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation

Simona Perri, Francesco Scarcello, Nicola Leone

Abduction, first proposed in the setting of classical logics, has been studied with growing interest in the logic programming area during the last years. In this paper we study abd…