| |
| 2006 | ||
|---|---|---|
| 3 | EE | Fernando Soler-Toscano, Ángel Nepomuceno-Fernández: : Tableaux and Resolution for Finite Abduction. JELIA 2006: 511-514 |
| 2 | EE | 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 | EE | 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) |
| 1 | Atocha Aliseda-Llera | [1] [2] |
| 2 | A. Liliana Reyes-Cabello | [2] |
| 3 | Fernando Soler-Toscano | [1] [3] |