Reasoning with LarKC
en
0.25
0.5
0.75
1.25
1.5
1.75
2
The FP7 LarKC project, which was funded through to November 2011, is an ambitious effort to scale up and apply automated reasoning, of many forms, to internet-scale content. The project was largely successful, setting the state of the art, for example, in large scale knowledge curation and parallel inference. The project also produced a powerful open source software artifact, the LarKC platform, that can be used as a basis for knowledge based applications and research programs. In this talk I will motivate LarKC, describe the platform, and, now that the initial project is over, the process of transitioning LarKC to a sustainable future.