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 : an International Journal for Theory, History and Fundations of Science
Subjects:	abduction, semantic tableaux, goal-directed proof procedures
Online Access:	http://www.ehu.es/ojs/index.php/THEORIA/article/view/450

id	doaj-97a9b74205f4470bbb57f51947df29d3
record_format	Article
spelling	doaj-97a9b74205f4470bbb57f51947df29d32020-11-24T23:14:54ZengUniversity of the Basque CountryTHEORIA : an International Journal for Theory, History and Fundations of Science0495-45482171-679X2009-12-0122329530410.1387/theoria.450456Abduction through semantic tableaux versus abduction through goal-directed proofsJoke MeheusDagmar ProvijnIn this paper, we present the outline for a goal-directed proof procedure for abductive reasoning and compare this procedure with Aliseda’s approachhttp://www.ehu.es/ojs/index.php/THEORIA/article/view/450abduction, semantic tableaux, goal-directed proof procedures
collection	DOAJ
language	English
format	Article
sources	DOAJ
author	Joke Meheus Dagmar Provijn
spellingShingle	Joke Meheus Dagmar Provijn Abduction through semantic tableaux versus abduction through goal-directed proofs THEORIA : an International Journal for Theory, History and Fundations of Science abduction, semantic tableaux, goal-directed proof procedures
author_facet	Joke Meheus Dagmar Provijn
author_sort	Joke Meheus
title	Abduction through semantic tableaux versus abduction through goal-directed proofs
title_short	Abduction through semantic tableaux versus abduction through goal-directed proofs
title_full	Abduction through semantic tableaux versus abduction through goal-directed proofs
title_fullStr	Abduction through semantic tableaux versus abduction through goal-directed proofs
title_full_unstemmed	Abduction through semantic tableaux versus abduction through goal-directed proofs
title_sort	abduction through semantic tableaux versus abduction through goal-directed proofs
publisher	University of the Basque Country
series	THEORIA : an International Journal for Theory, History and Fundations of Science
issn	0495-4548 2171-679X
publishDate	2009-12-01
description	In this paper, we present the outline for a goal-directed proof procedure for abductive reasoning and compare this procedure with Aliseda’s approach
topic	abduction, semantic tableaux, goal-directed proof procedures
url	http://www.ehu.es/ojs/index.php/THEORIA/article/view/450
work_keys_str_mv	AT jokemeheus abductionthroughsemantictableauxversusabductionthroughgoaldirectedproofs AT dagmarprovijn abductionthroughsemantictableauxversusabductionthroughgoaldirectedproofs
_version_	1725592771439362048

Abduction through semantic tableaux versus abduction through goal-directed proofs

Similar Items