: Tableaux and Resolution for Finite Abduction. - Fernando Soler-Toscano; Ángel Nepomuceno-Fernández (JELIA, 2006)

Towards Abductive Reasoning in First-order Logic. - A. Liliana Reyes-Cabello; Atocha Aliseda-Llera; Ángel Nepomuceno-Fernández (Log. J. IGPL, 2006)

Model-Baded Abduction via Dual Resolution. - Fernando Soler-Toscano; Ángel Nepomuceno-Fernández; Atocha Aliseda-Llera (Log. J. IGPL, 2006)

Abduction via C-tableaux and delta-resolution. - Ángel Nepomuceno-Fernández; Fernando Soler-Toscano; Atocha Aliseda-Llera (J. Appl. Non Class. Logics, 2009)

Information-Theoretic Perspective for Teaching Logic. - Ángel Nepomuceno-Fernández (TICTTL, 2011)

Searching for the Unity of Science: From Classical Logic to Abductive Logical Systems. - Ángel Nepomuceno-Fernández; Fernando Soler-Toscano; Atocha Aliseda-Llera (Otto Neurath and the Unity of Science, 2011)

Tableaux for structural abduction. - Ángel Nepomuceno-Fernández; Francisco J. Salguero-Lamillar; David Fernández-Duque (Log. J. IGPL, 2012)

A modal framework for modelling abductive reasoning. - Fernando Soler-Toscano; David Fernández-Duque; Ángel Nepomuceno-Fernández (Log. J. IGPL, 2012)

An epistemic and dynamic approach to abductive reasoning: selecting the best explanation. - Ángel Nepomuceno-Fernández; Fernando Soler-Toscano; Fernando R. Velázquez-Quesada (Log. J. IGPL, 2013)

An epistemic and dynamic approach to abductive reasoning: Abductive problem and abductive solution. - Fernando R. Velázquez-Quesada; Fernando Soler-Toscano; Ángel Nepomuceno-Fernández (J. Appl. Log., 2013)

Dynamic Consequence and Public announcement. - Andrés Cordón-Franco; Hans van Ditmarsch; Ángel Nepomuceno-Fernández (Rev. Symb. Log., 2013)

Public and Secret Forgetting of Propositional Formulas. - Ángel Nepomuceno-Fernández; Enrique Sarrión-Morillo; Fernando Soler-Toscano; Fernando R. Velázquez-Quesada (CAEPIA, 2015)

Set theory and tableaux for teaching propositional logic. - Nino Guallart; Ángel Nepomuceno-Fernández (CoRR, 2015)

Forgetting complex propositions. - David Fernández-Duque; Ángel Nepomuceno-Fernández; Enrique Sarrión-Morillo; Fernando Soler-Toscano; Fernando R. Velázquez-Quesada (Log. J. IGPL, 2015)