Default Databases: Extending the Approach of Deductive Databases Using Default Logic.
Anthony HunterPeter McBrienPublished in: Data Knowl. Eng. (1998)
Keyphrases
- deductive databases
- default logic
- logic programming
- default rules
- databases
- nonmonotonic reasoning
- commonsense reasoning
- event calculus
- logic programs
- default theories
- default reasoning
- integrity constraints
- disjunctive deductive databases
- autoepistemic logic
- nonmonotonic logics
- fixpoint
- semantic query optimization
- query evaluation
- closed world assumption
- database
- relational databases
- answer set programming
- knowledge representation
- classical logic
- model theoretic
- stable models
- data management
- knowledge base
- programming language
- knowledge representation and reasoning
- database systems
- normal logic programs
- modal logic
- defeasible logic
- probabilistic reasoning
- fixed point
- data warehouse
- semantics of logic programs