Avoiding Misconstruals in Database Systems: A Default Logic Approach.
Andrea S. HemerlyMarco A. CasanovaAntonio L. FurtadoPublished in: IEEE Trans. Knowl. Data Eng. (1993)
Keyphrases
- default logic
- database systems
- default theories
- nonmonotonic reasoning
- default reasoning
- nonmonotonic logics
- logic programming
- autoepistemic logic
- default rules
- fixed point
- modal logic
- database
- classical logic
- databases
- query processing
- extended logic programs
- data model
- truth maintenance systems
- background knowledge
- software engineering
- defeasible logic
- reinforcement learning
- high level