Keyphrases
- linear temporal logic
- general logic programs
- probabilistic logic
- conditional logic
- logic programming
- horn clauses
- classical logic
- quantifier free
- higher order
- predicate calculus
- sound and complete with respect
- quantifier elimination
- first order logic
- logical formulas
- logical theories
- sound and complete axiomatization
- model theoretic
- real numbers
- modal logic
- predicate logic
- abductive reasoning
- classical first order logic
- nonmonotonic reasoning
- type fuzzy logic systems
- neural network
- fuzzy sets
- temporal logic
- default reasoning
- stochastic dominance
- term rewriting
- probability theory
- logical framework
- epistemic logic
- set theory