Proof searching algorithm for the logic of plausible reasoning (Q4829322)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 2120026
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Proof searching algorithm for the logic of plausible reasoning |
scientific article; zbMATH DE number 2120026 |
Statements
29 November 2004
0 references
uncertain knowledge representation
0 references
0.8174688816070557
0 references
0.8149662017822266
0 references
0.7477911114692688
0 references
Proof searching algorithm for the logic of plausible reasoning (English)
0 references
