Keyphrases
- automated reasoning
- neural network
- reasoning systems
- knowledge representation
- theorem prover
- theorem proving
- automated verification
- probabilistic reasoning
- decision procedures
- artificial neural networks
- reasoning tasks
- back propagation
- neural network model
- knowledge representation and reasoning
- radial basis function
- fuzzy logic
- first order logic
- probability distribution
- bayesian networks