A System for Interactive Query Answering with Answer Set Programming.
Martin GebserPhilipp ObermeierTorsten SchaubPublished in: CoRR (2013)
Keyphrases
- query answering
- answer set programming
- data exchange
- logic programs
- answer sets
- logic programming
- incomplete information
- data integration
- conjunctive queries
- data complexity
- answering queries
- reasoning tasks
- integrity constraints
- query rewriting
- stable model semantics
- knowledge representation
- stable models
- schema mappings
- data management
- deductive databases
- machine learning