Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Paraconsistent logic programming
Theoretical Computer Science
Theory of generalized annotated logic programming and its applications
Journal of Logic Programming
A logic for reasoning with inconsistency
Journal of Automated Reasoning
ACM Transactions on Database Systems (TODS)
Proceedings of the eleventh international conference on Logic programming
First-order logic and automated theorem proving (2nd ed.)
First-order logic and automated theorem proving (2nd ed.)
Disjunctive stable models: unfounded sets, fixpoint semantics, and computation
Information and Computation
Theoretical Computer Science - Special issue: database theory
Consistent query answers in inconsistent databases
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A survey of paraconsistent semantics for logic programs
Handbook of defeasible reasoning and uncertainty management systems
Declarative problem-solving in DLV
Logic-based artificial intelligence
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Programming with non-determinism in deductive databases
Annals of Mathematics and Artificial Intelligence
A Model-Theoretic Approach for Recovering Consistent Data from Inconsistent Knowledge Bases
Journal of Automated Reasoning
Combining Multiple Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Enhancing Disjunctive Datalog by Constraints
IEEE Transactions on Knowledge and Data Engineering
DATALOG Queries with Stratified Negation and Choice: from P to DP
ICDT '95 Proceedings of the 5th International Conference on Database Theory
A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases
Proceedings of the 17th International Conference on Logic Programming
Logic Programs for Querying Inconsistent Databases
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
Query Answering in Information Systems with Integrity Constraints
Proceedings of the IFIP TC11 Working Group 11.5, First Working Conference on Integrity and Internal Control in Information Systems: Increasing the confidence in Information Systems
Computing Repairs for Inconsistent Databases
CODAS '01 Proceedings of the Third International Symposium on Cooperative Database Systems for Advanced Applications
Computing consistent query answers using conflict hypergraphs
Proceedings of the thirteenth ACM international conference on Information and knowledge management
Consistent query answering under inclusion dependencies
CASCON '04 Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research
Minimal-change integrity maintenance using tuple deletions
Information and Computation
Database repairing using updates
ACM Transactions on Database Systems (TODS)
Computational methods for database repair by signed formulae*
Annals of Mathematics and Artificial Intelligence
Consistent query answering in databases
ACM SIGMOD Record
From complete to incomplete information and back
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
Consistent data for inconsistent XML document
Information and Software Technology
Distance semantics for database repair
Annals of Mathematics and Artificial Intelligence
A paraconsistent logic programming approach for querying inconsistent databases
International Journal of Approximate Reasoning
Extending dependencies with conditions
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
A three-valued semantics for querying and repairing inconsistent databases
Annals of Mathematics and Artificial Intelligence
Conditional functional dependencies for capturing data inconsistencies
ACM Transactions on Database Systems (TODS)
Repair localization for query answering from inconsistent databases
ACM Transactions on Database Systems (TODS)
Dependencies revisited for improving data quality
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Distance-based paraconsistent logics
International Journal of Approximate Reasoning
World-set decompositions: Expressiveness and efficient algorithms
Theoretical Computer Science
Rough Sets and Approximation Schemes
RSEISP '07 Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms
The Consistency Extractor System: Querying Inconsistent Databases Using Answer Set Programs
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
Preferred Database Repairs Under Aggregate Constraints
SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
Reasoning with Uncertainty by Nmatrix---Metric Semantics
WoLLIC '08 Proceedings of the 15th international workshop on Logic, Language, Information and Computation
Consistent Query Answering: The First Ten Years
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Semandaq: a data quality system based on conditional functional dependencies
Proceedings of the VLDB Endowment
Approximation Schemes in Logic and Artificial Intelligence
Transactions on Rough Sets IX
On approximating optimum repairs for functional dependency violations
Proceedings of the 12th International Conference on Database Theory
Distance-Based Non-Deterministic Semantics
Proceedings of the 2008 conference on Artificial General Intelligence 2008: Proceedings of the First AGI Conference
Coherent integration of databases by abductive logic programming
Journal of Artificial Intelligence Research
Consistent query answers in the presence of universal constraints
Information Systems
Representing uncertain data: models, properties, and algorithms
The VLDB Journal — The International Journal on Very Large Data Bases
Minimal-change integrity maintenance using tuple deletions
Information and Computation
Querying and repairing inconsistent numerical databases
ACM Transactions on Database Systems (TODS)
Proceedings of the 2nd international conference on Semantics in databases
Towards unifying semantic constraints and security constraints
Proceedings of the 2nd international conference on Semantics in databases
The consistency extractor system: Answer set programs for consistent query answering in databases
Data & Knowledge Engineering
Querying and repairing inconsistent databases under three-valued semantics
ICLP'07 Proceedings of the 23rd international conference on Logic programming
The semantics of consistency and trust in peer data exchange systems
LPAR'07 Proceedings of the 14th international conference on Logic for programming, artificial intelligence and reasoning
Prioritized active integrity constraints for database maintenance
DASFAA'07 Proceedings of the 12th international conference on Database systems for advanced applications
Disjunctive databases for representing repairs
Annals of Mathematics and Artificial Intelligence
Exploiting conflict structures in inconsistent databases
ADBIS'10 Proceedings of the 14th east European conference on Advances in databases and information systems
Consistent answers to boolean aggregate queries under aggregate constraints
DEXA'10 Proceedings of the 21st international conference on Database and expert systems applications: Part II
Range-consistent answers of aggregate queries under aggregate constraints
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
Efficient policy-based inconsistency management in relational knowledge bases
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
Handling dirty databases: from user warning to data cleaning -- towards an interactive approach
SUM'10 Proceedings of the 4th international conference on Scalable uncertainty management
Data cleaning and query answering with matching dependencies and matching functions
Proceedings of the 14th International Conference on Database Theory
Interaction between record matching and data repairing
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Theoretical Computer Science
Certain answers for views and queries expressed as non-recursive datalog programs with negation
ACIIDS'11 Proceedings of the Third international conference on Intelligent information and database systems - Volume Part I
Consistency and provenance in rule processing
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Data integration and answer set programming
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
An ID-logic formalization of the composition of autonomous databases
LPNMR'05 Proceedings of the 8th international conference on Logic Programming and Nonmonotonic Reasoning
Consistent query answering: five easy pieces
ICDT'07 Proceedings of the 11th international conference on Database Theory
ICDT'07 Proceedings of the 11th international conference on Database Theory
World-set decompositions: expressiveness and efficient algorithms
ICDT'07 Proceedings of the 11th international conference on Database Theory
Distance-Based repairs of databases
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
Consistent query answers on numerical databases under aggregate constraints
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
Consistent query answers in virtual data integration systems
Inconsistency Tolerance
On the computational complexity of minimal-change integrity maintenance in relational databases
Inconsistency Tolerance
Inconsistency issues in spatial databases
Inconsistency Tolerance
Active integrity constraints and revision programming
Theory and Practice of Logic Programming
Models for incomplete and probabilistic information
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Semantically correct query answers in the presence of null values
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
Project-Join-Repair: an approach to consistent query answering under functional dependencies
FQAS'06 Proceedings of the 7th international conference on Flexible Query Answering Systems
Independent update reflections on interdependent database views
Conceptual Modelling and Its Theoretical Foundations
Towards certain fixes with editing rules and master data
The VLDB Journal — The International Journal on Very Large Data Bases
Detecting suspect answers in the presence of inconsistent information
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
Probabilistic query answering over inconsistent databases
Annals of Mathematics and Artificial Intelligence
Repairing inconsistent dimensions in data warehouses
Data & Knowledge Engineering
Query rewriting using datalog for duplicate resolution
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
The data analytics group at the qatar computing research institute
ACM SIGMOD Record
NADEEF: a commodity data cleaning system
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
Efficient querying of inconsistent databases with binary integer programming
Proceedings of the VLDB Endowment
Belief revision within fragments of propositional logic
Journal of Computer and System Sciences
Extending inclusion dependencies with conditions
Theoretical Computer Science
Policy-based inconsistency management in relational databases
International Journal of Approximate Reasoning
Hi-index | 0.00 |
A relational database is inconsistent if it does not satisfy a given set of integrity constraints. Nevertheless, it is likely that most of the data in it is consistent with the constraints. In this paper we apply logic programming based on answer sets to the problem of retrieving consistent information from a possibly inconsistent database. Since consistent information persists from the original database to every of its minimal repairs, the approach is based on a specification of database repairs using disjunctive logic programs with exceptions, whose answer set semantics can be represented and computed by systems that implement stable model semantics. These programs allow us to declare persistence by default of data from the original instance to the repairs; and changes to restore consistency, by exceptions. We concentrate mainly on logic programs for binary integrity constraints, among which we find most of the integrity constraints found in practice.