3 papers
cs.DB2023
Counting Solutions to Conjunctive Queries: Structural and Hybrid Tractability
Hubie Chen, Gianluigi Greco, Stefan Mengel +1
Counting the number of answers to conjunctive queries is a fundamental problem in databases that, under standard assumptions, does not have an efficient solution. The issue is inhe…
cs.AI2003
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…
cs.LO2001
Abduction with Penalization in Logic Programming
Giovambattista Ianni, Nicola Leone, Simona Perri +1
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 {\e…