Is Logic Really Dead or Only Just Sleeping?

Robert A. Kowalski

Published in: ICLP (2001)

Keyphrases

proof theory
multi valued
modal logic
classical logic
defeasible logic
automated reasoning
genetic algorithm
logic synthesis
digital circuits
data model
e learning
first order logic
probabilistic model
video sequences
bayesian networks
case study
predicate logic
data mining
intuitionistic logic