Keyphrases
- object oriented
- knowledge representation
- logic programming
- modal logic
- automated reasoning
- logical framework
- computational properties
- object oriented databases
- multi valued
- probabilistic logic
- classical logic
- asynchronous circuits
- database
- deontic logic
- nonmonotonic logics
- description logics
- bayesian networks
- database systems
- real world