A Coinductive Approach to Proof Search.

José Espírito Santo Ralph Matthes Luís Pinto

Published in: FICS (2013)

Keyphrases

proof search
theorem prover
theorem proving
linear logic
inference rules
proof planning
search procedure
proof procedure
first order logic
sequent calculus
automated reasoning
simulated annealing
evolutionary algorithm
knowledge representation