Keyphrases
- databases
- database
- closed world assumptions
- database applications
- predicate logic
- data management
- knowledge discovery
- defeasible logic
- automated reasoning
- database systems
- information systems
- artificial intelligence
- real time
- evolutionary algorithm
- relational databases
- multimedia
- modal logic
- classical logic
- machine learning
- asynchronous circuits