Consistent query answering via ASP from different perspectives: Theory and practice

DOI10.1017/S1471068411000640zbMath1267.68082arXiv1107.4570OpenAlexW1993398079WikidataQ59216018 ScholiaQ59216018MaRDI QIDQ5299585

Francesco Ricca, Giorgio Terracina, Marco Manna

Publication date: 26 June 2013

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1107.4570

zbMATH Keywords

data integrationanswer set programmingconsistent query answering

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

Advances in WASP, The Design of the Sixth Answer Set Programming Competition, Cautious reasoning in ASP via minimal models and unsatisfiable cores, Anytime Computation of Cautious Consequences in Answer Set Programming, Taming primary key violations to query large inconsistent data via ASP, Abstract Solvers for Computing Cautious Consequences of ASP programs, The External Interface for Extending WASP

Cites Work

• Magic Sets and their application to data integration
• First-order query rewriting for inconsistent databases
• Minimal-change integrity maintenance using tuple deletions
• Advances in database technology -- EDBT 2004. 9th international conference on extending database technology, Heraklion, Crete, Greece, March 14--18, 2004. Proceedings.
• Answer sets for consistent query answering in inconsistent databases
• The DLV system for knowledge representation and reasoning
• Experimenting with recursive queries in database and logic programming systems