Keyphrases
- logic programming
- modal logic
- proof theory
- binary decision diagrams
- computational properties
- machine learning
- asynchronous circuits
- probabilistic logic
- automated reasoning
- relational databases
- database
- multi valued
- programming language
- artificial neural networks
- symbolic data
- dynamic logic
- natural deduction
- sound and complete axiomatization