The limitation of logic.

Robert A. Kowalski

Published in: ACM Conference on Computer Science (1986)

Keyphrases

logic programming
modal logic
real time
similarity measure
probabilistic model
proof theory
linear logic
asynchronous circuits
formal theory
set theory
defeasible logic
classical logic
multi valued
temporal logic
hidden markov models
image processing
neural network