Tag : Logic

Latest News

Reasoning over Permissions Regions in Concurrent Separation Logic

Newsemia
Brotherston, J; Costa, D; Hobor, A; Wickerson, J; (2020) Reasoning over Permissions Regions in Concurrent Separation Logic. In: Computer Aided Verification. (pp. pp. 203-224). Springer:...
AI/ML

Lifted Inference in 2-Variable Markov Logic Networks with Function and Cardinality Constraints Using Discrete Fourier Transform. (arXiv:2006.03432v2 [cs.AI] UPDATED)

Newsemia
In this paper we show that inference in 2-variable Markov logic networks (MLNs) with cardinality and function constraints is domain-liftable. To obtain this result we...

This website uses cookies to improve your experience. We'll assume you're ok with this, but you can opt-out if you wish. Accept Read More

Privacy & Cookies Policy