Keyphrases
- logic programming
- modal logic
- predicate logic
- classical logic
- automated reasoning
- databases
- sound and complete axiomatization
- asynchronous circuits
- neural network
- relational databases
- expert systems
- probabilistic logic
- data structure
- set theory
- decision making
- formal theory
- epistemic logic
- dynamic logic
- natural deduction
- proof theory
- data sets