A paraconsistent logic programming approach for querying inconsistent databases

DOI10.1016/J.IJAR.2006.09.009zbMATH Open1133.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

paraconsistent logicquery languageslogic programmingdeductive databasesinconsistent information

Mathematics Subject Classification ID

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

Cites Work

• The well-founded semantics for general logic programs
• Answer sets for consistent query answering in inconsistent databases
• Formal inconsistency and evolutionary databases
• Logic Programming
• A logic for reasoning with inconsistency
• Paraconsistent declarative semantics for extended logic programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (12)

• Variations on Jaśkowski’s Discursive Logic
• Logical foundations and complexity of 4QL, a query language with unrestricted negation
• Title not available (Why is that?)
• Rule-Based Reasoning with Belief Structures
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modeling and shadowing paraconsistent BDI agents
• Paraconsistent Logic Programs with Four-Valued Rough Sets
• Title not available (Why is that?)
• Valuation semantics for first-order logics of evidence and truth
• How does incoherence affect inconsistency-tolerant semantics for Datalog\(^\pm\)?
• Heterogeneous Approximate Reasoning with Graded Truth Values

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)