Domain semantics of possibility computations
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 4179422 (Why is no real title available?)
- scientific article; zbMATH DE number 3846844 (Why is no real title available?)
- scientific article; zbMATH DE number 3733226 (Why is no real title available?)
- scientific article; zbMATH DE number 3764843 (Why is no real title available?)
- scientific article; zbMATH DE number 193123 (Why is no real title available?)
- scientific article; zbMATH DE number 3549200 (Why is no real title available?)
- scientific article; zbMATH DE number 3635472 (Why is no real title available?)
- scientific article; zbMATH DE number 1229489 (Why is no real title available?)
- scientific article; zbMATH DE number 1231572 (Why is no real title available?)
- scientific article; zbMATH DE number 1131456 (Why is no real title available?)
- scientific article; zbMATH DE number 1507341 (Why is no real title available?)
- scientific article; zbMATH DE number 3806938 (Why is no real title available?)
- scientific article; zbMATH DE number 935045 (Why is no real title available?)
- scientific article; zbMATH DE number 3367095 (Why is no real title available?)
- scientific article; zbMATH DE number 3379785 (Why is no real title available?)
- A Powerdomain Construction
- A logical approach to stable domains
- A modification of the certainty measure to handle subnormal distributions
- A type-theoretical alternative to ISWIM, CUCH, OWHY
- Additive fuzzy measures and integrals. I
- Adjoint functors and triples
- Bisimulation through probabilistic testing
- CPO's of measures for nondeterminism
- Continuous Lattices and Domains
- Domain theory, testing and simulation for labelled Markov processes
- Every Standard Construction is Induced by a Pair of Adjoint Functors
- Formalized theory of general fuzzy reasoning.
- Fuzzy measures and integrals
- Fuzzy measures and integrals in evaluation of strategies
- Fuzzy sets
- Fuzzy sets as a basis for a theory of possibility
- Kleisli morphisms and randomized congruences for the Giry monad
- Maximality and totality of stable functions in the category of stable bifinite domains
- Notions of computation and monads
- On Sugeno integral as an aggregation function
- On compactness of induced I(L)-fuzzy topological spaces
- On the logic foundation of fuzzy reasoning
- On the normalization of subnormal possibility distributions: New investigations
- Paracompactness on \(L\)-fuzzy topological spaces
- Probabilistic models for the guarded command language
- Probability measures of fuzzy events
- Programming as a Discipline of Mathematical Nature
- Quantitative semantics, topology, and possibility measures
- Reasoning about probabilistic sequential programs in a probabilistic logic
- Retracted: Semantic domains for combining probability and non-determinism
- Stochastic Relations
- Stone duality and representation of stable domain
- Unified full implication algorithms of fuzzy reasoning
- \(k\)-intolerant capacities and Choquet integrals
Cited in
(6)- A duality theorem for quantitative semantics
- Algorithmic correspondence and canonicity for possibility semantics
- Semantics of non-deterministic possibility computation
- Exponentials in a Cartesian closed category which contains all algebraic domains
- Lattice-valued Scott topology on dcpos
- Pseudo-optimal measures
This page was built for publication: Domain semantics of possibility computations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1031684)
