Keyphrases
- database
- logic programming
- automated reasoning
- concurrency control
- modal logic
- database transactions
- proof theory
- knowledge representation
- transaction processing
- logical framework
- predicate logic
- multi valued
- asynchronous circuits
- epistemic logic
- formal theory
- set theory
- computational properties
- electronic commerce
- data mining
- neural network