|
A goal-directed proof procedure for abduction| old_uid | 7671 |
|---|
| title | A goal-directed proof procedure for abduction |
|---|
| start_date | 2009/11/23 |
|---|
| schedule | 15h-17h |
|---|
| online | no |
|---|
| summary | References
- Atocha Aliseda. Abductive Reasoning. Logical Investigations into Discovery and Expla-
nation. Springer, Dordrecht, 2006.
- Atocha Aliseda. Logics in Scientific Discovery. Foundations of Science, 9 : 339-363,
2004.
- Diderik Batens. A Procedural Criterion for Final Derivability in Inconsistency-Adaptive
Logics. Journal of Applied Logic, 3 : 221-250, 2005.
- Diderik Batens. A Paraconsistent Proof Procedure Based on Classical Logic.
(http://logica.ugent.be/centrum/writings/pubs.php, nr. 181).
- Diderik Batens and Dagmar Provijn. Pushing the Search Paths in the Proofs. A Study
in Proof Heuristics. Logique & Analyse, 173-174-75 : 113 ? 134, 2001. Appeared 2003.
- Marcello D’Agostino, Marcelo Finger and Dov Gabbay. Cut-Based Abduction. Logic
Journal of the IGPL, 16(6) : 537-560, 2008
- Joke Meheus. Paraconsistent Compatibility. Logique & Analyse, 183-84 : 251 ? 287,
2003.
- Joke Meheus and Dagmar Provijn. Abduction through Semantic Tableaux versus Ab-
duction through Goal-Directed Proofs. Theoria, 22/3(60) : 295-304, 2007.
- Joel M. Smith. Inconsistency and Scientific Reasoning. Studies in History and Philosophy
of Science, 19(4) : 429-445, 1988. |
|---|
| responsibles | Bonnay, Sandu |
|---|
| |
|