Generating Schemata of Resolution Proofs.

Vincent Aravantinos Nicolas Peltier

Published in: TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)

Keyphrases

theorem proving
consequence finding
high resolution
decision making
low resolution
machine learning
image processing
artificial neural networks
database schema
generation process
image resolution
automatically generating
formal proofs