Stefan Ellmauthaler

Publication Activity (10 Years)

Years Active: 2012-2023
Publications (10 Years): 19

Top Topics

Dynamic Environments

Propositional Logic

Existentially Quantified

Top Venues

Künstliche Intell.

Publications

Stefan Ellmauthaler, Lukas Gerlach
ADF-BDD.DEV: Insights to undecided Statements in Abstract Dialectical Frameworks. AI³@AI*IA (2023)
Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch
Nemo: First Glimpse of a New Rule Engine. CoRR (2023)
Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes Peter Wallner
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams. LPNMR (2022)
Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke
Answering Queries with Negation over Existential Rules. AAAI (2022)
Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes Peter Wallner
ADF-BDD: An ADF Solver Based on Binary Decision Diagrams. COMMA (2022)
Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke
Answering Queries with Negation over Existential Rules. CoRR (2021)
Stefan Ellmauthaler, Claudia Schulz
Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms. Theory Pract. Log. Program. 19 (2) (2019)
Stefan Ellmauthaler
Multi-Context Reasoning in Continuous Data-Flow Environments. Künstliche Intell. 33 (1) (2019)
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. Artif. Intell. 256 (2018)
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. Künstliche Intell. 32 (2-3) (2018)
Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes Peter Wallner, Stefan Woltran
Abstract Dialectical Frameworks. An Overview. FLAP 4 (8) (2017)
Stefan Ellmauthaler, Jörg Pührer
Stream Packing for Asynchronous Multi-Context Systems using ASP. CoRR (2016)
Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
Towards Inconsistency Management in Reactive Multi-Context Systems. DARe@ECAI (2016)
Stefan Ellmauthaler, Hannes Strass
DIAMOND 3.0 - A Native C++ Implementation of DIAMOND. COMMA (2016)
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. CoRR (2016)
Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer
Inconsistency Management in Reactive Multi-context Systems. JELIA (2016)
Stefan Ellmauthaler, Jörg Pührer
Asynchronous Multi-Context Systems. CoRR (2015)
Stefan Ellmauthaler, Jörg Pührer
Asynchronous Multi-Context Systems. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (2015)
Gerhard Brewka, Stefan Ellmauthaler, Jörg Pührer
Multi-Context Systems for Reactive Reasoning in Dynamic Environments. CoRR (2015)
Gerhard Brewka, Stefan Ellmauthaler, Jörg Pührer
Multi-Context Systems for Reactive Reasoning in Dynamic Environments. ECAI (2014)
Stefan Ellmauthaler, Hannes Strass
The DIAMOND System for Computing with Abstract Dialectical Frameworks. COMMA (2014)
Stefan Ellmauthaler
Generalizing Multi-Context Systems for Reactive Stream Reasoning Applications. ICCSW (2013)
Stefan Ellmauthaler, Hannes Strass
The DIAMOND System for Argumentation: Preliminary Report. CoRR (2013)
Gerhard Brewka, Hannes Strass, Stefan Ellmauthaler, Johannes Peter Wallner, Stefan Woltran
Abstract Dialectical Frameworks Revisited. IJCAI (2013)
Stefan Ellmauthaler, Johannes Peter Wallner
Evaluating Abstract Dialectical Frameworks with ASP. COMMA (2012)