ARLEKIN: Razonamiento Automático y Aprendizaje con Inducción de Conocimiento (Automated Reasoning and LEarning with Knowledge INduction)
Entidad financiadora | Ministerio de Ciencia e Innovación |
Investigadores principales | Pedro Cabalar Fernández, José Santos Reyes |
Tipo | Proyecto Programas Nacionales |
Fechas | Desde 01/09/2021 a 31/08/2024 |