Keyphrases
- function symbols
- classical logic
- higher order
- logic programming
- modal logic
- artificial intelligence
- relational databases
- predicate logic
- global constraints
- multi valued
- horn clauses
- directional derivatives
- database
- proof theory
- nonmonotonic logics
- set theory
- computational properties
- probabilistic logic
- high order
- expert systems
- databases
- real time