Login / Signup
Optimization of Answer Set Programs for Consistent Query Answering by Means of First-Order Rewriting.
Aziz Amezian El Khalfioui
Jonathan Joertz
Dorian Labeeuw
Gaëtan Staquet
Jef Wijsen
Published in:
CIKM (2020)
Keyphrases
</>
answer set programs
consistent query answering
answer set programming
answer sets
logic programs
conjunctive queries
stable models
integrity constraints
logic programming
update operators
database
first order logic
query rewriting