Keyphrases
- decision procedures
- horn clauses
- first order logic
- theorem proving
- classical first order logic
- model theoretic
- modal logic
- decomposable negation normal form
- higher order
- propositional theories
- inference rules
- linear interpolation
- automated reasoning
- inductive logic programming
- constraint propagation
- functional dependencies
- defeasible logic
- image interpolation
- logic programs
- interpolation method
- conditional logic
- logic programming
- piecewise polynomial
- interpolation methods
- neural network
- quantifier elimination
- database
- stochastic dominance
- prime implicates
- machine learning
- model checking
- conjunctive queries