Abduction through semantic tableaux versus abduction through goal-directed proofs


Authors
Joke Meheus
University of Ghent
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.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 40,031
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

First-Order Logic.Raymond M. Smullyan - 1975 - Journal of Symbolic Logic 40 (2):237-238.
A Formal Logic for Abductive Reasoning.Joke Meheus & Diderik Batens - 2006 - Logic Journal of the IGPL 14 (2):221-236.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Abduction Through Semantic Tableaux Versus Abduction Through Goal-Directed Proofs.Joke Meheus & Dagmar Provijn - 2007 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 22 (3):295-304.
Ignorance and Semantic Tableaux: Aliseda on Abduction.John Woods - 2007 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 22 (3):305-318.
Ignorance and Semantic Tableaux: Aliseda on Abduction.John Woods - 2009 - Theoria : An International Journal for Theory, History and Fundations of Science 22 (3):305-318.
Logic and Abduction: Cognitive Externalizations in Demonstrative Environments.Lorenzo Magnani - 2009 - Theoria : An International Journal for Theory, History and Fundations of Science 22 (3):275-284.
Propositional Abduction in Modal Logic.Marta Cialdea Mayer & Fiora Pirri - 1995 - Logic Journal of the IGPL 3 (6):907-919.
Logic and Abduction: Cognitive Externalizations in Demonstrative Environments.Lorenzo Magnani - 2007 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 22 (3):275-284.
Abductive Logics in a Belief Revision Framework.Bernard Walliser, Denis Zwirn & Hervé Zwirn - 2005 - Journal of Logic, Language and Information 14 (1):87-117.

Analytics

Added to PP index
2017-12-16

Total views
1 ( #1,300,787 of 2,236,238 )

Recent downloads (6 months)
1 ( #989,564 of 2,236,238 )

How can I increase my downloads?

Downloads

Sorry, there are not enough data points to plot this chart.

My notes

Sign in to use this feature