System Description: Proof Planning in Higher-Order Logic with Lambda-Clam.
Julian RichardsonAlan SmaillIan GreenPublished in: CADE (1998)
Keyphrases
- proof planning
- higher order logic
- theorem prover
- theorem proving
- proof search
- higher order
- automated reasoning
- first order logic
- inference rules
- concept formation
- proof procedure
- logical framework
- building intelligent
- conditional logic
- evolutionary algorithm
- natural deduction
- fixed point
- predicate calculus
- reasoning systems
- search algorithm