research
∙
05/12/2023
Scalable Coupling of Deep Learning with Logical Reasoning
In the ongoing quest for hybridizing discrete reasoning with neural nets...
share
research
∙
11/24/2021
Efficient semidefinite bounds for multi-label discrete graphical models
By concisely representing a joint function of many variables as the comb...
research
∙
06/29/2015
Exact and approximate inference in graphical models: variable elimination and beyond
Probabilistic graphical models offer a powerful framework to account for...
research
∙
01/15/2014
Bounds Arc Consistency for Weighted CSPs
The Weighted Constraint Satisfaction Problem (WCSP) framework allows rep...
research
∙
03/13/2013
Possibilistic Constraint Satisfaction Problems or "How to handle soft constraints?"
Many AI synthesis problems such as planning or scheduling may be modeliz...
research
∙
02/27/2013