Inductive Theorem Proving meets Dependency Pairs.
Stephan SwiderskiMichael PartingJürgen GieslCarsten FuhsPeter Schneider-KampPublished in: Interaction versus Automation: The two Faces of Deduction (2009)
Keyphrases
- theorem proving
- first order logic
- automated reasoning
- automatic programming
- inference rules
- automated deduction
- automated theorem proving
- decision procedures
- term rewriting
- theorem prover
- proof planning
- logical inference
- inductive logic programming
- proof procedure
- dependency relations
- parallel search
- consequence finding
- geometry theorem proving
- combinatorial search
- predicate calculus
- knowledge representation
- pairwise
- distributed search
- knowledge base
- equational theories
- propositional logic
- expert systems
- natural language
- artificial intelligence
- data mining