Full First-Order Free Variable Sequents and Tableaux in Implicit Induction.
Claus-Peter WirthPublished in: TABLEAUX (1999)
Keyphrases
- linear logic
- sequent calculus
- modal logic
- classical first order logic
- first order logic
- logic programming
- higher order
- inductive logic programming
- inference rules
- conditional logic
- functional dependencies
- program synthesis
- decision procedures
- inductive learning
- horn clauses
- explanation based learning
- relational learning
- fixed point
- expert systems