The Logic of Approximate Dependence.

Jouko Väänänen

Published in: CoRR (2014)

Keyphrases

classical logic
logic programming
automated reasoning
sound and complete axiomatization
modal logic
multiscale
neural network
image sequences
information systems
exact solution
data mining
computational properties
set theory
nonmonotonic logics
predicate logic
delay insensitive
deductive reasoning
data sets