Comunidad CONICET
Postdoctoral (interna)
Especialidad
Lógica para Ciencias de la Computación e Inteligencia Artificial
Disciplina Científica
Matemática
- Informática y Comunicaciones
Tema
Razonamiento modal tratable vía sistemas híbridos de deducción natural + tableaux
Lugar de Trabajo
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
(ICC, CONICET-UBA)
Depende de
- CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS
- UNIVERSIDAD DE BUENOS AIRES
- FACULTAD DE CIENCIAS EXACTAS Y NATURALES
Ver más información
Ver menos información
| Dirección: |
| INT. GÜIRALDES 2160, C1428EGA - Capital Federal - Argentina |
Ver mapa
Resumen
Información suministrada por el agente en
SIGEVA
Experticia en razonamiento automatizado en lógicas clásica, intuicionista y modal, con aplicaciones en teoría de computación e inteligencia artificial (neuro)-simbólica.
Líneas de Investigación
Razonamiento automatizado en lógicas intuicionista y modales
Ciencias naturales y exactas
- Ciencias de la computación e información
- Ciencias de la computación
Capacidades Tecnológicas
1 - Electrónica, TICs y telecomunicaciones
1.2 - Procesado de información, Sistemas de información, Gestión de la carga de trabajo
- 1.2.3 - Inteligencia artificial (IA)
- 1.2.10 - Bases de datos, gestión de bases de datos, extracción de datos
- 1.2.13 - Tecnología de información / informática
- 1.2.15 - Gestión de conocimiento, gestión de procesos
- 1.2.20 - Software de automatización
Palabras Clave
Razonamiento AutomatizadoLógica Intuicionista y ModalTeoría de DemostraciónAutomated ReasoningIntuitionistic and Modal LogicProof Theory
Formación Académica
2018 - 2022
Doctor en Filosofía (Lógica)
UNIVERSITA DEGLI STUDI DI MILANO
2016 - 2018
Maestro en Filosofía de la Ciencia (Filosofía de las Matemáticas y Lógica de la Ciencia)
UNIVERSIDAD NACIONAL AUTONOMA DE MEXICO
2009 - 2015
Licenciado en Filosofía
UNIVERSIDAD NACIONAL AUTONOMA DE MEXICO
Codirigido por:
BARRIO, EDUARDO ALEJANDRO
Carrera Investigador
BARRIO, Eduardo Alejandro
Carrera Investigador
Cargando sección
Producción CyT...
Cargando sección
Oferta Tecnológica...
Contacto