10 citations · 36 across the 19 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2022★ 1 cited
Connection-minimal Abduction in EL via Translation to FOL -- Technical Report
Fajar Haifani, Patrick Koopmann, Sophie Tourret +1
Abduction in description logics finds extensions of a knowledge base to make it entail an observation. As such, it can be used to explain why the observation does not follow, to re…
cs.AI2008
Superposition for Fixed Domains
Matthias Horbach, Christoph Weidenbach
Superposition is an established decision procedure for a variety of first-order logic theories represented by sets of clauses. A satisfiable theory, saturated by superposition, imp…