CONICET Community
SOLARES ROJAS, ALEJANDRO JAVIER
POSTDOCTORAL (INTERNA)
SPECIALITY:
Lógica para Ciencias de la Computación e Inteligencia ArtificialScientific discipline:
Mathematics - Computer Science and CommunicationsTopic:
Tractable modal reasoning via hybrid systems of natural deduction + tableauxWorkplace
INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION (ICC, CONICET-UBA) Depends on
- CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS (CONICET)
- UNIVERSIDAD DE BUENOS AIRES (UBA)
- FACULTAD DE CIENCIAS EXACTAS Y NATURALES
| Address: | |
| INT. GÜIRALDES 2160, C1428EGA - Capital Federal - Argentina |
Contact:
S&T Expertise*
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. *Information provided by the agent in SIGEVALines 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
- 2. Information Processing, Information System, Workflow Management
- 2.10. Databases, Database Management, Data Mining
- 2.15. Knowledge Management, Process Management
- 2.13. Information Technology/Informatics
- 2.3. Artificial Intelligence
- 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
BARRIO, Eduardo Alejandro
Scientific Research Career at CONICET
Science and Technology Production
Loading data . . .
Services
Loading data . . .