THEORIA An International Journal for Theory History and Foundations of Science · 2009 · 11 citations · 3 references
In this paper, we present the outline for a goal-directed proof procedure for abductive reasoning and compare this procedure with Aliseda's approach
3
A Formal Logic for Abductive Reasoning
Joke Meheus, Diderik Batens · Logic Journal of IGPL · 2006 · 61 citations
Formal Logic, Abduction, Engineering +14
Pushing the Search Paths in the Proofs. A Study in Proof Heuristics
Diderik Batens, Dagmar Provijn · 2002 · 32 citations