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
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
University of the Basque Country
2009-12-01
|
| Series: | Theoria |
| Subjects: | |
| Online Access: | http://www.ehu.es/ojs/index.php/THEORIA/article/view/450 |