Handling Imperfection in Databases: A Modal Logic Approach.
Michinori NakataGermano ResconiTetsuya MuraiPublished in: DEXA (1997)
Keyphrases
- modal logic
- databases
- temporal logic
- decision procedures
- inference rules
- classical logic
- conditional logic
- database
- epistemic logic
- situation calculus
- database systems
- nonmonotonic logics
- default logic
- prime implicates
- explanation based generalization
- data sources
- relational databases
- machine learning
- knowledge discovery
- dynamic logic