Nikolai Käfer
Aus International Center for Computational Logic
„Verifikation und formale quantitative Analyse“ befindet sich nicht in der Liste (Computational Logic, Automatentheorie, Wissensverarbeitung, Knowledge-Based Systems, Knowledge Systems, Wissensbasierte Systeme, Logische Programmierung und Argumentation, Algebra und Diskrete Strukturen, Knowledge-aware Artificial Intelligence, Algebraische und logische Grundlagen der Informatik) zulässiger Werte für das Attribut „Forschungsgruppe“.
Nikolai Käfer
Doktorand Verifikation und formale quantitative Analyse
Neueste Publikationen
Komplette Publikationsliste anzeigen
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
