Asynchronous Probabilistic Couplings in Higher-Order Separation Logic.
Simon Oddershede GregersenAlejandro AguirrePhilipp G. HaselwarterJoseph TassarottiLars BirkedalPublished in: Proc. ACM Program. Lang. (2024)
Keyphrases
- higher order
- higher order logic
- probabilistic logic
- asynchronous circuits
- lambda calculus
- delay insensitive
- logical inference
- probabilistic model
- natural images
- high order
- probability theory
- generative model
- pairwise
- bayesian networks
- asynchronous communication
- logic programming
- probabilistic reasoning
- low order
- modal logic
- automated reasoning
- posterior probability
- defeasible logic
- predicate logic
- probabilistic knowledge
- conditional random fields
- graphical models