A paraconsistent logic programming approach for querying inconsistent databases
From MaRDI portal
Publication:2463646
DOI10.1016/j.ijar.2006.09.009zbMath1133.68331MaRDI QIDQ2463646
Mônica Sakuray Pais, Sandra de Amo
Publication date: 14 December 2007
Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ijar.2006.09.009
query languages; logic programming; paraconsistent logic; deductive databases; inconsistent information
Related Items
Variations on Jaśkowski’s Discursive Logic, Unnamed Item, Heterogeneous Approximate Reasoning with Graded Truth Values, Valuation semantics for first-order logics of evidence and truth, Logical foundations and complexity of 4QL, a query language with unrestricted negation, Rule-Based Reasoning with Belief Structures, Paraconsistent Logic Programs with Four-Valued Rough Sets
Uses Software
Cites Work
- A logic for reasoning with inconsistency
- Paraconsistent declarative semantics for extended logic programs
- Formal inconsistency and evolutionary databases
- The well-founded semantics for general logic programs
- Answer sets for consistent query answering in inconsistent databases
- Logic Programming
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item