Semantics of non-deterministic possibility computation (Q1759727)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Semantics of non-deterministic possibility computation |
scientific article |
Statements
Semantics of non-deterministic possibility computation (English)
0 references
22 November 2012
0 references
possibility computation
0 references
formal semantics
0 references
domain theory
0 references
Hoare powerdomain
0 references
possibility measure
0 references
Sugeno integral
0 references
0 references
