10 citations · 71 across the 49 of their papers we have counts for
Showing 2016Show all
2 papers · 1 filter
cs.AI2016
Semiring Programming: A Declarative Framework for Generalized Sum Product Problems
Vaishak Belle, Luc De Raedt
To solve hard problems, AI relies on a variety of disciplines such as logic, probabilistic reasoning, machine learning and mathematical programming. Although it is widely accepted…
cs.AI2016
The Symbolic Interior Point Method
Martin Mladenov, Vaishak Belle, Kristian Kersting
A recent trend in probabilistic inference emphasizes the codification of models in a formal syntax, with suitable high-level features such as individuals, relations, and connective…