Range-Restricted and Horn Interpolation through Clausal Tableaux.
Christoph WernhardPublished in: TABLEAUX (2023)
Keyphrases
- decision procedures
- horn clauses
- knowledge compilation
- wide range
- np hard
- image interpolation
- inductive logic programming
- theorem proving
- knowledge base
- modal logic
- interpolation methods
- defeasible logic
- functional dependencies
- color images
- propositional logic
- range data
- np complete
- logic programs
- temporal resolution
- data model
- horn theories