dblp.uni-trier.dewww.uni-trier.de

Ángel Nepomuceno-Fernández

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
3EEFernando Soler-Toscano, Ángel Nepomuceno-Fernández: : Tableaux and Resolution for Finite Abduction. JELIA 2006: 511-514
2EEA. 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)
1EEFernando 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)

Coauthor Index

1Atocha Aliseda-Llera [1] [2]
2A. Liliana Reyes-Cabello [2]
3Fernando Soler-Toscano [1] [3]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)