A paraconsistent logic programming approach for querying inconsistent databases

DOI10.1016/J.IJAR.2006.09.009MaRDI QIDQ2463646zbMATH OpenOpenAlexFDO

Authors Sandra de Amo, Mônica Sakuray Pais

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

paraconsistent logicquery languageslogic programmingdeductive databasesinconsistent information

Mathematics Subject Classification ID

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

Recommendations

• A deductive language for querying inconsistent databases
• scientific article; zbMATH DE number 2080023
• scientific article; zbMATH DE number 4128792
• scientific article; zbMATH DE number 1269574
• scientific article; zbMATH DE number 2085288

Cites work

• scientific article; zbMATH DE number 1696845 (Why is no real title available?)
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 4160107 (Why is no real title available?)
• scientific article; zbMATH DE number 4026795 (Why is no real title available?)
• scientific article; zbMATH DE number 1735831 (Why is no real title available?)
• scientific article; zbMATH DE number 1954112 (Why is no real title available?)
• scientific article; zbMATH DE number 2019859 (Why is no real title available?)
• scientific article; zbMATH DE number 2080023 (Why is no real title available?)
• scientific article; zbMATH DE number 219215 (Why is no real title available?)
• scientific article; zbMATH DE number 839556 (Why is no real title available?)
• scientific article; zbMATH DE number 970716 (Why is no real title available?)
• scientific article; zbMATH DE number 2243355 (Why is no real title available?)
• A logic for reasoning with inconsistency
• Answer sets for consistent query answering in inconsistent databases
• Formal inconsistency and evolutionary databases
• Logic Programming
• Paraconsistent declarative semantics for extended logic programs
• The well-founded semantics for general logic programs

Cited in

(18)

• Formal inconsistency and evolutionary databases
• On the probability and cost of ignorance, inconsistency, nonsense and more
• Logical foundations and complexity of 4QL, a query language with unrestricted negation
• Applications of paraconsistency in data and knowledge bases
• scientific article; zbMATH DE number 2085288 (Why is no real title available?)
• Heterogeneous approximate reasoning with graded truth values
• scientific article; zbMATH DE number 1950746 (Why is no real title available?)
• scientific article; zbMATH DE number 2086471 (Why is no real title available?)
• Variations on Jaśkowski's discursive logic
• Modeling and shadowing paraconsistent BDI agents
• Paraconsistent inference from data using existential \(\Omega \)-entailment
• Paraconsistent disjunctive deductive databases
• A deductive language for querying inconsistent databases
• Paraconsistent Logic Programs with Four-Valued Rough Sets
• Valuation semantics for first-order logics of evidence and truth
• How does incoherence affect inconsistency-tolerant semantics for Datalog\(^\pm\)?
• scientific article; zbMATH DE number 2080023 (Why is no real title available?)
• Rule-based reasoning with belief structures

Describes a project that uses

Uses Software

• OCaml

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2463646)