Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar
Josef UrbanGeoff SutcliffePublished in: CoRR (2010)
Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- theorem prover
- theorem proving
- reasoning tasks
- probabilistic reasoning
- decision procedures
- general purpose
- prime implicants
- neural network
- graphical models
- automated verification
- state space
- np hard
- special case
- lower bound
- learning algorithm
- machine learning
- data mining