Configuring BDD Compilation Techniques for Feature Models.
Proceedings of the 28th ACM International Systems and Software Product Line Conference, 2024
Admissibility in Probabilistic Argumentation.
J. Artif. Intell. Res., 2022
CPrAA - A Checker for Probabilistic Abstract Argumentation.
Proceedings of the Computational Models of Argument, 2022
On the Foundations of Cycles in Bayesian Networks.
Proceedings of the Principles of Systems Design, 2022