no code implementations • 14 Mar 2020 • Christian Bessiere, Clement Carbonnel, Anton Dries, Emmanuel Hebrard, George Katsirelos, Nadjib Lazaar, Nina Narodytska, Claude-Guy Quimper, Kostas Stergiou, Dimosthenis C. Tsouros, Toby Walsh
Learning constraint networks is known to require a number of membership queries exponential in the number of variables.
no code implementations • 2 Jul 2018 • 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.
1 code implementation • 21 May 2017 • Sergey Paramonov, Christian Bessiere, Anton Dries, Luc De Raedt
Answer Set Programming (ASP) is a powerful modeling formalism for combinatorial problems.