Probabilistic completion of nondeterministic models

DOI10.1016/J.ENTCS.2007.02.028zbMATH Open1316.68065OpenAlexW2022168243MaRDI QIDQ5262931FDOQ5262931

Authors: G. Beaulieu 

Publication date: 10 July 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.02.028

Recommendations

• scientific article; zbMATH DE number 1759622
• scientific article
• Isomorphism theorems between models of mixed choice
• Semantic domains for combining probability and non-determinism
• Prevision Domains and Convex Powercones

zbMATH Keywords

functorial factorizationcombining categorical theoriesconvex completion with respect to a semilatticemixed choice theory

Mathematics Subject Classification ID

Continuous lattices and posets, applications (06B35) Theories (e.g., algebraic theories), structure, and semantics (18C10) Eilenberg-Moore and Kleisli constructions for monads (18C20) Semantics in the theory of computing (68Q55)

Cites Work

• Combining effects: sum and tensor
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Retracted: Semantic domains for combining probability and non-determinism
• A Powerdomain Construction
• Distributing probability over non-determinism
• Axioms for probability and nondeterminism
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebra and Coalgebra in Computer Science
• Title not available (Why is that?)

Cited In (4)

• Positive definite completion problems for Bayesian networks
• Prevision Domains and Convex Powercones
• Brief Introduction to Probabilistic Compositional Models
• A trustful monad for axiomatic reasoning with probability and nondeterminism

This page was built for publication: Probabilistic completion of nondeterministic models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5262931)