Comunidad CONICET
Investigador independiente
Especialidad
Lógicas Modales Computacionales
Disciplina Científica
Informática y Comunicaciones
- Informática y Comunicaciones
Tema
Lógicas Epistémicas Basadas en Habilidades
Lugar de Trabajo
SECCION CS.DE LA COMPUTACION
Depende de
- UNIVERSIDAD NACIONAL DE CORDOBA
- FACULTAD DE MATEMATICA ASTRONOMIA Y FISICA (FAMAF)
Ver más información
Ver menos información
| Dirección: |
| AV.MEDINA ALLENDE 0, 5000 - Córdoba - Argentina |
Resumen
Información suministrada por el agente en
SIGEVA
Mi área de interés es la investigación de diferentes lenguajes lógicos desde un punto de vista computacional, es decir, poder expresivo, inferencia y complejidad de los lenguajes. En particular, estoy interesado en una perspectiva "modal" de la lógica, para ser aplicada en diferentes campos como la inteligencia artificial, ingeniería de software o teoría de base de datos.
Líneas de Investigación
Lógicas modales computacionales
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.6 - Software
- 1.2.13 - Tecnología de información / informática
Palabras Clave
Lógicas ModalesLógica ComputacionalComplejidadModal LogicsComputational LogicKnowledge RepresentationComplexityRepresentación del Conocimiento
Formación Académica
2010 - 2014
Doctor en Ciencias de la Computación
FACULTAD DE MATEMATICA ASTRONOMIA Y FISICA, UNIVERSIDAD NACIONAL DE CORDOBA
2005 - 2010
Licenciado en Ciencias de la Computación
UNIVERSIDAD NACIONAL DE RIO CUARTO
Cargando sección
Producción CyT...
Cargando sección
Oferta Tecnológica...
Contacto