scientific article; zbMATH DE number 2120026

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

• scientific article; zbMATH DE number 2089442
• 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

(7)

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

This page was built for publication:

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