arXiv 2003-12-15 EN Strong Equivalence Made Easy: Nested Expressions and Weight Constraints Turner, Hudson
arXiv 2003-10-24 EN Abductive Logic Programs with Penalization: Semantics, Complexity and Implementation Perri, Simona · Scarcello, Francesco · Leone, Nicola
arXiv 2002-12-11 EN A Generalization of the Lifting Lemma for Logic Programming Payet, Etienne · Mesnard, Fred
arXiv 2002-06-03 EN Characterization of Strongly Equivalent Logic Programs in Intermediate Logics de Jongh, Dick · Hendriks, Lex
arXiv 2001-11-06 EN Abduction with Penalization in Logic Programming Ianni, Giovambattista · Leone, Nicola · Perri, Simona · Scarcello, Francesco
arXiv 2000-04-17 EN On Redundancy Elimination Tolerant Scheduling Rules Ferrucci, F. · Pacini, G. · Sessa, M. I.
