Narrowing Based Inductive Proof Search.

Claude Kirchner Hélène Kirchner Fabrice Nahon

Published in: Programming Logics (2013)

Keyphrases

proof search
theorem prover
theorem proving
linear logic
inference rules

proof planning
search procedure
machine learning
sequent calculus
first order logic

proof procedure
automated reasoning
knowledge representation
inductive logic programming

probabilistic reasoning
natural deduction
decision procedures
evolutionary algorithm