3 papers
cs.AI2020
Partial Queries for Constraint Acquisition
Christian Bessiere, Clement Carbonnel, Anton Dries +8
Learning constraint networks is known to require a number of membership queries exponential in the number of variables. In this paper, we learn constraint networks by asking the us…
cs.AI2018
Knowledge Compilation with Continuous Random Variables and its Application in Hybrid Probabilistic Logic Programming
Pedro Zuidberg Dos Martires, Anton Dries, Luc De Raedt
In probabilistic reasoning, the traditionally discrete domain has been elevated to the hybrid domain encompassing additionally continuous random variables. Inference in the hybrid…
cs.AI2017
Sketched Answer Set Programming
Sergey Paramonov, Christian Bessiere, Anton Dries +1
Answer Set Programming (ASP) is a powerful modeling formalism for combinatorial problems. However, writing ASP models is not trivial. We propose a novel method, called Sketched Ans…