A paraconsistent logic programming approach for querying inconsistent databases

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

zbMATH Keywords

query languages; logic programming; paraconsistent logic; deductive databases; inconsistent information

Mathematics Subject Classification ID

68P15: Database theory

68N17: Logic programming

03B53: Paraconsistent logics

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

• OCaml

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