scientific article; zbMATH DE number 2120026

zbMATH Open1091.68596MaRDI QIDQ4829322FDOQ4829322

Bartłomiej Śnieżyński

Publication date: 29 November 2004

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

uncertain knowledge representation

Mathematics Subject Classification ID

Knowledge representation (68T30)

Cited In (7)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Constructive decision via redundancy-free proof-search
• Applause: An implementation of the Collins-Michalski theory of plausible reasoning
• 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)