Keyphrases
- interactive theorem proving
- logic programs
- logic programming
- inductive logic programming
- first order logic
- theorem proving
- knowledge representation
- horn clauses
- theorem prover
- function symbols
- inductive inference
- equational theories
- formal proof
- statistical relational learning
- inductive learning
- decision procedures
- functional programs
- digital topology
- inductive reasoning
- search algorithm
- automated theorem provers
- formal proofs
- natural deduction
- von neumann
- rule learning
- computer programs
- concept learning
- answer set programming