[jfdixon]

A modified version of the Cyc inference engine was used in the initial development of LarKC[1].

[1] http://videolectures.net/coinactivess2010_witbrock_lkc/