Keyphrases
- general logic programs
- linear temporal logic
- horn clauses
- conditional logic
- sound and complete with respect
- modal logic
- predicate calculus
- first order logic
- classical first order logic
- term rewriting
- probabilistic logic
- classical logic
- proof theory
- expert systems
- logical theories
- hybrid approaches
- multi valued
- automated reasoning
- hybrid learning
- higher order
- model theoretic
- nonmonotonic logics
- logical formulas
- defeasible logic
- genetic algorithm