Keyphrases
- general logic programs
- linear temporal logic
- conditional logic
- predicate calculus
- first order logic
- probabilistic logic
- sound and complete with respect
- logic programming
- horn clauses
- quantifier free
- modal logic
- predicate logic
- asynchronous circuits
- finite model theory
- classical first order logic
- classical logic
- higher order
- stochastic dominance
- multi valued
- database
- logic programs
- model theoretic
- artificial intelligence
- logical theories
- defeasible logic
- probability theory
- belief revision
- genetic algorithm