| Nombre: |
Ángel Nepomuceno Fernández |
Currículum: | Formación académica en Lógica y Filosofía de la Ciencia. Trabajo en el campo interdisciplinar de Lógica, Lenguaje e Información, más específicamente en lógica (clásica y no clásicas), teoría de la argumentación, epistemología y teoría del conocimiento científico.
Investigador principal de los proyectos:- Red de Investigación, Formación y Aplicaciones de Lógica, Lenguaje y Computación (RIFALLCO), Ministerio de Ciencia e Innovación, Ref. FFI2010-10968-E
- Modalidad y Parcialidad en Inteligencia Artificial. Ministerio de Educación y Ciencia, Ref. PB96-1301-C05-03
- Summa Logicae Siglo XXI, Ministerio de Educación y Ciencia, Ref. BFF2000-1273-C04-03
- Lógica y Lenguaje: Información y Representación. Ministerio de Educación y Ciencia, Ref. HUM2004/01255
- Herramientas computacionales en la implementación de estrategias lógico-lingüísticas para el tratamiento de la ambigüedad en el discurso. Junta de Andalucía, Ref. P06-HUM01538
- Lógica y Lenguaje: Ambigüedad en el Discurso y Elaboración del Contexto, Ministerio de Educación y Ciencia, Ref. HUM2007-65053
- Lógica, Lenguaje y Unidad de la Ciencia. Acción Integrada Universidad de Sevilla-Universidad de Lisboa. Ministerio de Educación y Ciencia, Ref. HP2007-0018
- Conciencia, Lógica y Computación, Ministerio de Ciencia e Innovación, Ref. FFI2011-29609-C02-00
- Interpretaciones Alternativas de Lógicas no Clásicas. Junta de Andalucía, Ref. 2010-HUM-5844
Estancias- Leeds University (UK), 9 semana,1991
- Instituto de Investigaciones Filosóficas de la UNA (Mexico), 2 semanas 2005, y 8 semanas 2007
- Centro de Filosofia das Ciências (Portugal), 3 meses 2008
- University of Lille3 (Francia), 3 meses 2008
- Universidad Nacional de Costa Rica, 2 semanas 2010
Publicaciones:
- A. Nepomuceno, F. J. Salguero, D. Fernández: “Tableaux for structural abduction” Logic Journal of the IGPL 20(2), 2012, pp. 388-399
- A. Nepomuceno, F. Soler, A. Aliseda: “Searching for the Unity of Science: from Classical Logic to Abductive Logical Systems”, in S. Rahman, O. Pombo, J. M. Torres (eds.) The Unity of Science: Non Traditional Approaches (S. Rahman, O. Pombo, J. M. Torre, Eds.), 2011, pp. 201-212
- A. Nepomuceno, “Concept Script and Diagrams: Two Ways of Using Images in Scientific Reasoning” in O. Pombo, A Gerner (eds) Studies in Diagrammatology and Diagram Praxis, College Publications, Series Logic and Cognitive Systems, London, 2010, pp. 95-115
- A. Nepomuceno, F. Soler: “Defining Inferential Contexts: Deduction and Abduction” in M. E. Coniglio y W. Carnielli (Eds.) The Many Sides of Logic, College Publications, 2009, pp. 510-529
- F. Soler, A. Nepomuceno, A. Aliseda: “Abduction via C-tableaux and delta-resolution” Journal of Applied Non Classical Logic 19 (2), 2009, pp. 211-225
- A. Nepomuceno: “Tableaux for n-logical consequence” in J. Y. Bezieau (ed.) Dimensions of Logical Concepts. Colecciao C.L.E. Vol. 54, Campinas, 2009, pp. 299-313.
- A. Nepomuceno: “Information and Logic” in C. Martínez (ed.) Current Topics in Logic and Analytic Philosophy. Universidad de Santiago de Compostela, 2007, pp. 221-232
- F. Soler, A. Nepomuceno: “tarfa: Tableaux and Resolution for Finite Abduction” in LNAI Logics in AI, 10th European Conference, JELIA 2006, Springer, Liverpool, pp. 511-514
- F. Soler, A. Nepomuceno, A. Aliseda: “Model-based abduction via dual resolution” in Logic Journal of IGPL, London, 2006, pp. 305-319
- A. Nepomuceno: “Scientific explanation and modified semantic tableaux” in L. Magnani (Ed.) Logical and computational aspects of model-based reasoning. Kluwer Academic Press. Dordrecht, 2002, pp. 181-198
- A. Nepomuceno, F. J. Salguero: “Word Meaning, Logic and the Informative Entailment Relation” in C. Martin-Vide (ed.) Mathematical and Computational Analysis of Natural Language. John Benjamin Publishing Co., Amsterdam, 1997, pp. 159-169
Otras- A. Nepomuceno, M. Pérez: “Programas moleculares y sistemas lógico-formales”, Kayros, Revista de Ciencia y Filosofía, Lisboa, Noviembre 2012
- A. Nepomuceno: “Sistematización del descubrimiento y la explicación: la elaboración de una lógica abductiva”. Crítica, Revista Hispanoamericana de Filosofía, vol. 41, México 2009, pp. 129-146
- F. Soler, A. Nepomuceno: “Deducción y abducción”. Revista Teorema, Vol. XXVII/1, Oviedo, 2008, pp. 5-16
- A. Nepomuceno: “Semánticas de lógica de segundo orden”, in R. García de la Sienra, (ed.) Reflexiones sobre la Paradoja de Orayen, Instituto de Investigaciones Filosóficas de la UNAM, México, 2008, pp. 153-174
- A. Nepomuceno: “Tablas semánticas para fórmulas satisfacibles en modelos finitos”, Revista Teorema, Vol. XXVI/1, Oviedo, 2007, pp. 5-19
- A. Nepomuceno: “Esquemas de argumentación abductiva”, Actas del V Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España, Ediciones Sider, Granada, 2006
- A. Nepomuceno: “Sistemas logicistas e información modal”, in J. M. Sagüillo (ed.) Actas del Congreso de Teorías Formales y Teorías Empíricas, Santiago de Compostela, 2001
Monografías
- A. Nepomuceno: Curso Práctico de Lógica. Kronos. Seville, 2002
- A. Nepomuceno: El método de las tablas semánticas. Kronos, Seville, 2003
Libros editados
- A. Nepomuceno, F. J. Quesada, F. J. Salguero (eds.): Información: Tratamiento y Representación. Servicio de Publicaciones University of Seville, 2001
- A. Nepomuceno, F. J. Salguero, F. Soler (eds.): Bases Biológicas, Lingüísticas, Lógicas y Computacionales para la Conceptualización de la Mente. Mergablum, Seville, 2004
- A. Nepomuceno, F. J. Salguero, F. Soler (eds.): Estudios de Lógica y Lenguaje . Mergablum, Seville, 2005
- A. Nepomuceno, F. J. Salguero, F. Soler (eds.): Lógica, Filosofía del Lenguaje y de la Lógica. Mergablum, Seville, 2007
- O. Pombo, A. Nepomuceno (eds.): Lógica e Filosofia da Ciência. CFCUL Coleccio Documenta, n. 2, Lisbon, 2009
Ponencias en congresos
- H. van Ditmarsch, A. Nepomuceno: “Public announcements, belief expansion and abduction”, International Symposium Epistemology, Logic and Language (ISELL2012), Lisboa, Octubre 2012
- A. Gómez-Caminero, A. Nepomuceno: “Modified tableaux for some kinds of multi-modal logics”, International Symposium Epistemology, Logic and Language (ISELL2012), Lisboa, Octubre 2012
- A. Nepomuceno, F. Soler, F. Velázquez: “A DEL approach to abductive reasoning”, Model-based Reasoning (MBR2012), Italia, Junio 2012
- C. Barés, A. Nepomuceno, F. J. Salguero: “Abduction for reconstructing proto-languages”, Model-based Reasoning (MBR2012), Italia, Junio 2012
- A. Nepomuceno, “Information Theoretic Perspective for Teaching Logic”, III International Congress on Tools for Teaching Logic, Salamanca 2011
- A. Nepomuceno, “The Fundamental Problem of Contemporary Epistemology”, SEFA Workshop with Jaakko Hintikka, Granada, 2011
- A. Nepomuceno, “Why not another Logic? Abduction and Tableaux: Propositional Logic, Inconsistency and Modal Logic”, Epistemic Actions for Non-ideal Agents, Amsterdam, 2011
- A. Nepomuceno, “Tools for Scientific Languages: Modal Logics”, Workshop Non-Classical Logic, Lisboa 2010
-
| | E-mail: |
nepomuce@us.es |
| Afiliación: |
Universidad de Sevilla |
| Docencia: | 05-MLC Matemáticas, lenguajes y computación: Una introducción a la ingeniería del lenguaje natural
|
