Decision Procedures for Proving Inductive Theorems without Induction.
Takahito AotoSorin StratulatPublished in: PPDP (2014)
Keyphrases
- decision procedures
- inductive learning
- theorem proving
- inductive concept learning
- proof search
- functional programs
- inductive logic programming
- inductive reasoning
- modal logic
- constructive induction
- inductive inference
- automated reasoning
- machine learning
- reasoning problems
- conjunctive queries
- first order logic
- sequent calculus
- theorem prover
- knowledge representation
- satisfiability problem
- background knowledge
- data sets
- inference rules
- probabilistic reasoning
- query containment
- logic programs
- special case
- optimal solution
- tight complexity bounds