Theoria (Dec 2009)
Abduction through semantic tableaux versus abduction through goal-directed proofs
Abstract
In this paper, we present the outline for a goal-directed proof procedure for abductive reasoning and compare this procedure with Aliseda’s approach
Keywords
