 | 2012 |
|---|
| 7 |       | Ángel Nepomuceno-Fernández,
Francisco J. Salguero-Lamillar,
David Fernández Duque:
Tableaux for structural abduction.
Logic Journal of the IGPL 20(2): 388-399 (2012) |
| 6 | | Fernando Soler-Toscano,
David Fernández Duque,
Ángel Nepomuceno-Fernández:
A modal framework for modelling abductive reasoning.
Logic Journal of the IGPL 20(2): 438-444 (2012) |
| 2011 |
|---|
| 5 | | Ángel Nepomuceno-Fernández:
Information-Theoretic Perspective for Teaching Logic.
TICTTL 2011: 170-177 |
| 2009 |
|---|
| 4 | | Ángel Nepomuceno-Fernández,
Fernando Soler-Toscano,
Atocha Aliseda-Llera:
Abduction via C-tableaux and delta-resolution.
Journal of Applied Non-Classical Logics 19(2): 211-225 (2009) |
| 2006 |
|---|
| 3 | | Fernando Soler-Toscano,
Ángel Nepomuceno-Fernández:
: Tableaux and Resolution for Finite Abduction.
JELIA 2006: 511-514 |
| 2 | | A. Liliana Reyes-Cabello,
Atocha Aliseda-Llera,
Ángel Nepomuceno-Fernández:
Towards Abductive Reasoning in First-order Logic.
Logic Journal of the IGPL 14(2): 287-304 (2006) |
| 1 | | Fernando Soler-Toscano,
Ángel Nepomuceno-Fernández,
Atocha Aliseda-Llera:
Model-Baded Abduction via Dual Resolution.
Logic Journal of the IGPL 14(2): 305-319 (2006) |
Data released under the ODC-BY 1.0 license — See also our legal information page