Paraconsistent reasoning based on XML

MaRDI QIDQ3415244zbMATH OpenFDO

Authors Fuxi Zhu, Changsheng Gong, Zhenkun Yu

Publication date 16 January 2007

zbMATH Keywords

annotated logicautomatic reasoningparaconsistent logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Paraconsistent logics (03B53)

Recommendations

• Automatic reasoning in paraconsistent logic
• A knowledge representation perspective: Logics for paraconsistent reasoning
• scientific article; zbMATH DE number 1269574
• Multi-agent Systems and Paraconsistent Knowledge
• Automatic theorem proving in paraconsistent logics: Theory and implementation

Cited in

(6)

• Automatic reasoning in paraconsistent logic
• Satisfiability of Constraint Specifications on XML Documents
• Multi-agent Systems and Paraconsistent Knowledge
• On the Complexity of Verifying Consistency of XML Specifications
• A knowledge representation perspective: Logics for paraconsistent reasoning
• scientific article; zbMATH DE number 1895908 (Why is no real title available?)

This page was built for publication: Paraconsistent reasoning based on XML

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