Machine Learner for Automated Reasoning 0.4 and 0.5.
Cezary KaliszykJosef UrbanJirí VyskocilPublished in: CoRR (2014)
Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- reasoning tasks
- decision procedures
- probabilistic reasoning
- theorem proving
- theorem prover
- automated verification
- learning process
- e learning
- learning environment
- knowledge representation and reasoning
- learning materials
- neural network
- expert systems
- bayesian networks
- human teacher