| Publication | Date of Publication | Type |
|---|
Towards an effective practice of learning from data and knowledge
International Journal of Approximate Reasoning | 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
Journal of Logic, Language and Information | 2023-08-16 | Paper |
On quantifying literals in Boolean logic and its applications to explainable AI
Journal of Artificial Intelligence Research | 2022-02-07 | Paper |
Open-world probabilistic databases: semantics, algorithms, complexity
Artificial Intelligence | 2021-11-02 | Paper |
On the reasons behind decisions
(available as arXiv preprint) | 2021-07-06 | Paper |
scientific article; zbMATH DE number 7368657 (Why is no real title available?)
(available as arXiv preprint) | 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
International Journal of Approximate Reasoning | 2020-02-26 | Paper |
| An exhaustive DPLL algorithm for model counting | 2018-05-14 | Paper |
On pruning with the MDL score
International Journal of Approximate Reasoning | 2017-12-22 | Paper |
| CV-width: a new complexity parameter for CNFs | 2017-07-18 | Paper |
Learning Bayesian network parameters under equivalence constraints
Artificial Intelligence | 2017-02-22 | Paper |
A differential approach to inference in Bayesian networks
Journal of the ACM | 2015-11-12 | Paper |
| Modeling and Reasoning with Bayesian Networks | 2015-04-24 | Paper |
Algorithms and Applications for the Same-Decision Probability
Journal of Artificial Intelligence Research | 2014-05-16 | Paper |
Compiling probabilistic graphical models using sentential decision diagrams
Lecture Notes in Computer Science | 2013-08-05 | Paper |
Same-decision probability: a confidence measure for threshold-based decisions
International Journal of Approximate Reasoning | 2013-06-13 | Paper |
On the power of clause-learning SAT solvers as resolution engines
Artificial Intelligence | 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 |
| scientific article; zbMATH DE number 5885076 (Why is no real title available?) | 2011-05-06 | Paper |
Relax, compensate and then recover: a theory of anytime, approximate inference
Logics in Artificial Intelligence | 2010-10-01 | Paper |
Morphing the Hugin and Shenoy-Shafer architectures
Lecture Notes in Computer Science | 2010-04-06 | Paper |
On probabilistic inference by weighted model counting
Artificial Intelligence | 2009-07-17 | Paper |
| Modeling and Reasoning with Bayesian Networks | 2009-06-15 | Paper |
The language of search
(available as arXiv preprint) | 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
Journal of the ACM | 2008-02-11 | Paper |
On the revision of probabilistic beliefs using uncertain evidence
Artificial Intelligence | 2007-10-23 | Paper |
Functional Treewidth: Bounding Complexity in the Presence of Functional Dependencies
Lecture Notes in Computer Science | 2007-09-04 | Paper |
Compiling relational Bayesian networks for exact inference
International Journal of Approximate Reasoning | 2006-08-14 | Paper |
A differential semantics for jointree algorithms
Artificial Intelligence | 2006-02-07 | Paper |
Compiling propositional weighted bases
Artificial Intelligence | 2006-02-07 | Paper |
scientific article; zbMATH DE number 2243356 (Why is no real title available?)
(available as arXiv preprint) | 2006-01-04 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2005-12-16 | Paper |
A distance measure for bounding probabilistic belief change
International Journal of Approximate Reasoning | 2005-04-07 | Paper |
On the Tractable Counting of Theory Models and its Application to Truth Maintenance and Belief Revision
Journal of Applied Non-Classical Logics | 2004-01-11 | Paper |
On the logic of iterated belief revision
Artificial Intelligence | 2003-07-30 | Paper |
| scientific article; zbMATH DE number 1946854 (Why is no real title available?) | 2003-07-07 | Paper |
| scientific article; zbMATH DE number 1946853 (Why is no real title available?) | 2003-07-07 | Paper |
Constant-space reasoning in dynamic Bayesian networks
International Journal of Approximate Reasoning | 2001-10-10 | Paper |
Recursive conditioning
Artificial Intelligence | 2001-08-20 | Paper |
Inference in belief networks: A procedural guide
International Journal of Approximate Reasoning | 1999-12-20 | Paper |
A logical notion of conditional independence: properties and applications
Artificial Intelligence | 1998-08-13 | Paper |
| scientific article; zbMATH DE number 1168533 (Why is no real title available?) | 1998-06-25 | Paper |
