Keyphrases
- higher order
- general logic programs
- linear temporal logic
- horn clauses
- first order logic
- conditional logic
- probabilistic logic
- predicate logic
- predicate calculus
- classical logic
- modal logic
- multi valued
- finite model theory
- quantifier free
- logical framework
- sound and complete with respect
- logical theories
- valued logic
- classical first order logic
- sound and complete axiomatization
- context dependent
- temporal logic
- query evaluation
- data integration
- model theoretic
- computational properties
- abductive reasoning
- automated reasoning
- quantifier elimination
- situation calculus
- logic programming
- multi agent systems
- database