Stefan Ellmauthaler

From International Center for Computational Logic

Dr. Stefan Ellmauthaler

Research AssociateTechnische Universität DresdenInternational Center for Computational Logic Knowledge-Based Systems

I am a postdoctoral researcher in the Knowledge-based Systems group of Prof. Dr. Markus Krötzsch. I received both, my B.Sc. in "Medicine and Computer Science" in 2009, as well as my diploma in "Computational Intelligence" in 2012, at the Vienna University of Technology. In 2018 I defended my doctoral thesis "Multi-Context Reasoning in Continuous Data-Flow Environments" which has been supervised by Prof. Dr. Gerhard Brewka at Leipzig University.

My research interests are knowledge representation, logic programming, rule-based reasoning, multi-context reasoning, nonmonotonic reasoning, and (abstract) argumentation theory.

Newest Publications

View full publication list

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
Stefan Ellmauthaler
Multi-Context Reasoning in Continuous Data-Flow Environments
Phd thesis, Universität Leipzig, 2018/06/07
Details Download
Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
Reactive multi-context systems: Heterogeneous reasoning in dynamic environments
Artificial Intelligence, 256:68-104, 2018
Details
View full publication list
InnoSale Logo original.png

InnoSale
Innovating Sales and Planning of Complex Industrial Products Exploiting Artificial Intelligence

Scads-logo.png

ScaDS.AI
Center for Scalable Data Analytics and Artificial Intelligence

Adf-bdd
Abstract Dialectical Frameworks solved with Binary Decision Diagrams