Semantics of non-deterministic possibility computation
From MaRDI portal
Publication:1759727
DOI10.1016/j.fss.2012.01.022zbMath1253.68217OpenAlexW2084996351MaRDI QIDQ1759727
Publication date: 22 November 2012
Published in: Fuzzy Sets and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.fss.2012.01.022
formal semanticsSugeno integraldomain theorypossibility measureHoare powerdomainpossibility computation
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Retracted: Semantic domains for combining probability and non-determinism
- Domain semantics of possibility computations
- Multidimensional generalized fuzzy integral
- Default reasoning and possibility theory
- L.P.L. A fuzzy programming language. I: Syntactic aspects
- L.P.L. - A fuzzy programming language. II: Semantic aspects
- Fuzzy sets and systems. Theory and applications
- HALO --- a fuzzy programming language
- Power domains
- A family of fuzzy programming languages
- Quantitative semantics, topology, and possibility measures
- Possibility measures, integration and fuzzy possibility measures
- Probabilistic models for the guarded command language
- Reasoning about probabilistic sequential programs in a probabilistic logic
- A fuzzy language.
- On Sugeno integral as an aggregation function
- Characterizations of discrete Sugeno integrals as polynomial functions over distributive lattices
- A Powerdomain Construction
- Some Properties of Predicate Transformers
- Programming as a Discipline of Mathematical Nature
- Continuous Lattices and Domains
- Fuzzy sets
- Possibility measures and possibility integrals defined on a complete lattice
- Partial correctness for probabilistic demonic programs
This page was built for publication: Semantics of non-deterministic possibility computation