Ángel Nepomuceno-Fernández

Publication Activity (10 Years)

Years Active: 2006-2015
Publications (10 Years): 0

Top Topics

Abductive Reasoning

Prime Implicates

Top Venues

Rev. Symb. Log.

Publications

David Fernández-Duque, Ángel Nepomuceno-Fernández, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
Forgetting complex propositions. CoRR (2015)
Nino Guallart, Ángel Nepomuceno-Fernández
Set theory and tableaux for teaching propositional logic. CoRR (2015)
Ángel Nepomuceno-Fernández, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
Public and Secret Forgetting of Propositional Formulas. CAEPIA (2015)
David Fernández-Duque, Ángel Nepomuceno-Fernández, Enrique Sarrión-Morillo, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
Forgetting complex propositions. Log. J. IGPL 23 (6) (2015)
Andrés Cordón-Franco, Hans van Ditmarsch, Ángel Nepomuceno-Fernández
Dynamic Consequence and Public announcement. Rev. Symb. Log. 6 (4) (2013)
Fernando R. Velázquez-Quesada, Fernando Soler-Toscano, Ángel Nepomuceno-Fernández
An epistemic and dynamic approach to abductive reasoning: Abductive problem and abductive solution. J. Appl. Log. 11 (4) (2013)
Ángel Nepomuceno-Fernández, Fernando Soler-Toscano, Fernando R. Velázquez-Quesada
An epistemic and dynamic approach to abductive reasoning: selecting the best explanation. Log. J. IGPL 21 (6) (2013)
Fernando Soler-Toscano, David Fernández-Duque, Ángel Nepomuceno-Fernández
A modal framework for modelling abductive reasoning. Log. J. IGPL 20 (2) (2012)
Ángel Nepomuceno-Fernández, Francisco J. Salguero-Lamillar, David Fernández-Duque
Tableaux for structural abduction. Log. J. IGPL 20 (2) (2012)
Ángel Nepomuceno-Fernández
Information-Theoretic Perspective for Teaching Logic. TICTTL (2011)
Ángel Nepomuceno-Fernández, Fernando Soler-Toscano, Atocha Aliseda-Llera
-tableaux and delta-resolution. J. Appl. Non Class. Logics 19 (2) (2009)
Fernando Soler-Toscano, Ángel Nepomuceno-Fernández
: Tableaux and Resolution for Finite Abduction. JELIA (2006)
Fernando Soler-Toscano, Ángel Nepomuceno-Fernández, Atocha Aliseda-Llera
Model-Baded Abduction via Dual Resolution. Log. J. IGPL 14 (2) (2006)
A. Liliana Reyes-Cabello, Atocha Aliseda-Llera, Ángel Nepomuceno-Fernández
Towards Abductive Reasoning in First-order Logic. Log. J. IGPL 14 (2) (2006)