Skip to content Skip to footer

Research Portal of the TU Dresden

Nikolai Käfer Master of Science
Person

Affiliations

Chair of Algebraic and Logical Foundations of Computer Science
- Academic Staff
- nikolai.kaefer@tu-dresden.de

Identification Numbers

ORCID	0000-0002-0645-1078
Scopus author ID	57485989900

Configuring BDD Compilation Techniques for Feature Models

Käfer, N., Dubslaff, C. & Husung, N., 2 Sept 2024, SPLC '24: Proceedings of the 28th ACM International Systems and Software Product Line Conference. Association for Computing Machinery (ACM), Vol. A. p. 209-216 8 p.

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

CPrAA – A Checker for Probabilistic Abstract Argumentation

Käfer, N., Sept 2022, Computational Models of Argument: Proceedings of COMMA 2022. IOS Press, Vol. 353. p. 359-360 2 p. (Frontiers in Artificial Intelligence and Applications, Vol. 353).

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

Admissibility in Probabilistic Argumentation

Käfer, N., Baier, C., Diller, M., Dubslaff, C., Gaggl, S. A. & Hermanns, H., 26 Jun 2022, In: Journal of Artificial Intelligence Research. 74, p. 957-1009 53 p.

Research output: Contribution to journal › Research article › Contributed › peer-review

On the Foundations of Cycles in Bayesian Networks

Baier, C., Dubslaff, C., Hermanns, H. & Käfer, N., 2022, Principles of Systems Design: Essays Dedicated to Thomas A. Henzinger on the Occasion of His 60th Birthday. Raskin, J-F., Chatterjee, K., Doyen, L. & Majumdar, R. (eds.). Springer, Cham, p. 343-363 21 p. (Lecture Notes in Computer Science, Vol. 13660 LNCS).

Research output: Contribution to book/conference proceedings/anthology/report › Chapter in book/anthology/report › Contributed › peer-review

Admissibility in Probabilistic Argumentation

Baier, C., Diller, M., Dubslaff, C., Gaggl, S. A., Hermanns, H. & Käfer, N., Nov 2021, Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning. Bienvenu, M., Lakemeyer, G. & Erdem, E. (eds.). IJCAI Organization, p. 87-98 12 p.

Research output: Contribution to book/conference proceedings/anthology/report › Conference contribution › Contributed › peer-review

View all research output (5)

Probabilistic Feature Models

Käfer, N. (Speaker)

9 Apr 2024

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

CPrAA – A Checker for Probabilistic Abstract Argumentation

Käfer, N. (Speaker)

14 Sept 2022

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

Admissibility in Probabilistic Argumentation

Käfer, N. (Speaker)

30 Nov 2021

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

Admissibility in Probabilistic Argumentation

Käfer, N. (Speaker)

9 Nov 2021

Activity: Talk or presentation at external institutions/events › Talk/Presentation › Contributed

View all activities (4)

dimagic

Käfer, N. (Creator), Husung, N. (Creator) & Dubslaff, C. (Creator), Zenodo, 10 Jul 2024

DOI: https://doi.org/10.5281/zenodo.12707100

Dataset: Code

View all research data (1)

Research Portal of the TU Dresden

Affiliations

Identification Numbers

Related content