Domenico Corapi is a Lead Engineer at Grakn. He previously worked at Skyscanner, Microsoft, Citi, and Bloomberg specialising in distributed systems, web services, and large scale data processing. During his years in academia he received a PhD in Computing at Imperial College London and he has authored a number of publications on computational logic, multi-agent systems, and rule-based machine learning.
Talks I've Given
Logical Inference in a Hyper-Relational database
Featuring Domenico Corapi
Inference is something we humans do all the time. Given a set of facts about the world, we derive new ones using some form of inference. Automated reasoning has been studied extensively but its value in providing a more powerful abstraction layer for database languages has been overlooked so far....inference databases automatedreasoning computationallogic distributedsystems data