2 papers
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…
cs.DB1998
Hypertree Decompositions and Tractable Queries
G. Gottlob, N. Leone, F. Scarcello
Several important decision problems on conjunctive queries (CQs) are NP-complete in general but become tractable, and actually highly parallelizable, if restricted to acyclic or ne…