Asynchronous Probabilistic Couplings in Higher-Order Separation Logic.
Simon Oddershede GregersenAlejandro AguirrePhilipp G. HaselwarterJoseph TassarottiLars BirkedalPublished in: CoRR (2023)
Keyphrases
- higher order
- higher order logic
- probabilistic logic
- asynchronous circuits
- delay insensitive
- probability theory
- lambda calculus
- logical inference
- high order
- generative model
- probabilistic model
- natural images
- data driven
- markov random field
- bayesian networks
- computational properties
- low order
- modal logic
- logic programming
- pairwise
- probabilistic reasoning
- classical logic
- logical framework
- digital circuits
- predicate logic
- automated reasoning
- inference rules
- maximum entropy
- information theoretic
- conditional random fields
- sound and complete axiomatization