Quasi-classical reasoning in paraconsistent databases

DOI10.1007/S10472-017-9536-ZMaRDI QIDQ1653451zbMATH OpenOpenAlexFDO

Authors Badrinath Jayakumar, Rajshekhar Sunderraman

Publication date 6 August 2018

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10472-017-9536-z

zbMATH Keywords

fixpoint semanticsinconsistencyparaconsistent relational modelquasi-classical logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Database theory (68P15)

Recommendations

• A paraconsistent relational data model
• Paraconsistent disjunctive deductive databases
• Computational Aspects of Quasi-Classical Entailment
• scientific article; zbMATH DE number 1844496
• COMPUTING THE WELL-FOUNDED MODEL OF DEDUCTIVE DATABASES

Cites work

• scientific article; zbMATH DE number 1696773 (Why is no real title available?)
• scientific article; zbMATH DE number 4166904 (Why is no real title available?)
• scientific article; zbMATH DE number 1183717 (Why is no real title available?)
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 1198948 (Why is no real title available?)
• scientific article; zbMATH DE number 1269580 (Why is no real title available?)
• scientific article; zbMATH DE number 591001 (Why is no real title available?)
• scientific article; zbMATH DE number 1954112 (Why is no real title available?)
• scientific article; zbMATH DE number 2079796 (Why is no real title available?)
• scientific article; zbMATH DE number 1931672 (Why is no real title available?)
• A backjumping technique for disjunctive logic programming
• A paraconsistent relational data model
• An encompassing framework for paraconsistent logic programs
• COMPUTING THE WELL-FOUNDED MODEL OF DEDUCTIVE DATABASES
• Disjunctive databases for representing repairs
• Distance-based paraconsistent logics
• Inconsistency-tolerant reasoning with OWL DL
• Logical Weak Completions of Paraconsistent Logics
• Logics of formal inconsistency
• Logics with Common Weak Completions
• Multi-valued logic and Gröbner bases with applications to modal logic
• On deductive bases for paraconsistent answer set semantics
• Paraconsistent Stable Semantics for Extended Disjunctive Programs
• Paraconsistent declarative semantics for extended logic programs
• Paraconsistent disjunctive deductive databases
• Paraconsistent logic programming
• Reasoning with contradictory information using quasi-classical logic
• Uncertain rule-based fuzzy logic systems: introduction and new directions

Cited in

(9)

• A paraconsistent relational data model
• An algebraic construction of the well-founded model
• scientific article; zbMATH DE number 2079796 (Why is no real title available?)
• scientific article; zbMATH DE number 1950746 (Why is no real title available?)
• scientific article; zbMATH DE number 2080002 (Why is no real title available?)
• Paraconsistent disjunctive deductive databases
• Computational Aspects of Quasi-Classical Entailment
• scientific article; zbMATH DE number 3874666 (Why is no real title available?)
• scientific article; zbMATH DE number 1844496 (Why is no real title available?)

This page was built for publication: Quasi-classical reasoning in paraconsistent databases

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