Keyphrases
- linear temporal logic
- general logic programs
- horn clauses
- first order logic
- predicate calculus
- conditional logic
- sound and complete with respect
- logic programming
- propositional dynamic logic
- higher level
- classical logic
- modal logic
- classical first order logic
- probabilistic logic
- multi valued
- finite model theory
- higher order
- data quality
- valued logic
- quantifier free
- quantifier elimination
- deontic logic
- low level
- digital circuits
- computational properties
- expressive power
- nonmonotonic logics
- set theory
- asynchronous circuits
- proof theory
- logical formulas
- defeasible logic
- boolean functions
- temporal logic
- background knowledge
- programming language
- knowledge representation
- data sets