Keyphrases
- database
- propositional dynamic logic
- classical logic
- modal logic
- logic programming
- asynchronous circuits
- data sets
- proof theory
- artificial intelligence
- electronic commerce
- concurrency control
- temporal logic
- information systems
- transaction processing
- probabilistic logic
- logical framework
- defeasible logic
- transaction data
- data mining
- neural network
- databases