Keyphrases
- query answering
- logic programming
- logic programs
- data exchange
- knowledge representation
- integrity constraints
- deductive databases
- conjunctive queries
- answering queries
- nonmonotonic reasoning
- answer set programming
- data integration
- data complexity
- logic programming language
- incomplete information
- belief revision
- reasoning tasks
- knowledge base
- default logic
- belief functions
- programming language
- answer sets
- stable models
- query rewriting
- probabilistic reasoning
- schema mappings
- dl lite
- inductive logic programming
- data sources
- artificial intelligence