Imagen de Portada

A Simple Formal Language for Probabilistic Decision Problems

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Di Lavore, Elena, Jacobs, Bart, Román, Mario
Formato:	Preprint
Publicado:	2024
Materias:	Logic in Computer Science 18M35
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Effectful Mealy Machines
por: Bonchi, Filippo, et al.
Publicado: (2024)

Timing via Pinwheel Double Categories
por: Di Lavore, Elena, et al.
Publicado: (2025)

Program Logics via Distributive Monoidal Categories
por: Bonchi, Filippo, et al.
Publicado: (2025)

Order in Partial Markov Categories
por: Di Lavore, Elena, et al.
Publicado: (2025)

Partial Markov Categories
por: Di Lavore, Elena, et al.
Publicado: (2025)

Evidential Decision Theory via Partial Markov Categories
por: Di Lavore, Elena, et al.
Publicado: (2023)

Monoidal Context Theory
por: Román, Mario
Publicado: (2024)

Coinductive Streams in Monoidal Categories
por: Di Lavore, Elena, et al.
Publicado: (2022)

Dialectica Petri Nets
por: Di Lavore, Elena, et al.
Publicado: (2021)

Graded Monad Coalgebras for Continuous-Time Transition Systems
por: Di Lavore, Elena, et al.
Publicado: (2026)

A Diagrammatic Algebra for Program Logics
por: Bonchi, Filippo, et al.
Publicado: (2024)

A Diagrammatic Basis for Computer Programming
por: Bonchi, Filippo, et al.
Publicado: (2025)

Getting Wiser from Multiple Data: Probabilistic Updating according to Jeffrey and Pearl
por: Jacobs, Bart
Publicado: (2024)

Monoidal Width
por: Di Lavore, Elena, et al.
Publicado: (2022)

Higher inductive types in $(\infty,1)$-categories
por: Uemura, Taichi
Publicado: (2024)

Monoidal bicategories, differential linear logic, and analytic functors
por: Fiore, M., et al.
Publicado: (2024)

Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming
por: Jacobs, Bart, et al.
Publicado: (2023)

The Magmoid of Normalized Stochastic Kernels
por: Di Lavore, Elena, et al.
Publicado: (2025)

A Type Theory for Probabilistic and Bayesian Reasoning
por: Adams, Robin, et al.
Publicado: (2015)

From Copying to Corelations via Ancestry Partitions
por: Santacana, Andreu Ballus
Publicado: (2025)

A Coalgebraic Model of Quantum Bisimulation
por: Ceragioli, Lorenzo, et al.
Publicado: (2025)

On a fibrational construction for optics, lenses, and Dialectica categories
por: Capucci, Matteo, et al.
Publicado: (2024)

Drawing with Distance
por: Jacobs, Bart
Publicado: (2024)

A computational method for left-adjointness
por: Forest, Simon
Publicado: (2024)

Layered Monoidal Theories I: Diagrammatic Algebra and Applications
por: Lobski, Leo, et al.
Publicado: (2026)

Layered Monoidal Theories II: Fibrational Semantics
por: Lobski, Leo, et al.
Publicado: (2026)

Solving Decision Theory Problems with Probabilistic Answer Set Programming
por: Azzolini, Damiano, et al.
Publicado: (2024)

Tape Diagrams for Monoidal Monads
por: Bonchi, Filippo, et al.
Publicado: (2025)

Hom $ω$-categories of a computad are free
por: Benjamin, Thibaut, et al.
Publicado: (2024)

Commutativity and Kleisli laws of codensity monads of probability measures
por: Shirazi, Zev
Publicado: (2024)

The Sup Connective in IMALL: A Categorical Semantics
por: Díaz-Caro, Alejandro, et al.
Publicado: (2022)

A Domain-Theoretic Foundation for Imprecise Probability and Credal Sets
por: Edalat, Abbas, et al.
Publicado: (2026)

A flexible specification approach for verifying total correctness of fine-grained concurrent modules
por: Fasse, Justus, et al.
Publicado: (2023)

First-Order Axiom Systems $\mathscr{E}_{d}$ and $\mathscr{E}_{da}$ Extending Tarski's $\mathscr{E}_{2}$ with Distance and Angle Function Symbols for Quantitative Euclidean Geometry
por: Guo, Hongyu
Publicado: (2025)

Partializations of Markov categories
por: Mohammed, Areeb Shah
Publicado: (2025)

Homotopical algebra is not concrete
por: Loregian, Fosco, et al.
Publicado: (2017)

Absolute continuity, supports and idempotent splitting in categorical probability
por: Fritz, Tobias, et al.
Publicado: (2023)

Formal Quality Measures for Predictors in Markov Decision Processes
por: Baier, Christel, et al.
Publicado: (2024)

Cubical coherent confluence, $ω$-groupoids and the cube equation
por: Malbos, Philippe, et al.
Publicado: (2025)

Generalized Chevalley criteria in simplicial homotopy type theory
por: Weinberger, Jonathan
Publicado: (2024)