Utilizamos cookies

Este sitio web utiliza cookies propias y de terceros para mantener la sesión, ofrecerle una mejor experiencia de usuario y obtener datos estadísticos de navegación de los usuarios. Para más información vea la Política de cookies.

Ver Investigador - - Prisma - Unidad de Bibliometría

Ángel Nepomuceno Fernández

Investigador Honorario
nepomuce@us.es
Área de conocimiento: Lógica y Filosofía de la Ciencia
Departamento: Filosofía y Lógica y Filosofía de la Ciencia
Grupo: Sin Grupo - 0 ()
Tipo Año Título Fuente
Capítulo2023 Abduction from a Dynamic Epistemic Perspective: Non-omniscient Agents and Multiagent Settings Handbook of Abductive Cognition
Capítulo2022 Abduction from a Dynamic Epistemic Perspective: Non-omniscient Agents and Multiagent Settings Handbook of Abductive Cognition
Editorial2021 Editorial Logic Journal of the IGPL
Artículo2021 Knowledge in action: Logico-philosophical approach to linguistic evidentiality Logic Journal of the IGPL
Ponencia2021 Methodological Analysis for the Reconstruction of Language Families: The case of Semitic Languages Actas del X Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Salamanca, 16-19 de noviembre de 2021 = Proceedings of the X Conference of the Spanish Society of Logic, Methodology and Philosophy of Science : Salamanca, 16-19 November 2021
Artículo2019 Giro dinámico y lógica de la investigación científica Revista de Humanidades de Valparaíso
Libro2019 Model-based reasoning in science and technology: Inferential models for logic, language, cognition and computation Model-based reasoning in science and technology: Inferential models for logic, language, cognition and computation
Editorial2019 Preface Model-based reasoning in science and technology: Inferential models for logic, language, cognition and computation
Capítulo2017 Abductive Reasoning in Dynamic Epistemic Logic SPRINGER HANDBOOK OF MODEL-BASED SCIENCE
Capítulo2017 Teoría de la Argumentación, Lógica, Lógica y Lenguaje Material didáctico introductorio a las áreas de conocimiento de la Filosofía: [Facultad de Filosofía, Universidad de Sevilla]
Capítulo2016 Modified tableaux for some kinds of multimodal logics Epistemology, knowledge and the impact of interaction
Editorial2016 Preface Epistemology, knowledge and the impact of interaction
Libro2015 El anillo de París El anillo de París
Artículo2015 Forgetting complex propositions Logic Journal of the IGPL
Ponencia2015 Public and secret forgetting of propositional formulas ADVANCES IN ARTIFICIAL INTELLIGENCE (CAEPIA 2015)
Capítulo2014 Scientific models of abduction: The role of non classical logic Bas van Fraassen's Approach to Representation and Models in Science
Ponencia2014 The fundamental problem of contemporary epistemology TEOREMA
Artículo2013 An epistemic and dynamic approach to abductive reasoning: Abductive problem and abductive solution JOURNAL OF APPLIED LOGIC
Artículo2013 An epistemic and dynamic approach to abductive reasoning: selecting the best explanation Logic Journal of the IGPL
Artículo2013 DYNAMIC CONSEQUENCE AND PUBLIC ANNOUNCEMENT REVIEW OF SYMBOLIC LOGIC
Artículo2012 A modal framework for modelling abductive reasoning Logic Journal of the IGPL
Capítulo2012 Dinámica de la información en agentes no omniscientes Ensayos sobre lógica, lenguaje, mente y ciencia
Capítulo2012 La inferencia científica relativa al contexto Ensayos sobre lógica, lenguaje, mente y ciencia
Artículo2012 Tableaux for structural abduction Logic Journal of the IGPL
Capítulo2012 Teoría de la Argumentación (curso 1º) Nuevas metodologías docentes aplicadas al Grado de Filosofía: proyecto de innovación docente de la Facultad de Filosofía de la Universidad de Sevilla
Ponencia2012 Tratamiento multimodal de contextos VII Conference of the Spanish Society for Logic, Methodology and Philosophy of Science: Santiago de Compostela, Spain, 18-20 July 2012 = VII Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España : Santiago de Compostela, España, 18-20 de julio de 2012
Capítulo2011 Categoremático / Sincategoremático Compendio de lógica, argumentación y retórica
Capítulo2011 Corrección Compendio de lógica, argumentación y retórica
Ponencia2011 Information-theoretic perspective for teaching logic Lecture Notes in Computer Science
Capítulo2011 Tablas semánticas Compendio de lógica, argumentación y retórica
Capítulo2011 Tautología Compendio de lógica, argumentación y retórica
Capítulo2011 Validez Compendio de lógica, argumentación y retórica
Libro2010 Liber Amicorum Ángel Nepomuceno: homenaje en su sexagésimo cumpleaños Liber Amicorum Ángel Nepomuceno: homenaje en su sexagésimo cumpleaños
Ponencia2010 Razonamiento explicativo en contextos inferenciales Estudios de Lógica, Lenguaje y Epistemología
Ponencia2009 Abducción y revisión de creencias Actas del VI Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España (SLMFCE): 18 - 21 de noviembre
Artículo2009 Abduction via C-tableaux and resolution Journal Of Applied Non-Classical Logics
Artículo2009 SISTEMATIZACIÓN DEL DESCUBRIMIENTO Y LA EXPLICACIÓN: LA ELABORACIÓN DE UNA LÓGICA ABDUCTIVA CRITICA-REVISTA HISPANOAMERICANA DE FILOSOFIA
Artículo2008 Abduction in Finite Models CRITICA-REVISTA HISPANOAMERICANA DE FILOSOFIA
Artículo2008 Deducción y abducción TEOREMA
Ponencia2007 Information and logic Current topics in logic and analytic philosophy : colloquium on logic and analytic philosophy at Santiago de Compostela = Temas actuales de lógica y filosofía analítica: coloquio compostelano de filosofía analítica : Santiago de Compostela, 2001-2005
Artículo2007 Metamodeling abduction THEORIA-REVISTA DE TEORIA HISTORIA Y FUNDAMENTOS DE LA CIENCIA
Artículo2007 Tablas semánticas para fórmulas satisfacibles en dominios finitos TEOREMA
Ponencia2006 Deducción y generación de modelos de cardinalidad finita Una perspectiva de la inteligencia artificial en su 50 aniversario: Campus Multidisciplinar en Percepción e Inteligencia, CMPI 2006, Albacete, España, 10-14 de Julio del 2006 : actas
Ponencia2006 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: (Granada, 29 noviembre - 1 diciembre de 2006)
Artículo2006 Model-based abduction via dual resolution Logic Journal of the IGPL
Ponencia2006 Razonamiento abductivo en modelos finitos mediante C-tablas y d-resolución Una perspectiva de la inteligencia artificial en su 50 aniversario: Campus Multidisciplinar en Percepción e Inteligencia, CMPI 2006, Albacete, España, 10-14 de Julio del 2006 : actas
Ponencia2006 Razonar con expresiones ambiguas Actas del V Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: (Granada, 29 noviembre - 1 diciembre de 2006)
Ponencia2006 tarfa: Tableaux and resolution for finite abduction LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS
Artículo2006 Towards abductive reasoning in first-order logic Logic Journal of the IGPL
Artículo2005 MODELOS DE RAZONAMIENTO ABDUCTIVO Contrastes. Suplemento
Ponencia2004 Abducción y razonamiento por defecto Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004
Ponencia2004 Abducción y tablas semánticas: algunas extensiones Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004
Capítulo2004 Aplicación de tablas semánticas al estudio de algunas lógicas no clásicas Summa logicae en el siglo XXI [Archivo de ordenador]
Libro2004 Bases biológicas, lingüísticas, lógicas y computacionales para la concepción de la mente: LLIC-S-2004-01 Bases biológicas, lingüísticas, lógicas y computacionales para la concepción de la mente: LLIC-S-2004-01
Libro2004 El método de las tablas semánticas El método de las tablas semánticas
Capítulo2004 Enseñar lógica: lenguaje lógico y árboles semánticos Summa logicae en el siglo XXI [Archivo de ordenador]
Capítulo2004 Interpretaciones estándar y no estándar de sistemas logicistas Summa logicae en el siglo XXI [Archivo de ordenador]
Capítulo2004 Lógica, creación y justificación en matematicas Summa logicae en el siglo XXI [Archivo de ordenador]
Capítulo2004 Tablas semánticas para lógica de predicados de primer orden Summa logicae en el siglo XXI [Archivo de ordenador]
Ponencia2004 Un cálculo abductivo natural Actas del IV Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: Valladolid, 3-6 de Noviembre de 2004
Capítulo2004 Una reconstrucción formal del sistema de "Begriffschrift" Summa logicae en el siglo XXI [Archivo de ordenador]
Artículo2003 Presentation: The interdisciplinary field of Logic, Language and Information THEORIA-REVISTA DE TEORIA HISTORIA Y FUNDAMENTOS DE LA CIENCIA
Libro2002 Curso práctico de lógica Curso práctico de lógica
Artículo2002 LÓGICA MODAL Y ARGUMENTACIÓN FILOSÓFICA Isidorianum (Sevilla)
Capítulo2001 El análisis lógico del lenguaje científico. Los lenguajes-cosa de Carnap Información : tratamiento y representación
Libro2001 Información : tratamiento y representación Información : tratamiento y representación
Capítulo2001 Sistemas formales Información : tratamiento y representación
Ponencia2001 Sistemas logicistas e información modal Congress Formal Theories and Empirical Theories: Foundational, Ontosemantic and Pragmatic Aspects = Congreso Teorías formales y teorías Empíricas : Aspectos fundacionales, ontosemánticos y pragmáticos : Santiago de Compostela, 14-16 de noviembre de 2001
Capítulo2001 Teoría de la argumentación: información y lógica Información : tratamiento y representación
Libro2000 Lógica, lenguaje e información: actas de las primeras Jornadas sobre Lógica y Lenguaje = Logic, language and information : proceedings of the first Workshop on Logic and Language Lógica, lenguaje e información: actas de las primeras Jornadas sobre Lógica y Lenguaje = Logic, language and information : proceedings of the first Workshop on Logic and Language
Artículo1999 Semantic tableaux and metalogic: The case of second-order logic CRITICA-REVISTA HISPANOAMERICANA DE FILOSOFIA
Artículo1999 Tablas semánticas y metalógica: el caso de la lógica de segundo orden CRITICA-REVISTA HISPANOAMERICANA DE FILOSOFIA
Ponencia1997 Interpretación no estándar de la lógica de segundo orden Actas del II Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Bellaterra 6-8 de febrero de 1997]
Capítulo1997 Introduction to second-order models The bulletin of the workshop on model theory and complexity: Sevilla del 21 al 23 de septiembre de 1995
Ponencia1997 Lenguajes formales y tipos lógicos Actas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Madrid 15,16 y 17 de diciembre de 1993]
Ponencia1997 Sobre la enseñanza de la lógica Actas del I Congreso de la Sociedad de Lógica, Metodología y Filosofía de la Ciencia en España: [Madrid 15,16 y 17 de diciembre de 1993]
Capítulo1996 Modelos fregeanos intensionales Verdad: lógica, representación y mundo
Artículo1995 Estudio formal de los aspectos relevantes de estructuras informativas Ágora. Papeles de Filosofía
Capítulo1995 Lógica formal elemental Lógica formal: Orígenes, métodos y aplicaciones
Libro1995 Lógica formal: Orígenes, métodos y aplicaciones Lógica formal: Orígenes, métodos y aplicaciones
Ponencia1994 Semántica fregeana de lenguajes de segundo orden Lenguajes naturales y lenguajes formales : actas del X congreso de lenguajes naturales y lenguajes formales : (Sevilla, 26-30 de septiembre de 1994)
Artículo1994 Sistemas de lógica en la investigación de fundamentos Fragmentos de Filosofía
Artículo1993 Análisis no estándar y lógica Ágora. Papeles de Filosofía
Ponencia1993 La relación de consecuencia informativa Lenguajes naturales y lenguajes formales : actas del IX congreso de lenguajes naturales y lenguajes formales : (Reus, 20-22 de diciembre de 1993)
Ponencia1993 Lógica e historia en la investigación de fundamentos Lenguajes naturales y lenguajes formales : actas del IX congreso de lenguajes naturales y lenguajes formales : (Reus, 20-22 de diciembre de 1993)
Artículo1993 Nociones logicistas en filosofía de la matemática CRITICA-REVISTA HISPANOAMERICANA DE FILOSOFIA
Artículo1993 Sistemas de cálculo como formas de logicismo CRITICA-REVISTA HISPANOAMERICANA DE FILOSOFIA
Artículo1992 Las interpretaciones normales Fragmentos de Filosofía
Ponencia1992 Modelos de lenguajes formales con nominalización de predicados Lenguajes naturales y lenguajes formales : actas del VIII congreso de lenguajes naturales y lenguajes formales : (Girona, 21-25 de septiembre de 1992)
Ponencia1992 Teoría de la predicación y cálculos lógicos Lenguajes naturales y lenguajes formales : actas del VII congreso de lenguajes naturales y lenguajes formales : (Vic-Barcelona, 23-27 de septiembre de 1991)
Artículo1991 Tablas semánticas y cálculo generalizado de predicados Encuentro de Lógica y Filosofía de la Ciencia, Madrid, 13-15 noviembre, 1991: : comunicaciones : Rudolf Carnap and Hans Reichenbach in memoriam
Lógica de segundo orden: problemas metateoréticos (1990)
Dirigida por: Emilio Díaz Estévez
Tesis dirigidas/tutorizadas:6
Fecha lectura Título Rol
03/12/2019 Games and spaces: semantics of a modal probabilistic logic Director/a
29/09/2017 NEGOTIATING WITH LOGICAL-LINGUISTIC PROTOCOLS IN A DIALOGICAL FRAMEWORK Director/a
15/07/2016 HACIA UNA CONCEPCIÓN GENERALIZADA DE LA ABDUCCIÓN, SU MODELIZACIÓN EN LÓGICAS NO CLÁSICAS Y SU IMPLEMENTACIÓN EN HERRAMIENTAS INFORMÁTICAS Director/a
17/12/2012 SEMÁNTICA FORMAL A TRAVÉS DE UNA TEORÍA DE LA INTERPRETACIÓN. LAS PARTÍCULAS NEGATIVAS LA -AL EN UGARÍTICO Director/a
17/06/2011 TABLAS SEMÁNTICAS PARA LÓGICA EPISTÉMICA Director/a
14/10/2005 MODELOS FORMALES DE EXPLICACIÓN EN LÓGICA E INTELIGENCIA ARTIFICIAL Director/a

