Extension Calculus and Query Answering in Prioritized Default Logic.
Farid BenhammadiPascal NicolasTorsten SchaubPublished in: AIMSA (1998)
Keyphrases
- query answering
- default logic
- default theories
- data exchange
- logic programming
- nonmonotonic reasoning
- incomplete information
- nonmonotonic logics
- default reasoning
- default rules
- truth maintenance systems
- conjunctive queries
- data complexity
- autoepistemic logic
- data integration
- integrity constraints
- answering queries
- query answers
- fixed point
- modal logic
- schema mappings
- classical logic
- data management
- dl lite
- logic programs