Keyphrases
- database language
- classical logic
- relational data
- predicate logic
- relational databases
- logic programming
- multi valued
- exact solution
- natural deduction
- relational structures
- modal logic
- neural network
- databases
- piecewise linear
- temporal logic
- automated reasoning
- information systems
- logical framework
- machine learning
- set theory
- deontic logic
- asynchronous circuits
- data sets
- real time