Keyphrases
- modal logic
- logic programming
- classical logic
- multi valued
- asynchronous circuits
- expert systems
- data mining
- proof theory
- computational properties
- multiscale
- data sets
- feature space
- natural language
- logical framework
- artificial intelligence
- information retrieval
- set theory
- deontic logic
- machine learning
- natural deduction
- delay insensitive
- sound and complete axiomatization