Logical omniscience as infeasibility.

Sergei N. Artëmov Roman Kuznets

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

Keyphrases

logical reasoning
data mining
multiscale
logical structure
logical operations
data sets
neural network
learning algorithm
preprocessing
information technology
relational databases
special case
probabilistic logic
logical representation