Abduction through semantic tableaux versus abduction through goal-directed proofs
##plugins.themes.bootstrap3.article.main##
##plugins.themes.bootstrap3.article.sidebar##
Published
18-12-2009
Joke Meheus
Dagmar Provijn
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
How to Cite
Meheus, J., & Provijn, D. (2009). Abduction through semantic tableaux versus abduction through goal-directed proofs. THEORIA. An International Journal for Theory, History and Foundations of Science, 22(3), 295–304. https://doi.org/10.1387/theoria.450
##plugins.themes.bootstrap3.article.details##
Keywords
abduction, semantic tableaux, goal-directed proof procedures
Section
FORUM
Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons License.