Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar.

Josef Urban Geoff Sutcliffe

Published in: AISC/MKM/Calculemus (2010)

Keyphrases

automated reasoning
reasoning systems
knowledge representation
theorem prover
theorem proving
probabilistic reasoning
decision procedures
reasoning tasks
multimedia
search space
artificial neural networks
computer assisted
temporal logic