Understanding Resolution Proofs through Herbrand's Theorem.

Stefan Hetzl Tomer Libal Martin Riener Mikheil Rukhaia

Published in: TABLEAUX (2013)

Keyphrases

interactive theorem proving
logic programs
first order logic
theorem prover
neural network
case study
high resolution
theorem proving
data sets
real time
decision making
bayesian networks
natural language
logic programming
digital topology