Inference Graphs: Combining Natural Deduction and Subsumption Inference in a Concurrent Reasoner.

Daniel R. Schlegel Stuart C. Shapiro

Published in: AAAI (2015)

Keyphrases

bayesian networks
probabilistic inference
knowledge base
data points
description logics
graph theory
inference process
natural deduction