Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Conflict resolution of rules assigning values to virtual attributes
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Paraconsistent logic programming
Theoretical Computer Science
RI: A logic for reasoning with inconsistency
Proceedings of the Fourth Annual Symposium on Logic in computer science
Logic programs with classical negation
Logic programming
Logic programs with exceptions
Logic programming
Bilattices and the semantics of logic programming
Journal of Logic Programming
Reasoning in inconsistent database
Proceedings of the 1990 North American conference on Logic programming
Database systems: achievements and opportunities
Communications of the ACM
Foundations of disjunctive logic programming
Foundations of disjunctive logic programming
Paraconsistent disjunctive deductive databases
Theoretical Computer Science
A Petri Net Model for Reasoning in the Presence of Inconsistency
IEEE Transactions on Knowledge and Data Engineering
Signed Systems for Paraconsistent Reasoning
Journal of Automated Reasoning
A Logic Programming Approach to the Integration, Repairing and Querying of Inconsistent Databases
Proceedings of the 17th International Conference on Logic Programming
A Logic Framework for the Integration of Databases
ISMIS '02 Proceedings of the 13th International Symposium on Foundations of Intelligent Systems
Integrating and Managing Conflicting Data
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
A technique for information system integration
ISTA '01 Proceedings of the 2001 international conference on Information systems technology and its applications - Volume P-2
Consistent queries over databases with integrity constraints
Database integrity
Semantics of Normal Logic Programs and Contested Information
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Repairing and querying inconsistent databases
Effective databases for text & document management
A Logical Framework for Querying and Repairing Inconsistent Databases
IEEE Transactions on Knowledge and Data Engineering
PPDP '04 Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming
Database repairing using updates
ACM Transactions on Database Systems (TODS)
A three-valued semantics for querying and repairing inconsistent databases
Annals of Mathematics and Artificial Intelligence
Towards Relational Inconsistent Databases with Functional Dependencies
KES '08 Proceedings of the 12th international conference on Knowledge-Based Intelligent Information and Engineering Systems, Part II
Polynomial Time Queries over Inconsistent Databases
SUM '08 Proceedings of the 2nd international conference on Scalable Uncertainty Management
Recovering Consistency by Forgetting Inconsistency
JELIA '08 Proceedings of the 11th European conference on Logics in Artificial Intelligence
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Querying inconsistent databases
LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning
Prioritized active integrity constraints for database maintenance
DASFAA'07 Proceedings of the 12th international conference on Database systems for advanced applications
Polynomial time queries over inconsistent databases with functional dependencies and foreign keys
Data & Knowledge Engineering
Preferred generalized answers for inconsistent databases
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
Declarative semantics of production rules for integrity maintenance
ICLP'06 Proceedings of the 22nd international conference on Logic Programming
On the complexity of paraconsistent inference relations
Inconsistency Tolerance
A framework for merging, repairing and querying inconsistent databases
ADBIS'06 Proceedings of the 10th East European conference on Advances in Databases and Information Systems
A preferential framework for trivialization-resistant reasoning with inconsistent information
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
Hi-index | 0.00 |
Databases and knowledge bases could be inconsistent in many ways. For example, during the construction of an expert system, we may consult many different experts. Each expert may provide us with a group of rules and facts which are self-consistent. However, when we coalesce the facts and rules provided by these different experts, inconsistency may arise. Alternatively, knowledge bases may be inconsistent due to the presence of some erroneous information. Thus, a framework for reasoning about knowledge bases that contain inconsistent information is necessary. Such a framework was described in [1], [21]. However, existing frameworks for reasoning with inconsistency do not support reasoning by cases and reasoning with the law of excluded middle (everything is either true or false). In this paper, we show how reasoning with cases, and reasoning with the law of excluded middle may be captured. We develop a declarative and operational semantics for knowledge bases that are possibly inconsistent. We compare and contrast our work with work on explicit and non-monotonic modes of negation in logic programs and suggest under what circumstances one framework may be preferred over another.