Keyphrases
- logic programming
- logic programs
- classical logic
- modal logic
- multi valued
- knowledge representation
- database
- real time database systems
- transaction management
- logic programming language
- model checking
- neural network
- proof theory
- deontic logic
- natural deduction
- truth values
- transaction processing
- transaction data
- logical framework
- data management
- description logics
- case study
- data sets