ICLP 1994 Workshop W3: Logic and Reasoning with Neural Networks, Santa Margherita Ligure, Italy, June 1994
Published in: ICLP Workshop: Logic and Reasoning with Neural Networks (1994)
Keyphrases
- neural network
- automated reasoning
- proof theory
- human reasoning
- deductive reasoning
- order of magnitude reasoning
- computational properties
- intuitionistic logic
- fuzzy logic
- reasoning engine
- logical framework
- logical inference
- proof theoretic
- pattern recognition
- probabilistic logic
- horn logic
- knowledge representation formalisms
- artificial neural networks
- knowledge base
- logical rules
- multilayer perceptron
- logic programming
- reasoning tasks
- knowledge representation
- predicate logic
- qualitative reasoning
- back propagation
- commonsense reasoning
- abductive reasoning
- reasoning systems
- genetic algorithm
- derivation rules
- neural network model
- knowledge representation and reasoning
- feed forward
- classical logic
- multi valued
- reasoning about actions
- modal logic
- neural nets
- theorem prover
- default reasoning
- reasoning process
- proof procedure
- linear logic
- reasoning problems
- causal reasoning
- training process
- selected papers
- fault diagnosis
- logic programs
- bayesian networks