A paraconsistent logic programming approach for querying inconsistent databases

DOI10.1016/j.ijar.2006.09.009zbMath1133.68331OpenAlexW2132212656MaRDI 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 languageslogic programmingparaconsistent logicdeductive databasesinconsistent information

Mathematics Subject Classification ID

Database theory (68P15) Logic programming (68N17) Paraconsistent logics (03B53)

Related Items (7)

Logical foundations and complexity of 4QL, a query language with unrestricted negation ⋮ Heterogeneous Approximate Reasoning with Graded Truth Values ⋮ Variations on Jaśkowski’s Discursive Logic ⋮ Paraconsistent Logic Programs with Four-Valued Rough Sets ⋮ Unnamed Item ⋮ Rule-Based Reasoning with Belief Structures ⋮ Valuation semantics for first-order logics of evidence and truth

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

This page was built for publication: A paraconsistent logic programming approach for querying inconsistent databases