An Arithmetical Interpretation of Verification and Intuitionistic Knowledge.

Tudor Protopopescu

Published in: LFCS (2016)

Keyphrases

prior knowledge
domain knowledge
background knowledge
knowledge base
high level
domain experts
knowledge acquisition
learning systems
genetic algorithm
search engine
knowledge discovery
knowledge sharing
face verification