Density-Based Semantics for Reactive Probabilistic Programming.

Guillaume Baudart Louis Mandel Christine Tasson

Published in: CoRR (2023)

Keyphrases

logic programming
programming language
probabilistic model
reactive systems
clustering algorithm
formal semantics
data sets
clustering method
generative model
probabilistic logic
object oriented programming
uncertain data
bayesian networks
outlier detection
anomaly detection
multi agent
neural network