6 citations · 11 across the 4 of their papers we have counts for
Showing 2002 · cs.AIShow all
3 papers · 2 filters
cs.AI2002★ 3 cited
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…
cs.AI2002
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,…
cs.AI2002
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…