27 citations · 27 across the 1 of their papers we have counts for
1 paper
Peter Schüller
We study abduction in First Order Horn logic theories where all atoms can be abduced and we are looking for preferred solutions with respect to three objective functions: cardinali…