![]() | ![]() |
2006 | ||
---|---|---|
2 | EE | Fernando Soler-Toscano, Ángel Nepomuceno-Fernández: : Tableaux and Resolution for Finite Abduction. JELIA 2006: 511-514 |
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 | Ángel Nepomuceno-Fernández | [1] [2] |