Theoria 22 (3):295-304 (2009)
| Authors |
|
| 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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 71,355
External links
- philsci-archive.pitt.edu
(no proxy) - philsci-archive.pitt.edu [2] (no proxy)
- ehu.es (no proxy)
- doaj.org (no proxy)
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
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
A Formal Logic for Abductive Reasoning.Joke Meheus & Diderik Batens - 2006 - Logic Journal of the IGPL 14 (2):221-236.
Citations of this work BETA
Minimal Abductive Solutions with Explicit Justification.Rodrigo Medina-Vega, Francisco Hernández-Quiroz & Fernando R. Velázquez-Quesada - forthcoming - Logic Journal of the IGPL.
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.
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 - 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.
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: 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 - 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 index
2017-12-16
Total views
11 ( #855,818 of 2,519,575 )
Recent downloads (6 months)
1 ( #407,153 of 2,519,575 )
2017-12-16
Total views
11 ( #855,818 of 2,519,575 )
Recent downloads (6 months)
1 ( #407,153 of 2,519,575 )
How can I increase my downloads?
Downloads
