Proof searching algorithm for the logic of plausible reasoning

MaRDI QIDQ4829322zbMATH OpenFDO

Authors Bartłomiej Śnieżyński

Publication date 29 November 2004

zbMATH Keywords

uncertain knowledge representation

Mathematics Subject Classification ID

Knowledge representation (68T30)

Recommendations

• Basic semantics of the logic of plausible reasoning
• Verification of the logic of plausible reasoning
• scientific article; zbMATH DE number 2079519
• scientific article; zbMATH DE number 4045245
• Informational logic as a tool for automated reasoning

Cited in

(8)

• Informational logic as a tool for automated reasoning
• Proof finding algorithms for implicational logics
• Verification of the logic of plausible reasoning
• Basic semantics of the logic of plausible reasoning
• scientific article; zbMATH DE number 4045245 (Why is no real title available?)
• scientific article; zbMATH DE number 2079519 (Why is no real title available?)
• Constructive decision via redundancy-free proof-search
• Applause: An implementation of the Collins-Michalski theory of plausible reasoning

This page was built for publication: Proof searching algorithm for the logic of plausible reasoning

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