Landsiedel, Christian

1 publications

JAIR 2016 Quadratization and Roof Duality of Markov Logic Networks Roderick de Nijs, Christian Landsiedel, Dirk Wollherr, Martin Buss