| Publication | Date of Publication | Type |
|---|
| 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 |
| https://portal.mardi4nfdi.de/entity/Q4999271 | 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 |
| https://portal.mardi4nfdi.de/entity/Q4639880 | 2018-05-14 | Paper |
| On pruning with the MDL score | 2017-12-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5283031 | 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 |
| https://portal.mardi4nfdi.de/entity/Q2999098 | 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 |
| Symbolic and Quantitative Approaches to Reasoning with Uncertainty | 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 |
| https://portal.mardi4nfdi.de/entity/Q3624075 | 2009-04-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3604006 | 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/Q4411139 | 2003-07-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4411140 | 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 |
