Reasoning about proof and knowledge.

Steffen Lewitzka

Published in: Ann. Pure Appl. Log. (2019)

Keyphrases

domain knowledge
knowledge extraction
knowledge base
knowledge acquisition
data sets
natural language
expert systems
information technology
knowledge sharing
human experts
knowledge transfer
qualitative reasoning
probabilistic knowledge