Reasoning about proof and knowledge.

Steffen Lewitzka

Published in: CoRR (2017)

Keyphrases

real time
mathematical knowledge
probabilistic knowledge
knowledge base
knowledge representation
background knowledge
higher level
knowledge based systems
prior knowledge
information technology
decision trees
website
machine learning
knowledge sharing
conceptual model
knowledge sources
data mining
neural network