A SAT-based System for Consistent Query Answering.

Akhil A. Dixit Phokion G. Kolaitis

Published in: CoRR (2019)

Keyphrases

consistent query answering
answer set programming
inconsistent databases
integrity constraints
sat solvers
database
answer sets
query answering
complexity theoretic
conjunctive queries
logic programming
knowledge representation
logic programs
cost model
stable model semantics