Keyphrases
- modal logic
- multi valued
- classical logic
- real time
- multi agent
- logic programming
- user preferences
- multi attribute
- predicate logic
- computational properties
- digital circuits
- delay insensitive
- database
- proof theory
- personality traits
- nonmonotonic logics
- logical framework
- probabilistic logic
- multiple criteria
- multi criteria