Schlegel, Daniel R.

4 publications

AAAI 2015 Inference Graphs: Combining Natural Deduction and Subsumption Inference in a Concurrent Reasoner Daniel R. Schlegel, Stuart C. Shapiro

AAAI 2014 Inference Graphs: A New Kind of Hybrid Reasoning System Daniel R. Schlegel, Stuart C. Shapiro

AAAI 2013 Concurrent Inference Graphs Daniel R. Schlegel

AAAI 2013 Concurrent Reasoning with Inference Graphs Daniel R. Schlegel, Stuart C. Shapiro