A Note on Typed Truth and Consistency Assertions.

Published in: J. Philos. Log. (2016)

Keyphrases

higher order
knowledge base
database
data sets
databases
machine learning
computer vision
consistency checking
wide range
information technology
special case
path consistency
global consistency
onset detection