Keyphrases
- general logic programs
- linear temporal logic
- conditional logic
- logic programs
- horn clauses
- first order logic
- predicate calculus
- probabilistic logic
- modal logic
- higher order
- classical first order logic
- sound and complete with respect
- classical logic
- logic programming
- finite model theory
- quantifier free
- theory revision
- defeasible logic
- asynchronous circuits
- proof theory
- logical formulas
- automated reasoning
- belief revision
- action theories
- predicate logic
- computational properties
- quantifier elimination
- logical framework
- logical theories
- multi valued
- inference rules
- knowledge base