5 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.CL2020
Braid: Weaving Symbolic and Neural Knowledge into Coherent Logical Explanations
Aditya Kalyanpur, Tom Breloff, David Ferrucci
Traditional symbolic reasoning engines, while attractive for their precision and explicability, have a few major drawbacks: the use of brittle inference procedures that rely on exa…
cs.SE2008★ 5 cited
The Prolog Interface to the Unstructured Information Management Architecture
Paul Fodor, Adam Lally, David Ferrucci
In this paper we describe the design and implementation of the Prolog interface to the Unstructured Information Management Architecture (UIMA) and some of its applications in natur…