CONICET Community
Independent researcher
Speciality
Lógicas Modales Computacionales
Scientific discipline
Computer Science and Communications
- Computer Science and Communications
Topic
Ability-Based Epistemic Logics
Workplace
SECCION CS.DE LA COMPUTACION
Dependencies
- UNIVERSIDAD NACIONAL DE CORDOBA
- FACULTAD DE MATEMATICA ASTRONOMIA Y FISICA (FAMAF)
Show more information
Show less information
| Address: |
| AV.MEDINA ALLENDE 0, 5000 - Córdoba - Argentina |
Summary
Information provided by the agent in
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.
Lines of Investigation
Lógicas modales computacionales
Natural and exact sciences
- Computer and information sciences
- Computer sciences
Technological Capacities
1 - Electronics, IT and Telecoms
1.2 - Information Processing, Information System, Workflow Management
- 1.2.3 - Artificial Intelligence
- 1.2.6 - Computer Software
- 1.2.13 - Information Technology/Informatics
Key Words
Lógicas ModalesLógica ComputacionalComplejidadModal LogicsComputational LogicKnowledge RepresentationComplexityRepresentación del Conocimiento
Education
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
Director of:
CARINELLI, FABRICIO AUGUSTO
Scholars
CARINELLI, Fabricio Augusto Scholars
Loading section
Science and Technology Production...
Loading section
Services...
Contact