https://cordis.europa.eu/project/id/795119
Compositional Approximate Reasoning via Bialgebraic Semantics | CARBS | Project | Fact Sheet |...
Programming languages with probabilistic features are used extensively in computer science and beyond, to model uncertainty, perform quantitative analysis,...
approximatereasoningviasemanticscarbs