Ángel Nepomuceno
Ángel Nepomuceno
Profesor de Lógica y Filosofía de la Ciencia
Verified email at us.es
Title
Cited by
Cited by
Year
Towards abductive reasoning in first-order logic
AL Reyes-Cabello, A Aliseda-Llera, Á Nepomuceno-Fernández
Logic Journal of IGPL 14 (2), 287-304, 2006
222006
An epistemic and dynamic approach to abductive reasoning: Abductive problem and abductive solution
FR Velázquez-Quesada, F Soler-Toscano, Á Nepomuceno-Fernández
Journal of Applied Logic 11 (4), 505-522, 2013
182013
An epistemic and dynamic approach to abductive reasoning: selecting the best explanation
Á Nepomuceno-Fernández, F Soler-Toscano, FR Velázquez-Quesada
Logic Journal of the IGPL 21 (6), 943-961, 2013
162013
Model-Baded Abduction via Dual Resolution
F Soler-Toscano, Á Nepomuceno-Fernández, A Aliseda-Llera
Logic Journal of IGPL 14 (2), 305-319, 2006
152006
Scientific explanation and modified semantic tableaux
A Nepomuceno-Fernandez
Logical and Computational Aspects of Model-Based Reasoning, 181-198, 2002
142002
A modal framework for modelling abductive reasoning
F Soler-Toscano, D Fernández-Duque, Á Nepomuceno-Fernández
Logic Journal of IGPL 20 (2), 438-444, 2012
122012
Abduction via C-tableaux and δ-resolution
F Soler-Toscano, Á Nepomuceno-Fernández, A Aliseda-Llera
Journal of Applied Non-Classical Logics 19 (2), 211-225, 2009
112009
Información: tratamiento y representación
Á Nepomuceno, FJ Salguero, FJS Lamillar, JF Quesada, AN Fernández, ...
Universidad de Sevilla, 2001
102001
Sistemas de cálculo como formas de logicismo
Á Nepomuceno Fernández
Crítica: Revista Hispanoamericana de Filosofía, 25 (73), 15-35., 1993
101993
Abductive reasoning in dynamic epistemic logic
A Nepomuceno-Fernández, F Soler-Toscano, FR Velázquez-Quesada
Springer handbook of model-based science, 269-293, 2017
92017
Forgetting complex propositions
D Fernández–Duque, Á Nepomuceno–Fernández, E Sarrión–Morrillo, ...
Logic Journal of the IGPL 23 (6), 942-965, 2015
62015
Scientific models of abduction: The role of non classical logic
Á Nepomuceno
Bas van Fraassen’s approach to representation and models in science, 121-141, 2014
62014
Metamodeling abduction
Á Nepomuceno-Fernández, F Soler-Toscano
Theoria. Revista de Teoría, Historia y Fundamentos de la Ciencia 22 (3), 285-293, 2007
62007
Tablas semánticas y metalógica (El caso de la lógica de segundo orden)
ÁN Fernández
Crítica: revista hispanoamericana de filosofía, 21-47, 1999
61999
The fundamental problem of contemporary epistemology
Á Nepomuceno-Fernández, F Soler-Toscano, FR Velázquez-Quesada
Teorema: Revista Internacional de Filosofía, 89-103, 2014
52014
Modelos de razonamiento abductivo
ÁN Fernández
Contrastes. Revista Internacional de Filosofía, 2005
52005
Lógica formal elemental
A Nepomuceno
A. Nepomuceno Lógica Formal. Orígenes, métodos y aplicaciones. Kronos. Sevilla, 1995
51995
Searching for the Unity of Science: From Classical Logic to Abductive Logical Systems
Á Nepomuceno, F Soler, A Aliseda
Otto Neurath and the Unity of Science, 201-212, 2011
42011
Two mischievous dynamic consequence relations
A Cordón-Franco, H van Ditmarsch, D Fernández-Duque, ...
Proceedings of the 2nd ILCLI, 197-208, 2010
42010
Tarfa: Tableaux and resolution for finite abduction
F Soler-Toscano, Á Nepomuceno-Fernández
European Workshop on Logics in Artificial Intelligence, 511-514, 2006
42006
The system can't perform the operation now. Try again later.
Articles 1–20