Stefan Ellmauthaler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
6
Active years
2012–2022
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | AAAI | Answering Queries with Negation over Existential Rules. | Stefan Ellmauthaler, Markus Krtzsch, Stephan Mennicke |
| 2022 | COMMA | ADF-BDD: An ADF Solver Based on Binary Decision Diagrams. | Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner |
| 2022 | LPNMR | Representing Abstract Dialectical Frameworks with Binary Decision Diagrams. | Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner |
| 2016 | COMMA | DIAMOND 3.0 - A Native C++ Implementation of DIAMOND. | Stefan Ellmauthaler, Hannes Strass |
| 2016 | ECAI | Towards Inconsistency Management in Reactive Multi-Context Systems. | Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonalves, Matthias Knorr, Joo Leite, Jrg Phrer |
| 2016 | JELIA | Inconsistency Management in Reactive Multi-context Systems. | Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonalves, Matthias Knorr, Joo Leite, Jrg Phrer |
| 2014 | COMMA | The DIAMOND System for Computing with Abstract Dialectical Frameworks. | Stefan Ellmauthaler, Hannes Strass |
| 2014 | ECAI | Multi-Context Systems for Reactive Reasoning in Dynamic Environments. | Gerhard Brewka, Stefan Ellmauthaler, Jrg Phrer |
| 2013 | IJCAI | Abstract Dialectical Frameworks Revisited. | Gerhard Brewka, Hannes Strass, Stefan Ellmauthaler, Johannes Peter Wallner, Stefan Woltran |
| 2012 | COMMA | Evaluating Abstract Dialectical Frameworks with ASP. | Stefan Ellmauthaler, Johannes Peter Wallner |