Abduction through semantic tableaux versus abduction through goal-directed proofs

In this paper, we present the outline for a goal-directed proof procedure for abductive reasoning and compare this procedure with Aliseda’s approach

Bibliographic Details
Main Authors:	Joke Meheus, Dagmar Provijn
Format:	Article
Language:	English
Published:	University of the Basque Country 2009-12-01
Series:	Theoria
Subjects:	abduction, semantic tableaux, goal-directed proof procedures
Online Access:	http://www.ehu.es/ojs/index.php/THEORIA/article/view/450

Internet