CWA formalizations in multi-valued logics

DOI10.1007/BF02943204MaRDI QIDQ5942700zbMATH OpenOpenAlexFDO

Authors Jinzhao Wu

Publication date 23 January 2002

Published in Journal of Computer Science and Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf02943204

zbMATH Keywords

closed world assumptiondeclarative abilitydeductive databaseexpressive powermany-valued logicpolynomial formpolynomial ringquery evaluation

Mathematics Subject Classification ID

Many-valued logic (03B50) Logic in computer science (03B70) Database theory (68P15)

Recommendations

• CWA extensions to multi-valued logics
• Minimalism, justification and non-monotonicity in deductive databases
• scientific article; zbMATH DE number 589696
• Representation of Partial Knowledge and Query Answering in Locally Complete Databases
• Propositional circumscription and extended closed-world reasoning are \(\Pi_ 2^ P\)-complete

Cites work

• scientific article; zbMATH DE number 1158757 (Why is no real title available?)
• scientific article; zbMATH DE number 201040 (Why is no real title available?)
• Multi-valued logic and Gröbner bases with applications to modal logic
• Negation in rule-based database languages: A survey
• Resolution-based theorem proving for many-valued logics

Cited in

(1)

• CWA extensions to multi-valued logics

This page was built for publication: CWA formalizations in multi-valued logics

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