Keyphrases
- general logic programs
- linear temporal logic
- horn clauses
- first order logic
- conditional logic
- predicate calculus
- probabilistic logic
- classical first order logic
- finite model theory
- higher order
- logic programming
- pairwise
- automated reasoning
- modal logic
- logic programs
- sound and complete with respect
- candidate pairs
- logical formulas
- classical logic
- quantifier free
- stochastic dominance
- term rewriting
- nonmonotonic reasoning
- predicate logic
- computational properties
- dynamic logic
- belief revision
- logical framework
- neural network