Combining Default Logic Databases.
Chitta BaralSarit KrausJack MinkerV. S. SubrahmanianPublished in: Int. J. Cooperative Inf. Syst. (1994)
Keyphrases
- default logic
- databases
- default theories
- nonmonotonic reasoning
- default reasoning
- logic programming
- autoepistemic logic
- nonmonotonic logics
- default rules
- modal logic
- fixed point
- relational databases
- extended logic programs
- database
- data model
- classical logic
- defeasible logic
- database systems
- artificial intelligence
- belief revision
- general purpose
- natural language