MARIA DE LA CONCEPCION
MARTINEZ VIDAL
Profesora titular de universidade
Tese doutoral
Teses dirixidas (2)
-
Mathematical Explanation and Ontology: an Analysis of Applied Mathematics and Mathematical Proofs 2020
Universidade de Santiago de Compostela
Rivas de Castro, Navia
-
Justificacion a priori y conocimiento básico: el caso de la lógica 2016
Universidade de Santiago de Compostela
GARCIA ARNALDOS, MARIA DOLORES
Tribunais de teses (13)
-
Secretaria do tribunal
Rule and Improvisation: an Ontology of Music 2023Universidade de Santiago de Compostela
Pablo Seoane Rodríguez
-
Vogal do tribunal
El problema de la intuición en la filosofía de la matemática de Philip Kitcher y su relación con el problema de la visualización en la práctica matemática 2022Universitat de València
Peña Páez, Lina María
-
Secretaria do tribunal
Error, apariencia ilusoria y juicio: la doctrina de la imposibilidad del error total como pauta de lectura de la lógica trascendental de Kant 2021Universidade de Santiago de Compostela
Laos Igreda, Claudia María
-
Secretaria do tribunal
Substructural logics and pragmatic enrichment 2020Universitat de Barcelona
Terrés Villalonga, Pilar
-
Vogal do tribunal
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 2016Universidad de Sevilla
Sarrión Morillo, Enrique
-
Vogal do tribunal
Comprensiones categoriales y subrecursión 2012Universitat de València
Díaz Boïls, Joaquín
-
Vogal do tribunal
Representación del conocimiento jurídico en programación lógica y su aplicación a la toma de decisión en el derecho penal 2007Universitat de València
Sanchez Soria, Angel Rafael
-
Vogal do tribunal
Modelos formales de explicación en lógica e inteligencia artificial 2005Universidad de Sevilla
Soler Toscano, Fernando
-
Vogal do tribunal
Realismo constructivo. Hacia una concepción popperiana de la matemática 2005Universitat de València
SANTONJA GÓMEZ, FRANCISCO JOSÉ
-
Vogal do tribunal
Algunos problemas ontosemánticos en la Filosofía de Bertrand Russell entre 1896 y 1919 2000Universitat de València
Saurí Mercader, Francisco Manuel
-
Vogal do tribunal
Medidas computacionales de ganancia de información y refuerzo en procesos de inferencia 1999Universitat de València
Hernández Orallo, José
-
Vogal do tribunal
Similaridad intermundana y lógica multicondicional 1996Universidade de Santiago de Compostela
Vilanova Arias, Javier
-
Vogal do tribunal
Agentes locales y autónomos en inteligencia artificial distribuida: coordinación 1996Universidad del País Vasco - Euskal Herriko Unibertsitatea
Alonso Fernández, Eduardo