Paraconsistent logic programming
Proc. of the seventh conference on Foundations of software technology and theoretical computer science
The alternating fixpoint of logic programs with negation
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Well-founded semantics coincides with three-valued stable semantics
Fundamenta Informaticae
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Well founded semantics for logic programs with explicit negation
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
A logic for reasoning with inconsistency
Journal of Automated Reasoning
ACM Transactions on Database Systems (TODS)
Consistent query answers in inconsistent databases
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Foundations of Logic Programming
Foundations of Logic Programming
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Paraconsistent Declarative Semantics for Extended Logic Programs
Annals of Mathematics and Artificial Intelligence
Making inconsistency respectable: a logical framework for inconsistency in reasoning
FAIR '91 Proceedings of the International Workshop on Fundamentals of Artificial Intelligence Research
WELL!: An Evaluation Procedure for All Logic Programs
ICDT '90 Proceedings of the Third International Conference on Database Theory
Logic Programs for Querying Inconsistent Databases
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
A Logical Framework for Integrating Inconsistent Information in Multiple Databases
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
Answer sets for consistent query answering in inconsistent databases
Theory and Practice of Logic Programming
Coherent integration of databases by abductive logic programming
Journal of Artificial Intelligence Research
Logic programs for consistently querying data integration systems
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
How to infer from inconsistent beliefs without revising
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Paraconsistent Logic Programs with Four-Valued Rough Sets
RSCTC '08 Proceedings of the 6th International Conference on Rough Sets and Current Trends in Computing
On the measure of incoherence in extended residuated logic programs
FUZZ-IEEE'09 Proceedings of the 18th international conference on Fuzzy Systems
Modeling and Reasoning with Paraconsistent Rough Sets
Fundamenta Informaticae
A framework for reasoning under uncertainty based on non-deterministic distance semantics
International Journal of Approximate Reasoning
Living with inconsistency and taming nonmonotonicity
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Epistemic profiles and belief structures
KES-AMSTA'12 Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications
Modeling and Reasoning with Paraconsistent Rough Sets
Fundamenta Informaticae
Paraconsistent reasoning for semantic web agents
Transactions on Compuational Collective Intelligence VI
Hi-index | 0.00 |
When integrating data coming from multiple different sources we are faced with the possibility of inconsistency in databases. A paraconsistent approach for knowledge base integration allows keeping inconsistent information and reasoning in its presence. In this paper, we use a paraconsistent logic (LFI1) as the underlying logic for the specification of P-Datalog, a deductive query language for databases containing inconsistent information. We present a declarative semantics which captures the desired meaning of a recursive query executed over a database containing inconsistent facts and whose rules allow inferring information from inconsistent premises. We also present a bottom-up evaluation method for P-Datalog programs based on an alternating fixpoint operator.