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, 22(3), 295–304. https://doi.org/10.1387/theoria.450
Abstract 288 | PDF Downloads 426

##plugins.themes.bootstrap3.article.details##

Keywords

abduction, semantic tableaux, goal-directed proof procedures

Section
FORUM