![]() | ![]() |
2006 | ||
---|---|---|
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 | Ángel Nepomuceno-Fernández | [1] [2] |
2 | A. Liliana Reyes-Cabello | [2] |
3 | Fernando Soler-Toscano | [1] |