Domain semantics of possibility computations
From MaRDI portal
Publication:1031684
DOI10.1016/j.ins.2008.01.016zbMath1185.68403OpenAlexW2040999334MaRDI QIDQ1031684
Publication date: 30 October 2009
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ins.2008.01.016
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)
Related Items
Pseudo-optimal measures, Lattice-valued Scott topology on dcpos, A Duality Theorem for Quantitative Semantics, Semantics of non-deterministic possibility computation, Exponentials in a Cartesian closed category which contains all algebraic domains
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Retracted: Semantic domains for combining probability and non-determinism
- Notions of computation and monads
- Fuzzy measures and integrals
- \(k\)-intolerant capacities and Choquet integrals
- A logical approach to stable domains
- Kleisli morphisms and randomized congruences for the Giry monad
- Additive fuzzy measures and integrals. I
- A modification of the certainty measure to handle subnormal distributions
- CPO's of measures for nondeterminism
- Bisimulation through probabilistic testing
- Fuzzy sets as a basis for a theory of possibility
- On compactness of induced \(I(L)\)-fuzzy topological spaces
- Quantitative semantics, topology, and possibility measures
- Paracompactness on \(L\)-fuzzy topological spaces
- A type-theoretical alternative to ISWIM, CUCH, OWHY
- Probabilistic models for the guarded command language
- Stone duality and representation of stable domain
- Reasoning about probabilistic sequential programs in a probabilistic logic
- Formalized theory of general fuzzy reasoning.
- On Sugeno integral as an aggregation function
- Domain theory, testing and simulation for labelled Markov processes
- On the logic foundation of fuzzy reasoning
- Fuzzy measures and integrals in evaluation of strategies
- Unified full implication algorithms of fuzzy reasoning
- Maximality and totality of stable functions in the category of stable bifinite domains
- Adjoint functors and triples
- Probability measures of fuzzy events
- On the normalization of subnormal possibility distributions: New investigations
- A Powerdomain Construction
- Programming as a Discipline of Mathematical Nature
- Continuous Lattices and Domains
- Stochastic Relations
- Every Standard Construction is Induced by a Pair of Adjoint Functors
- Fuzzy sets
