Interaction and Depth against Nondeterminism in Proof Search.

Ozan Kahramanogullari

Published in: Log. Methods Comput. Sci. (2014)

Keyphrases

proof search
linear logic
theorem proving
inference rules
proof planning
sequent calculus
neural network
machine learning
artificial intelligence
expert systems
theorem prover
proof procedure