Verification of the logic of plausible reasoning
From MaRDI portal
Publication:2784642
zbMATH Open1005.03506MaRDI QIDQ2784642
Publication date: 16 October 2002
uncertaintyknowledge representationknowledge baseinference patternlabeled deductive systemlogic of plausible reasoning
Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Reasoning under uncertainty in the context of artificial intelligence (68T37)
Related Items (4)
Verification logic ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ A logic of plausible justifications
This page was built for publication: Verification of the logic of plausible reasoning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2784642)
