Publications of Nikolai Käfer

Journal Articles

Nikolai Käfer, Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns
Admissibility in Probabilistic Argumentation
Journal of Artificial Intelligence Research, 74:957-1004, June 2022
Details Download

Proceedings Articles

Clemens Dubslaff, Nils Husung, Nikolai Käfer
Configuring BDD Compilation Techniques for Feature Models
Proceedings of the 28th ACM International Systems and Software Product Line Conference - Volume A, SPLC '24, 209–216, 2024. Association for Computing Machinery
Details

Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer
On the Foundations of Cycles in Bayesian Networks
In Raskin, Jean-François and Chatterjee, Krishnendu and Doyen, Laurent and Majumdar, Rupak, eds., Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday, 343--363, 2022. Springer Nature Switzerland
Details

Nikolai Käfer
CPrAA -- A Checker for Probabilistic Abstract Argumentation
In Toni, Francesca and Polberg, Sylwia and Booth, Richard and Caminada, Martin and Kido, Hiroyuki, eds., Frontiers in Artificial Intelligence and Applications, 2022. IOS Press
Details

Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns, Nikolai Käfer
Admissibility in Probabilistic Argumentation
In Meghyn Bienvenu, Gerhard Lakemeyer, Esra Erdem, eds., Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning (KR 2021), 87-98, November 2021
Details Download