AI4REASON
Financiado
Duración del proyecto: 64 meses
Fecha Inicio: 2015-06-18
Fecha Fin: 2020-10-31
Finalizado
Fecha Fin: 2020-10-31
Finalizado
Presupuesto del proyecto
1M€
Perfil tecnológico del proyecto
Se calculan automáticamente a través de las palabras clave.
Artificial Intelligence
Data Science
Software Computer Science Mathematics Cybersecurity
Software Computer Science Mathematics Cybersecurity
Palabras clave
Extraídas de toda la información encontrada de este proyecto
#Artificial Intelligence
#automated reasoning
#theorem proving
#data-driven AI
#proof corpora
#verification
#complex theories
Lider