Author of the publication

Combining Stochastic Constraint Optimization and Probabilistic Programming - From Knowledge Compilation to Constraint Solving.

, , , , , and . CP, volume 10416 of Lecture Notes in Computer Science, page 495-511. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Inference and learning in probabilistic logic programs using weighted Boolean formulas, , , , , , , and . TPLP, 15 (3): 358--401 (2015)Lifted Generative Learning of Markov Logic Networks, , , and . Machine Learning, (2015)(to appear).Completeness Results for Lifted Variable Elimination, , , , and . Proceedings of the Sixteenth International Conference on Artificial Intelligence and Statistics (AISTATS), page 572--580. (2013)Reports of the AAAI 2014 Conference Workshops., , , , , , , , , and 24 other author(s). AI Mag., 36 (1): 87-98 (2015)SE4ML - Software Engineering for AI-ML-based Systems (Dagstuhl Seminar 20091)., , , and . Dagstuhl Reports, 10 (2): 76-87 (2020)Strudel: A fast and accurate learner of structured-decomposable probabilistic circuits., , and . Int. J. Approx. Reason., (2022)On the Tractability of SHAP Explanations., , , and . J. Artif. Intell. Res., (2022)Open-world probabilistic databases: Semantics, algorithms, complexity., , and . Artif. Intell., (2021)Expressive Modeling Is Insufficient for Offline RL: A Tractable Inference Perspective., , , and . CoRR, (2023)Collapsed Inference for Bayesian Deep Learning., and . CoRR, (2023)