Sign in
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