research
∙
09/20/2017
On Compiling DNNFs without Determinism
State-of-the-art knowledge compilers generate deterministic subsets of D...
research
∙
09/24/2013
Generating Explanations for Biomedical Queries
We introduce novel mathematical models and algorithms to generate (short...
research
∙
12/09/2010