Keyphrases
- databases
- artificial intelligence
- database
- closed world assumptions
- relational databases
- knowledge discovery
- formal logic
- knowledge representation and reasoning
- case based reasoning
- classical logic
- computational logic
- data model
- sound and complete axiomatization
- intelligent systems
- logic programming
- ai community
- ai systems
- multi valued
- truth values
- defeasible logic
- database queries
- modal logic
- database management systems
- data management
- data sources