CONICET Community
Postdoctoral (interna)
Speciality
Lógica para Ciencias de la Computación e Inteligencia Artificial
Scientific discipline
Matemática
- Informática y Comunicaciones
Topic
Tractable modal reasoning via hybrid systems of natural deduction + tableaux
Workplace
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
(ICC, CONICET-UBA)
Dependencies
- CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS
- UNIVERSIDAD DE BUENOS AIRES
- FACULTAD DE CIENCIAS EXACTAS Y NATURALES
Show more information
Show less information
| Address: |
| INT. GÜIRALDES 2160, C1428EGA - Capital Federal - Argentina |
Show map
Summary
Information provided by the agent in
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.
Lines of Investigation
Razonamiento automatizado en lógicas intuicionista y modales
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.10 - Databases, Database Management, Data Mining
- 1.2.13 - Information Technology/Informatics
- 1.2.15 - Knowledge Management, Process Management
- 1.2.20 - Building Automation Software
Key Words
Razonamiento AutomatizadoLógica Intuicionista y ModalTeoría de DemostraciónAutomated ReasoningIntuitionistic and Modal LogicProof Theory
Education
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
Co-directed by:
BARRIO, EDUARDO ALEJANDRO
Scientific Research Career at CONICET
BARRIO, Eduardo Alejandro
Scientific Research Career at CONICET
Loading section
Science and Technology Production...
Loading section
Services...
Contact