Combining Hilbert Style and Semantic Reasoning in a Resolution Framework.

Hans Jürgen Ohlbach

Published in: CADE (1998)

Keyphrases

neural network
taxonomic reasoning
meta level
probabilistic model
main contribution
conceptual framework
context dependent
machine learning
learning algorithm
information systems
keywords
domain knowledge
low level
lightweight
theoretical framework
combining multiple
reasoning engine
database