Automatic Generation of Deductive Logic Proof Problems.

Behrooz Mostafavi

Published in: AIED (2011)

Keyphrases

linear logic
object oriented
optimization problems
np complete
benchmark problems
problems involving
databases
data mining
database systems
search space
state space
proof theoretic