3 citations · 3 across the 1 of their papers we have counts for
2 papers
cs.AI2003★ 3 cited
Parametric Connectives in Disjunctive Logic Programming
Simona Perri, Nicola Leone
Disjunctive Logic Programming (\DLP) is an advanced formalism for Knowledge Representation and Reasoning (KRR). \DLP is very expressive in a precise mathematical sense: it allows t…
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…