Keyphrases
- linear temporal logic
- general logic programs
- horn clauses
- conditional logic
- predicate calculus
- first order logic
- predicate logic
- modal logic
- classical logic
- logic programming
- negative consequences
- sound and complete with respect
- classical first order logic
- data sets
- proof theory
- logical theories
- asynchronous circuits
- finite model theory
- probabilistic logic
- deontic logic
- logical formulas
- multi valued
- logic programs
- higher order
- database
- action theories
- model theoretic
- set theory
- natural deduction
- expert systems
- neural network
- databases