Publications of Stefan Ellmauthaler

Journal Articles

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

Stefan Ellmauthaler
Multi-Context Reasoning in Continuous Data-Flow Environments
KI - Künstliche Intelligenz, 33(1):101-104, March 2019
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

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

Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes Peter Wallner, Stefan Woltran
Abstract Dialectical Frameworks. An Overview
IfCoLog Journal of Logics and their Applications, 4(8):2263-2317, October 2017
Details

Gerhard Brewka, Stefan Ellmauthaler, Hannes Straß, Johannes Peter Wallner, Stefan Woltran
Abstract Dialectical Frameworks. An Overview
FLAP, 4(8):2263--2317, 2017
Details Download

Proceedings Articles

Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl
Winning Snake: Design Choices in Multi-Shot ASP
Proceedings of the 40th International Conference on Logic Programming (ICLP 2024), to appear
Details Download

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

Stefan Ellmauthaler, Lukas Gerlach
ADF-BDD.DEV: Insights to undecided Statements in Abstract Dialectical Frameworks
In Gianvincenzo Alfano, Stefano Ferilli, eds., Proceedings of the 7th Workshop on Advances in Argumentation in Artificial Intelligence (AI^3 2023) co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, November 9, 2023, volume 3546 of CEUR Workshop Proceedings, December 2023. CEUR-WS.org
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
In Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni, eds., Proceedings 39th International Conference on Logic Programming (ICLP 2023), volume 385 of EPTCS, 333--335, September 2023
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, 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

Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
Towards Inconsistency Management in Reactive Multi-Context Systems
In Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, Ivan José Varzincza, eds., Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16) co-located with the 22th European Conference on Artificial Intelligence (ECAI 2016), The Hague, Holland, August 29, 2016, CEUR Workshop Proceedings, 2016. CEUR-WS.org
Details

Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
Inconsistency management in reactive multi-context systems
In Loizos Michael, Antonis C. Kakas, eds., 15th European Conferenceon Logics in Artificial Intelligence (JELIA 2016), volume 10021 of Lecture Notes in Computer Science, 529-535, 2016. Springer
Details

Stefan Ellmauthaler, Hannes Straß
DIAMOND 3.0 -- A Native C++ Implementation of DIAMOND
In Pietro Baroni, eds., Proceedings of the Sixth International Conference on Computational Models of Argument (COMMA), volume 287 of Frontiers in Artificial Intelligence and Applications, 471--472, September 2016. IOS Press
Details Download

Stefan Ellmauthaler, Hannes Strass
DIAMOND 3.0 - A Native C++ Implementation of DIAMOND
In Pietro Baroni, Thomas F. Gordon, Tatjana Scheffler, Manfred Stede, eds., 6th International Conference on Computational Models of Argument (COMMA 2016), volume 287 of Frontiers in Artificial Intelligence and Applications, 471-472, 2016. IOS Press
Details

Stefan Ellmauthaler, Jörg Pührer
Stream Packing for Asynchronous Multi-Context Systems using ASP
In Thomas Eiter, Wolfgang Faber, Stefan Woltran, eds., Proceedings of the Workshop on Trends and Applications of Answer Set Programming (TAASP 2016), 2016
Details

Stefan Ellmauthaler, Jörg Pührer
Asynchronous Multi-Context Systems
In Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran, eds., Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, volume 9060 of Lechture Notes in Computer Science, 2015. Springer
Details

Gerhard Brewka, Stefan Ellmauthaler, Jörg Pührer
Multi-context systems for reactive reasoning in dynamic environments
In Torsten Schaub, Gerhard Friedrich, Barry O'Sullivan, eds., 21st European Conference on Artificial Intelligence (ECAI 2014), volume 263 of Frontiers in Artificial Intelligence and Applications, 159-164, 2014. IOS Press
Details

Gerhard Brewka, Stefan Ellmauthaler, Jörg Pührer
Mulit-context systems for reactive reasoning in dynamic environments
In Stefan Ellmauthaler, Jörg Pührer, eds., International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), 23-30, 2014
Details

Stefan Ellmauthaler, Hannes Straß
The DIAMOND System for Computing with Abstract Dialectical Frameworks
In Simon Parsons and Nir Oren and Chris Reed, eds., Proceedings of the Fifth International Conference on Computational Models of Argument (COMMA), volume 266 of Frontiers in Artificial Intelligence and Applications, 233--240, September 2014. IOS Press
Details Download

Stefan Ellmauthaler, Hannes Strass
The DIAMOND System for Computing with Abstract Dialectical Frameworks
In Simon Parsons, Nir Oren, Chris Reed, Federico Cerutti, eds., 5th International Conference on Computational Models of Argument (COMMA 2014), volume 266 of Frontiers in Artificial Intelligence and Applications, 233-240, September 2014. IOS Press
Details Download

Stefan Ellmauthaler, Jörg Pührer
Asynchronous Multi-Context Systems
In Stefan Ellmauthaler, Jörg Pührer, eds., International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), 31-38, 2014
Details

Gerhard Brewka, Stefan Ellmauthaler, Hannes Straß, Johannes Peter Wallner, Stefan Woltran
Abstract Dialectical Frameworks Revisited
Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI), 803--809, August 2013. IJCAI/AAAI
Details Download

Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes Peter Wallner, Stefan Woltran
Abstract Dialectical Frameworks Revisited
In Francesca Rossi, eds., Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI 2013), August 2013. IJCAI/AAAI
Details

Stefan Ellmauthaler
Generalizing multi-context systems for reactive stream reasoning applications
In Andrew V. Jones, Nicholas Ng, eds., Proceedings of the 2013 Imperial College Computing Student Workshop (ICCSW 2013), OpenAccess Series in Informatics (OASIcs), 17-24, 2013. Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Details Download

Stefan Ellmauthaler, Hannes Strass
The DIAMOND system for argumentation: Preliminary report
In Michael Fink, Yuliya Lierler, eds., Proceedings of the 6th International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), September 2013. CoRR
Details Download

Stefan Ellmauthaler, Hannes Straß
The DIAMOND System for Argumentation: Preliminary Report
In Michael Fink and Yuliya Lierler, eds., Proceedings of the Sixth International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP), September 2013
Details Download

Stefan Ellmauthaler, Johannes Peter Wallner
Evaluating Abstract Dialectical Frameworks with ASP
In Bart Verheij, Stefan Szeider, Stefan Woltran, eds., 4th International Conference on Computational Models of Argument (COMMA 2012), volume 245 of Frontiers in Artificial Intelligence and Applications, 505-506, 2012. IOS Press
Details Download

Book Chapters

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

Doctoral Theses

Stefan Ellmauthaler
Multi-Context Reasoning in Continuous Data-Flow Environments
Phd thesis, Universität Leipzig, 2018/06/07
Details Download

Technical Reports

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
Technical Report, arXiv.org, 2016. CoRR
Details

Talks and Miscellaneous

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

Stefan Ellmauthaler, Hannes Strass
goDIAMOND 0.6.6 - ICCMA 2017 System Description
ICCMA System Description, 2017
Details Download

Stefan Ellmauthaler
Abstract Dialectical Frameworks: Properties, Complexity, and Implementation
Master's Thesis, Technische Universität Wien, Institut für Informationssysteme, 2012
Details Download