Automatic Generation of Proof Problems in Deductive Logic.

Behrooz Mostafavi Tiffany Barnes Marvin J. Croy

Published in: EDM (2011)

Keyphrases

information systems
problems involving
linear logic
geometry theorem proving
bayesian networks
multi agent
query language
knowledge representation
np complete
theorem proving
solving problems
proof theory
proof search