Login / Signup
Natural deduction in connectionist systems.
William Bechtel
Published in:
Synth. (1994)
Keyphrases
</>
connectionist systems
natural deduction
theorem prover
inference rules
anomaly detection
neural network
theorem proving
cut elimination
intuitionistic logic
sequent calculus
first order logic
image segmentation
linear logic
learning algorithm
pairwise
computer vision
artificial intelligence