research
∙
03/08/2022
Why we should interpret density matrices as moment matrices: the case of (in)distinguishable particles and the emergence of classical reality
We introduce a formulation of quantum theory (QT) as a general probabili...
share
research
∙
01/20/2022
Belief Revision in Sentential Decision Diagrams
Belief revision is the task of modifying a knowledge base when new infor...
research
∙
07/26/2021
Structural Learning of Probabilistic Sentential Decision Diagrams under Partial Closed-World Assumption
Probabilistic sentential decision diagrams are a class of structured-dec...
research
∙
03/08/2021
Robust Model Checking with Imprecise Markov Reward Models
In recent years probabilistic model checking has become an important are...
research
∙
08/19/2020
Tractable Inference in Credal Sentential Decision Diagrams
Probabilistic sentential decision diagrams are logic circuits where the ...
research
∙
02/12/2019
Computational Complexity and the Nature of Quantum Mechanics
Quantum theory (QT) has been confirmed by numerous experiments, yet we s...
research
∙
02/09/2019
Computational Complexity and the Nature of Quantum Mechanics (Extended version)
Quantum theory (QT) has been confirmed by numerous experiments, yet we s...
research
∙
09/10/2018
Model Theory of Monadic Predicate Logic with the Infinity Quantifier
This paper establishes model-theoretic properties of FOE^∞, a variation ...
research
∙
09/10/2018
The Power of the Weak
A landmark result in the study of logics for formal verification is Jani...
research
∙
06/21/2018