Proyectos de Investigación

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
01/01/2022 31/05/2023 Investigador/a Abducción y diagnóstico médico. Interrogación e hipótesis en la causalidad científica (US-1381050) Consejería de Economía, Conocimiento, Empresas y Universidad (Autonómico)
05/10/2021 31/12/2022 Investigador/a El proceso inferencial como proceso informacional: dinámica lógica de la información y la representación del discurso y el diálogo (ProInf) (P20_01140) Consejería de Economía, Conocimiento, Empresas y Universidad (Autonómico)
01/09/2021 31/08/2025 Investigador/a Métodos lógicos y abductivos aplicados a la semántica y la pragmática de la interacción comunicativa (PID2020-117871GB-I00) Ministerio de Ciencia e Innovación (Nacional)
01/05/2017 30/04/2019 Responsable Nuevos Diseños de Sistemas de Diálogo (TIN2015-72709-EXP) Ministerio de Economía y Competitividad (Nacional)
01/01/2015 31/12/2017 Responsable Dinámica de la Información: Razonamiento, Interacción y Abducción (FFI2014-56219-P) Ministerio de Economía y Competitividad (Nacional)
01/01/2012 31/12/2014 Responsable Conciencia, Lógica y Computación (FFI2011-29609-C02-01) Ministerio de Ciencia e Innovación (Nacional)
15/03/2011 30/04/2016 Responsable Interpretaciones Alternativas de Lógicas no Clásicas (Ialnoc) (P10-HUM-5844) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico)
01/01/2011 31/12/2012 Investigador/a La dinámica del conocimiento en el ámbito de las ciencias sociales: abducción, intuición e invención (AIB2010PT-00106) Ministerio de Ciencia e Innovación (Nacional)
13/01/2009 13/01/2014 Investigador/a Lógica de Protocolos Incondicionalmente Seguros (P08-HUM-04159) Junta de Andalucía - Consejería de Innovación, Ciencia y Empresas (Autonómico)
01/10/2007 30/09/2010 Responsable Lógica y lenguaje: ambigüedad en el discurso y elaboración del contexto (HUM2007-65053) Ministerio de Educación y Ciencia (Nacional)
13/04/2007 12/04/2010 Responsable Herramientas computacionales en la implementación de estrategias lógico-lingüísticas para el tratamiento de la ambigüedad en el discurso. Ap (P06-HUM-01538) Junta de Andalucía (Plan Andaluz de Investigación) (Autonómico)
13/12/2004 13/12/2007 Responsable Lógica y lenguaje: información y representación (HUM2004-01255) Ministerio de Ciencia y Tecnología (Nacional)
23/12/2000 23/12/2003 Responsable Summa logicae en el siglo XXI (BFF2000-1273-C04-03) Ministerio de Ciencia y Tecnología (Nacional)

Ayudas

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
26/10/2011 25/10/2013 Responsable Conferencia de lógica y fundamentos de teoría de juegos y de la decisión (FFI2011-15523-E) Ministerio de Ciencia e Innovación (Nacional)
21/07/2011 20/07/2013 Responsable Red de Investigación, Formación y Aplicaciones de Lógica, Lenguaje y Computación (RIFALLCo) (FFI2010-10968-E) Ministerio de Ciencia e Innovación (Nacional)
01/01/2008 31/12/2009 Responsable Lógica, lenguaje y la unidad de la ciencia (HP2007-0018) Ministerio de Educación y Ciencia (Nacional)
13/12/2000 13/03/2001 Responsable Jornadas de Lógica y Lenguaje (JOLL2000) (PGC2000-2260-E) Ministerio de Ciencia y Tecnología (Nacional)
El investigador no tiene ningún resultado de investigación asociado