A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques (Q2450651)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques |
scientific article |
Statements
A logic with imprecise probabilities and an application to automated reasoning using rewriting techniques (English)
0 references
14 May 2014
0 references
nonclassical logics
0 references
imprecise probabilities
0 references
approximate reasoning
0 references
rewriting techniques
0 references
