94 citations · 246 across the 28 of their papers we have counts for
4 papers · 1 filter
Merging Locally Correct Knowledge Bases: A Preliminary Report
Paolo Liberatore
Belief integration methods are often aimed at deriving a single and consistent knowledge base that retains as much as possible of the knowledge bases to integrate. The rationale be…
Redundancy in Logic I: CNF Propositional Formulae
Paolo Liberatore
A knowledge base is redundant if it contains parts that can be inferred from the rest of it. We study the problem of checking whether a CNF formula (a set of clauses) is redundant,…
Compilability of Abduction
Paolo Liberatore, Marco Schaerf
Abduction is one of the most important forms of reasoning; it has been successfully applied to several practical problems such as diagnosis. In this paper we investigate whether th…
Complexity Results on DPLL and Resolution
Paolo Liberatore
DPLL and resolution are two popular methods for solving the problem of propositional satisfiability. Rather than algorithms, they are families of algorithms, as their behavior depe…