Nikolai Käfer

According to our database, Nikolai Käfer authored at least 4 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Configuring BDD Compilation Techniques for Feature Models.

Clemens Dubslaff, Nils Husung, Nikolai Käfer

Proceedings of the 28th ACM International Systems and Software Product Line Conference, 2024

2022

Admissibility in Probabilistic Argumentation.

Nikolai Käfer, Christel Baier, Martin Diller, Clemens Dubslaff, Sarah Alice Gaggl, Holger Hermanns

J. Artif. Intell. Res., 2022

CPrAA - A Checker for Probabilistic Abstract Argumentation.

Nikolai Käfer

Proceedings of the Computational Models of Argument, 2022

On the Foundations of Cycles in Bayesian Networks.

Christel Baier, Clemens Dubslaff, Holger Hermanns, Nikolai Käfer

Proceedings of the Principles of Systems Design, 2022