BECAS
SOLARES ROJAS Alejandro Javier
datos académicos
Título/s
Doctor en Filosofía (Lógica)
Maestro en Filosofía de la Ciencia (Filosofía de las Matemáticas y Lógica de la Ciencia)
Licenciado en Filosofía
Maestro en Filosofía de la Ciencia (Filosofía de las Matemáticas y Lógica de la Ciencia)
Licenciado en Filosofía
Categoría
POS-DOCTORAL (INTERNA)
Disciplina científica
Matemática
Informática y Comunicaciones
Informática y Comunicaciones
Disciplina desagregada
INFORMATICA
Campo de aplicación
Ciencia y cultura-Ciencia y tecnologia
Ciencia y cultura
Ciencia y cultura
Especialidad
Lógica para Ciencias de la Computación e Inteligencia Artificial
Tema
Razonamiento modal tratable vía sistemas híbridos de deducción natural + tableaux
Tema en inglés
Tractable modal reasoning via hybrid systems of natural deduction + tableaux
Palabras clave
RAZONAMIENTO COMPUTACIONALMENTE TRATABLE // SISTEMAS DE PRUEBA HÍBRIDOS // LÓGICAS SUBESTRUCTURALES
Palabras clave en inglés
COMPUTATIONALLY TRACTABLE REASONING // HYBRID PROOF SYSTEMS // SUBSTRUCTURAL LOGICS
Director
RODRIGUEZ, RICARDO OSCAR
Co-director
BARRIO, EDUARDO ALEJANDRO / INV SUPERIOR
Lugar de trabajo
[ICC] INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION -
[OCA - CDAD. UNIVERSITARIA] OFICINA DE COORDINACION ADMINISTRATIVA CIUDAD UNIVERSITARIA -
[CONICET] CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS -
[OCA - CDAD. UNIVERSITARIA] OFICINA DE COORDINACION ADMINISTRATIVA CIUDAD UNIVERSITARIA -
[CONICET] CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS -
