Keyphrases
- multi valued
- logic programming
- classical logic
- automated reasoning
- object oriented
- modal logic
- delay insensitive
- procedural knowledge
- computational properties
- expressive power
- domain knowledge
- logical framework
- relational databases
- information systems
- nonmonotonic logics
- learning algorithm
- digital circuits
- predicate logic
- asynchronous circuits
- databases