Abduction through semantic tableaux versus abduction through goal-directed proofs

&
Theoria 22 (3):295-304 (2009)
  Copy   BIBTEX

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.

Categories

Add categories

Keywords

Reprint years

DOI

10.1387/theoria.450

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,349

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Abduction through semantic tableaux versus abduction through goal-directed proofs.Joke Meheus & Dagmar Provijn - 2007 - Theoria 22 (3):295-304.
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 22 (3):305-318.
The generation of abductive explanations from inconsistent theories.Dagmar Provijn - 2012 - Logic Journal of the IGPL 20 (2):400-416.
Ignorance and Semantic Tableaux: Aliseda on Abduction.John Woods - 2009 - 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 22 (3):305-318.
Tableaux for structural abduction.Ángel Nepomuceno-fernández, Francisco Salguero-Lamillar & David Fernández-Duque - 2012 - Logic Journal of the IGPL 20 (2):388-399.
Towards automated first-order abduction: the cut-based approach.Marcelo Finger - 2012 - Logic Journal of the IGPL 20 (2):370-387.
Logic and Abduction: Cognitive Externalizations in Demonstrative Environments.Lorenzo Magnani - 2009 - Theoria 22 (3):275-284.
Seeking Explanations: Abduction in Logic, Philosophy of Science and Artificial Intelligence.Atocha Aliseda-Llera - 1997 - Dissertation, Stanford University
Logic and abduction: Cognitive externalizations in demonstrative environments.Lorenzo Magnani - 2007 - Theoria 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.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 - 2004 - Journal of Logic, Language and Information 14 (1):87-117.
Model-Baded Abduction via Dual Resolution.Fernando Soler-Toscano, Ángel Nepomuceno-fernández & Atocha Aliseda-Llera - 2006 - Logic Journal of the IGPL 14 (2):305-319.

Analytics

Added to PP
2017-12-16

Downloads
14 (#965,243)

6 months
2 (#1,232,442)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Joke Meheus
University of Ghent

Citations of this work

Add more citations

References found in this work

First-order Logic.William Craig - 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