An Approach to Query-Answering in Reiter's Default Logic and the Underlying Existence of Extensions Problem.
Thomas LinkeTorsten SchaubPublished in: JELIA (1998)
Keyphrases
- default logic
- query answering
- default theories
- data exchange
- default reasoning
- logic programming
- nonmonotonic reasoning
- autoepistemic logic
- data complexity
- integrity constraints
- answering queries
- data integration
- incomplete information
- conjunctive queries
- nonmonotonic logics
- modal logic
- fixed point
- default rules
- dl lite
- query answers
- truth maintenance systems
- defeasible logic
- classical logic
- data sources
- multi agent systems
- machine learning