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 (7)

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

This page was built for publication: Consistent query answering via ASP from different perspectives: Theory and practice