Inductive proof search modulo.

Fabrice Nahon Claude Kirchner Hélène Kirchner Paul Brauner

Published in: Ann. Math. Artif. Intell. (2009)

Keyphrases

proof search
theorem prover
theorem proving
linear logic
inference rules
proof planning
search procedure
proof procedure
machine learning
first order logic
inductive logic programming
sequent calculus
evolutionary algorithm
automated reasoning