Weiter zum Inhalt Weiter zur Fußzeile

Forschungsportal der TU Dresden

Nikolai Käfer Master of Science
Person

Zugehörigkeiten

Professur für Algebraische und logische Grundlagen der Informatik
- Wissenschaftliches Personal
- nikolai.kaefer@tu-dresden.de

Identifizierungsnummern

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

Veröffentlichungen
Aktivitäten
Forschungsdaten

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), Band A. S. 209-216 8 S.

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

CPrAA – A Checker for Probabilistic Abstract Argumentation

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

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Admissibility in Probabilistic Argumentation

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

Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung

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. (Hrsg.). Springer, Cham, S. 343-363 21 S. (Lecture Notes in Computer Science, Band 13660 LNCS).

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Buch/Sammelband/Gutachten › Beigetragen › Begutachtung

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. (Hrsg.). IJCAI Organization, S. 87-98 12 S.

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung

Alle Veröffentlichungen ansehen (5)

Probabilistic Feature Models

Käfer, N. (Redner:in)

9 Apr. 2024

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen

CPrAA – A Checker for Probabilistic Abstract Argumentation

Käfer, N. (Redner:in)

14 Sept. 2022

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen

Admissibility in Probabilistic Argumentation

Käfer, N. (Redner:in)

30 Nov. 2021

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen

Admissibility in Probabilistic Argumentation

Käfer, N. (Redner:in)

9 Nov. 2021

Aktivität: Vortrag oder Präsentation an externen Einrichtungen/Veranstaltungen › Vortrag › Beigetragen

Alle Aktivitäten ansehen (4)

dimagic

Käfer, N. (Urheber:in), Husung, N. (Urheber:in) & Dubslaff, C. (Urheber:in), Zenodo, 10 Juli 2024

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

Forschungsdaten: Software

Alle Forschungsdaten ansehen (1)