Machine Learner for Automated Reasoning 0.4 and 0.5.

Cezary Kaliszyk Josef Urban Jirí Vyskocil

Published in: PAAR@IJCAR (2014)

Keyphrases

automated reasoning
theorem proving
reasoning systems
knowledge representation
decision procedures
reasoning tasks
theorem prover
probabilistic reasoning
automated verification
knowledge representation and reasoning
e learning
learning process
learning environment
learning materials
message passing