Stefan Ellmauthaler

29 papers A* 2A 1B 3C 4Journal 13Unranked 4
YearRankTypeTitle / Venue / Authors
2024 — ed.
Proceedings of the Fifth International Workshop on Systems and Algorithms for Formal Argumentation co-located with 10th International Conference on Computational Models of Argument (COMMA 2024), Hagen, Germany, September 17th, 2024.
SAFA
Annemarie Borg, Stefan Ellmauthaler, Jean-Guy Mailly, Andreas Niskanen
2024 J jnl
Winning Snake: Design Choices in Multi-Shot ASP.
CoRR
Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl
2024 J jnl
Winning Snake: Design Choices in Multi-Shot ASP.
Theory Pract. Log. Program.
Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl
2023 — conf
ADF-BDD.DEV: Insights to undecided Statements in Abstract Dialectical Frameworks.
AI³@AI*IA
Stefan Ellmauthaler, Lukas Gerlach
2023 B conf
Nemo: First Glimpse of a New Rule Engine.
ICLP
Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch
2022 C conf
ADF-BDD: An ADF Solver Based on Binary Decision Diagrams.
COMMA
Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner
2022 A* conf
Answering Queries with Negation over Existential Rules.
AAAI
Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke
2022 B conf
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams.
LPNMR
Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner
2021 J jnl
Answering Queries with Negation over Existential Rules.
CoRR
Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke
2019 J jnl
Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms.
Theory Pract. Log. Program.
Stefan Ellmauthaler, Claudia Schulz
2019 J jnl
Multi-Context Reasoning in Continuous Data-Flow Environments.
Künstliche Intell.
Stefan Ellmauthaler
2018 J jnl
Advanced Solving Technology for Dynamic and Reactive Applications.
Künstliche Intell.
Gerhard Brewka, Stefan Ellmauthaler, Gabriele Kern-Isberner, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Steffen Schieweck
2018 — —
Multi-Context Reasoning in Continuous Data-Flow Environments.
Stefan Ellmauthaler
2018 J jnl
Reactive multi-context systems: Heterogeneous reasoning in dynamic environments.
Artif. Intell.
Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
2017 J jnl
Abstract Dialectical Frameworks. An Overview.
FLAP
Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes P. Wallner, Stefan Woltran
2016 C conf
DIAMOND 3.0 - A Native C++ Implementation of DIAMOND.
COMMA
Stefan Ellmauthaler, Hannes Strass
2016 B conf
Inconsistency Management in Reactive Multi-context Systems.
JELIA
Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
2016 J jnl
Reactive Multi-Context Systems: Heterogeneous Reasoning in Dynamic Environments.
CoRR
Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
2016 J jnl
Stream Packing for Asynchronous Multi-Context Systems using ASP.
CoRR
Stefan Ellmauthaler, Jörg Pührer
2016 — conf
Towards Inconsistency Management in Reactive Multi-Context Systems.
DARe@ECAI
Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
2015 — conf
Asynchronous Multi-Context Systems.
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
Stefan Ellmauthaler, Jörg Pührer
2015 J jnl
Asynchronous Multi-Context Systems.
CoRR
Stefan Ellmauthaler, Jörg Pührer
2015 J jnl
Multi-Context Systems for Reactive Reasoning in Dynamic Environments.
CoRR
Gerhard Brewka, Stefan Ellmauthaler, Jörg Pührer
2014 A conf
Multi-Context Systems for Reactive Reasoning in Dynamic Environments.
ECAI
Gerhard Brewka, Stefan Ellmauthaler, Jörg Pührer
2014 C conf
The DIAMOND System for Computing with Abstract Dialectical Frameworks.
COMMA
Stefan Ellmauthaler, Hannes Strass
2013 A* conf
Abstract Dialectical Frameworks Revisited.
IJCAI
Gerhard Brewka, Hannes Strass, Stefan Ellmauthaler, Johannes Peter Wallner, Stefan Woltran
2013 — conf
Generalizing Multi-Context Systems for Reactive Stream Reasoning Applications.
ICCSW
Stefan Ellmauthaler
2013 J jnl
The DIAMOND System for Argumentation: Preliminary Report.
CoRR
Stefan Ellmauthaler, Hannes Strass
2012 C conf
Evaluating Abstract Dialectical Frameworks with ASP.
COMMA
Stefan Ellmauthaler, Johannes Peter Wallner