Keyphrases
- logic programming
- modal logic
- multi valued
- classical logic
- proof theory
- image processing
- predicate logic
- nonmonotonic logics
- automated reasoning
- deductive reasoning
- real time
- logic synthesis
- asynchronous circuits
- modal operators
- set theory
- default reasoning
- artificial neural networks
- multi agent systems
- database systems
- artificial intelligence
- data mining
- real world