Dr. Stefan Ellmauthaler

Wissenschaftlicher Mitarbeiter Wissensbasierte Systeme

stefan.ellmauthaler@tu-dresden.de
Chat (Matrix ): @stel830c:tu-dresden.de
+49 351 463 38314
APB 3035
Do, 14:00 – 15:00 Uhr

Ich bin postdoktoraler wissenschaftlicher Mitarbeiter der Wissensbasierte Systeme Gruppe von Prof. Dr. Markus Krötzsch. Mein Bachelorstudium "medizinische Informatik" und mein Diplomingenieursstudium "Computational Intelligence" habe ich beide an der TU Wien in 2009 sowie 2012 abgeschlossen. 2018 verteidigte ich meine von Prof. Dr. Gerhard Brewka betreute Dissertation mit dem Titel "Multi-Content Reasoning in Cotinuous Data-Flow Environments" erfolgreich an der Universität Leipzig.

Meine Forschungsinteressen liegen im Bereich Wissensrepräsentation, Logikprogrammierung, Regelbasiertem Schließen, Multi-Context Schließen, Nichtmonotones Schließen und Argumentationstheorie.

Neueste Publikationen

Komplette Publikationsliste anzeigen

Stefan Ellmauthaler, Lukas Gerlach
ADF-BDD.DEV: Debug Abstract Dialectical Frameworks with Binary Decision Diagrams
The Fourth Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2023), September 2023
Details Download

Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch
Nemo: First Glimpse of a New Rule Engine
Proceedings 39th International Conference on Logic Programming: ICLP 2023 Technical Communications, EPTCS, to appear
Details Download

Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke
Answering Queries with Negation over Existential Rules
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), 5626-5633, 2022. AAAI Press
Details Download

Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams
In G. Gottlob, D Inclezan, M. Maratea, eds., Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), volume 13416 of Lecture Notes in Computer Science, 177-198, 2022. Springer
Details Download

Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner
ADF - BDD : An ADF Solver Based on Binary Decision Diagrams
In Francesca Toni, eds., Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), volume 220146 of FAIA, 355-356, September 2022. IOS Press
Details Download

Stefan Ellmauthaler, Konstantin Schekotihin
Tutorial on Multi-Context Stream Reasoning
43rd German Conference on Artificial Intelligence Tutorial, September 2020
Details

Stefan Ellmauthaler
Multi-Context Reasoning in Continuous Data-Flow Environments
KI - Künstliche Intelligenz, 33(1):101-104, March 2019
Details

Stefan Ellmauthaler, Claudia Schultz
Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms
Theory and Practice of Logic Programming, 19(2):109-104, 2019
Details

Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes Peter Wallner, Stefan Woltran
Abstract Dialectical Frameworks
In Pietro Baroni, Dov Gabbay, Massimiliano Giacomin, Geentert von der Torre, eds., Handbook of Formal Argumentation, chapter Part B: Argumentation Formalisms, 237-285. College Publications, February 2018
Details

Gerhard Brewka, Stefan Ellmauthaler, Gabriele Kern-Isberner, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Steffen Schieweck
Advanced Solving Technology for Dynamic and Reactive Applications
KI - Künstliche Intelligenz, 32(2):199-200, August 2018
Details

Komplette Publikationsliste anzeigen

Technical co-chair der 18. European Conference on Logics in Artificial Intelligence (JELIA 2023) in Dresden, Deutschland
Gutachter für das Journal "Artificial Intelligence Review" (AIRE)
Programmkomiteemitglied der 26. European Conference on Artificial Intelligence 2023 (ECAI 2023)