Query-Answering in Prioritized Default Logic.
Farid BenhammadiPascal NicolasTorsten SchaubPublished in: ESCQARU (1999)
Keyphrases
- query answering
- default logic
- data exchange
- default theories
- default reasoning
- nonmonotonic reasoning
- integrity constraints
- logic programming
- conjunctive queries
- incomplete information
- autoepistemic logic
- data complexity
- data integration
- nonmonotonic logics
- answering queries
- classical logic
- default rules
- modal logic
- fixed point
- knowledge representation
- schema mappings
- query rewriting
- dl lite
- data management
- defeasible logic
- decision procedures
- general purpose
- machine learning
- query answers
- database