Evaluating Abstract Dialectical Frameworks with ASP. - Stefan Ellmauthaler; Johannes Peter Wallner (COMMA, 2012)

Generalizing Multi-Context Systems for Reactive Stream Reasoning Applications. - Stefan Ellmauthaler (ICCSW, 2013)

Abstract Dialectical Frameworks Revisited. - Gerhard Brewka; Hannes Strass; Stefan Ellmauthaler; Johannes Peter Wallner; Stefan Woltran (IJCAI, 2013)

The DIAMOND System for Argumentation: Preliminary Report. - Stefan Ellmauthaler; Hannes Strass (CoRR, 2013)

The DIAMOND System for Computing with Abstract Dialectical Frameworks. - Stefan Ellmauthaler; Hannes Strass (COMMA, 2014)

Multi-Context Systems for Reactive Reasoning in Dynamic Environments. - Gerhard Brewka; Stefan Ellmauthaler; Jörg Pührer (ECAI, 2014)

Asynchronous Multi-Context Systems. - Stefan Ellmauthaler; Jörg Pührer (Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015)

DIAMOND 3.0 - A Native C++ Implementation of DIAMOND. - Stefan Ellmauthaler; Hannes Strass (COMMA, 2016)

Towards Inconsistency Management in Reactive Multi-Context Systems. - Gerhard Brewka; Stefan Ellmauthaler; Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001; Jörg Pührer (DARe@ECAI, 2016)

Inconsistency Management in Reactive Multi-context Systems. - Gerhard Brewka; Stefan Ellmauthaler; Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001; Jörg Pührer (JELIA, 2016)

Stream Packing for Asynchronous Multi-Context Systems using ASP. - Stefan Ellmauthaler; Jörg Pührer (CoRR, 2016)

Abstract Dialectical Frameworks. An Overview. - Gerhard Brewka; Stefan Ellmauthaler; Hannes Strass; Johannes Peter Wallner; Stefan Woltran (FLAP, 2017)

Reactive multi-context systems: Heterogeneous reasoning in dynamic environments. - Gerhard Brewka; Stefan Ellmauthaler; Ricardo Gonçalves 001; Matthias Knorr 001; João Leite 001; Jörg Pührer (Artif. Intell., 2018)

Advanced Solving Technology for Dynamic and Reactive Applications. - Gerhard Brewka; Stefan Ellmauthaler; Gabriele Kern-Isberner; Philipp Obermeier; Max Ostrowski; Javier Romero 003; Torsten Schaub; Steffen Schieweck (Künstliche Intell., 2018)

Multi-Context Reasoning in Continuous Data-Flow Environments. - Stefan Ellmauthaler (2018)

Multi-Context Reasoning in Continuous Data-Flow Environments. - Stefan Ellmauthaler (Künstliche Intell., 2019)

Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms. - Stefan Ellmauthaler; Claudia Schulz 001 (Theory Pract. Log. Program., 2019)

Answering Queries with Negation over Existential Rules. - Stefan Ellmauthaler; Markus Krötzsch; Stephan Mennicke (AAAI, 2022)

ADF-BDD: An ADF Solver Based on Binary Decision Diagrams. - Stefan Ellmauthaler; Sarah Alice Gaggl; Dominik Rusovac; Johannes Peter Wallner (COMMA, 2022)

Representing Abstract Dialectical Frameworks with Binary Decision Diagrams. - Stefan Ellmauthaler; Sarah Alice Gaggl; Dominik Rusovac; Johannes Peter Wallner (LPNMR, 2022)

ADF-BDD.DEV: Insights to undecided Statements in Abstract Dialectical Frameworks. - Stefan Ellmauthaler; Lukas Gerlach 002 (AI³@AI*IA, 2023)

Nemo: First Glimpse of a New Rule Engine. - Alex Ivliev; Stefan Ellmauthaler; Lukas Gerlach 002; Maximilian Marx 001; Matthias Meißner; Simon Meusel; Markus Krötzsch (ICLP, 2023)

Winning Snake: Design Choices in Multi-Shot ASP. - Elisa Böhl; Stefan Ellmauthaler; Sarah Alice Gaggl (Theory Pract. Log. Program., 2024)