Keyphrases
- weight assignment
- rough sets
- proof theory
- multi valued
- modal logic
- description logics
- logic programming
- automated reasoning
- databases
- classical logic
- artificial intelligence
- logical operations
- neural network
- search engine
- probability theory
- logical framework
- predicate logic
- deontic logic
- asynchronous circuits
- linear temporal logic