Nikolai Käfer
From International Center for Computational Logic
Nikolai Käfer
PhD Researcher Algebraic and Logical Foundations of Computer Science
Newest Publications
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
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
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
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
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
