Proof Search and Proof Check for Equational and Inductive Theorems.

Eric Deplagne Claude Kirchner Hélène Kirchner Quang Huy Nguyen

Published in: CADE (2003)

Keyphrases

proof search
theorem proving
theorem prover
proof planning
inference rules
first order logic
proof procedure
automated reasoning
linear logic
decision procedures
inductive logic programming
knowledge representation
neural network
artificial intelligence
genetic algorithm
formal semantics
machine learning