Stefan Ellmauthaler

According to our database, Stefan Ellmauthaler authored at least 22 papers between 2012 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Nemo: First Glimpse of a New Rule Engine.

Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch

Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

ADF-BDD.DEV: Insights to undecided Statements in Abstract Dialectical Frameworks.

Stefan Ellmauthaler, Lukas Gerlach

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), 2023

2022

Representing Abstract Dialectical Frameworks with Binary Decision Diagrams.

Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes Peter Wallner

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

ADF-BDD: An ADF Solver Based on Binary Decision Diagrams.

Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes Peter Wallner

Proceedings of the Computational Models of Argument, 2022

Answering Queries with Negation over Existential Rules.

Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2019

Introduction to the TPLP Special Issue on User-oriented Logic Programming and Reasoning Paradigms.

Stefan Ellmauthaler, Claudia Schulz

Theory Pract. Log. Program., 2019

Multi-Context Reasoning in Continuous Data-Flow Environments.

Stefan Ellmauthaler

Künstliche Intell., 2019

2018

Multi-Context Reasoning in Continuous Data-Flow Environments.

Stefan Ellmauthaler

PhD thesis, 2018

Advanced Solving Technology for Dynamic and Reactive Applications.

Gerhard Brewka, Stefan Ellmauthaler, Gabriele Kern-Isberner, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Steffen Schieweck

Künstliche Intell., 2018

Reactive multi-context systems: Heterogeneous reasoning in dynamic environments.

Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer

Artif. Intell., 2018

2017

Abstract Dialectical Frameworks. An Overview.

Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes Peter Wallner, Stefan Woltran

FLAP, 2017

2016

Stream Packing for Asynchronous Multi-Context Systems using ASP.

Stefan Ellmauthaler, Jörg Pührer

CoRR, 2016

Inconsistency Management in Reactive Multi-context Systems.

Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Towards Inconsistency Management in Reactive Multi-Context Systems.

Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, Jörg Pührer

Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16) co-located with the 22th European Conference on Artificial Intelligence (ECAI 2016), 2016

DIAMOND 3.0 - A Native C++ Implementation of DIAMOND.

Stefan Ellmauthaler, Hannes Strass

Proceedings of the Computational Models of Argument, 2016

2015

Asynchronous Multi-Context Systems.

Stefan Ellmauthaler, Jörg Pührer

Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

2014

Multi-Context Systems for Reactive Reasoning in Dynamic Environments.

Gerhard Brewka, Stefan Ellmauthaler, Jörg Pührer

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

The DIAMOND System for Computing with Abstract Dialectical Frameworks.

Stefan Ellmauthaler, Hannes Strass

Proceedings of the Computational Models of Argument, 2014

2013

The DIAMOND System for Argumentation: Preliminary Report.

Stefan Ellmauthaler, Hannes Strass

CoRR, 2013

Abstract Dialectical Frameworks Revisited.

Gerhard Brewka, Hannes Strass, Stefan Ellmauthaler, Johannes Peter Wallner, Stefan Woltran

Proceedings of the IJCAI 2013, 2013

Generalizing Multi-Context Systems for Reactive Stream Reasoning Applications.

Stefan Ellmauthaler

Proceedings of the 2013 Imperial College Computing Student Workshop, 2013

2012

Evaluating Abstract Dialectical Frameworks with ASP.

Stefan Ellmauthaler, Johannes Peter Wallner

Proceedings of the Computational Models of Argument, 2012