| Publication | Date of Publication | Type |
|---|
| Towards an effective practice of learning from data and knowledge | 2024-07-24 | Paper |
| A new class of explanations for classifiers with non-binary features | 2024-05-29 | Paper |
| On the (complete) reasons behind decisions | 2023-08-16 | Paper |
| On quantifying literals in Boolean logic and its applications to explainable AI | 2022-02-07 | Paper |
| Open-world probabilistic databases: semantics, algorithms, complexity | 2021-11-02 | Paper |
| On the reasons behind decisions | 2021-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4999317 | 2021-07-06 | Paper |
| Verifying binarized neural networks by Angluin-style learning | 2020-05-20 | Paper |
| On the relative expressiveness of Bayesian and neural networks | 2020-02-26 | Paper |
| An exhaustive DPLL algorithm for model counting | 2018-05-14 | Paper |
| On pruning with the MDL score | 2017-12-22 | Paper |
| CV-width: a new complexity parameter for CNFs | 2017-07-18 | Paper |
| Learning Bayesian network parameters under equivalence constraints | 2017-02-22 | Paper |
| A differential approach to inference in Bayesian networks | 2015-11-12 | Paper |
| Modeling and Reasoning with Bayesian Networks | 2015-04-24 | Paper |
| Algorithms and Applications for the Same-Decision Probability | 2014-05-16 | Paper |
| Compiling probabilistic graphical models using sentential decision diagrams | 2013-08-05 | Paper |
| Same-decision probability: a confidence measure for threshold-based decisions | 2013-06-13 | Paper |
| On the power of clause-learning SAT solvers as resolution engines | 2011-06-17 | Paper |
| Top-down algorithms for constructing structured DNNF: theoretical and practical implications | 2011-05-11 | Paper |
| On decomposability and interaction functions | 2011-05-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2996250 | 2011-05-06 | Paper |
| Relax, compensate and then recover: a theory of anytime, approximate inference | 2010-10-01 | Paper |
| Morphing the Hugin and Shenoy-Shafer architectures | 2010-04-06 | Paper |
| On probabilistic inference by weighted model counting | 2009-07-17 | Paper |
| Modeling and Reasoning with Bayesian Networks | 2009-06-15 | Paper |
| The language of search | 2009-04-28 | Paper |
| Solving weighted Max-SAT problems in a reduced search space: a performance analysis | 2009-02-24 | Paper |
| Decomposable negation normal form | 2008-02-11 | Paper |
| On the revision of probabilistic beliefs using uncertain evidence | 2007-10-23 | Paper |
| Functional Treewidth: Bounding Complexity in the Presence of Functional Dependencies | 2007-09-04 | Paper |
| Compiling relational Bayesian networks for exact inference | 2006-08-14 | Paper |
| A differential semantics for jointree algorithms | 2006-02-07 | Paper |
| Compiling propositional weighted bases | 2006-02-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5715665 | 2006-01-04 | Paper |
| Theory and Applications of Satisfiability Testing | 2005-12-16 | Paper |
| A distance measure for bounding probabilistic belief change | 2005-04-07 | Paper |
| On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision | 2004-01-11 | Paper |
| On the logic of iterated belief revision | 2003-07-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411140 | 2003-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411139 | 2003-07-07 | Paper |
| Constant-space reasoning in dynamic Bayesian networks | 2001-10-10 | Paper |
| Recursive conditioning | 2001-08-20 | Paper |
| Inference in belief networks: A procedural guide | 1999-12-20 | Paper |
| A logical notion of conditional independence: properties and applications | 1998-08-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4397012 | 1998-06-25 | Paper |
