Discovery without a 'logic' would be a miracle.

Benjamin C. Jantzen

Published in: Synth. (2016)

Keyphrases

knowledge discovery
modal logic
logic programming
multi valued
classical logic
automated reasoning
discovery process
scientific discovery
multiscale
deontic logic
database
neural network
data mining
digital circuits
predicate logic
asynchronous circuits