Stefan Ellmauthaler

AnneMarie Borg, Stefan Ellmauthaler, Jean-Guy Mailly, and Andreas Niskanen, editors. 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 17, 2024, volume 3757 of CEUR Workshop Proceedings. CEUR-WS.org, September 2024. [ http ]

Elisa Böhl, Stefan Ellmauthaler, and Sarah Alice Gaggl. Winning snake: Design choices in multi-shot ASP. Technical report, arXiv.org, August 2024. [ DOI ]

Stefan Ellmauthaler and Lukas Gerlach. Adf-bdd.dev: Insights to undecided statements in abstract dialectical frameworks. In Gianvincenzo Alfano and Stefano Ferilli, editors, Proceedings of the 7th Workshop on Advances in Argumentation in Artificial Intelligence (AI3 2023) co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, November 9, 2023, volume 3546 of CEUR Workshop Proceedings. CEUR-WS.org, December 2023. [ .pdf ]

Stefan Ellmauthaler and Lukas Gerlach. Adf-bdd.dev: Debug abstract dialectical frameworks with binary decision diagrams. In The Fourth Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2023), September 2023. [ .pdf ]

Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, and Markus Krötzsch. Nemo: First glimpse of a new rule engine. In Proceedings 39th International Conference on Logic Programming: ICLP 2023 Technical Communications, volume 385 of EPTCS, pages 333--335, September 2023. [ DOI ]

Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, and Johannes P. Wallner. Adf - BDD : An ADF solver based on binary decision diagrams. In Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), volume 220146 of FAIA, pages 355--356. IOS Press, September 2022. [ DOI ]

Stefan Ellmauthaler, Markus Krötzsch, and Stephan Mennicke. Answering Queries with Negation over Existential Rules. In Proceedings of the AAAI Conference on Artificial Intelligence, 36(5), pages 5626--5633, June 2022. [ DOI ]

Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, and Johannes P. Wallner. Representing abstract dialectical frameworks with binary decision diagrams. In Georg Gottlob, Daniela Inclezan, and Marco Maratea, editors, Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), pages 177--189. Springer International Publishing, 2022. [ DOI ]

Stefan Ellmauthaler, Markus Krötzsch, and Stephan Mennicke. Answering Queries with Negation over Existential Rules. CoRR, abs/2112.07376, 2021. [ arXiv | http ]

Stefan Ellmauthaler. Multi-context reasoning in continuous data-flow environments. KI - Künstliche Intelligenz, 33(1):101--104, Mar 2019. [ DOI | http ]

Stefan Ellmauthaler and Claudia Schulz. Introduction to the tplp special issue on user-oriented logic programming and reasoning paradigms. Theory and Practice of Logic Programming, 19(2):109–113, 2019. [ DOI ]

Gerhard Brewka, Stefan Ellmauthaler, Gabriele Kern-Isberner, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, and Steffen Schieweck. Advanced solving technology for dynamic and reactive applications. KI - Künstliche Intelligenz, 32(2):199--200, Aug 2018. [ DOI | http ]

Stefan Ellmauthaler. Multi-Context Reasoning in Continuous Data-Flow Environments. PhD thesis, Leipzig University, 2018. [ http ]

Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, and Jörg Pührer. Reactive multi-context systems: Heterogeneous reasoning in dynamic environments. Artificial Intelligence, 256:68--104, 2018. [ DOI | http ]

Hannes Strass and Stefan Ellmauthaler. goDIAMOND 0.6.6 -- ICCMA 2017 system description, 2017. Second International Competition on Computational Models of Argumentation: http://www.dbai.tuwien.ac.at/iccma17/. [ http ]

Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes P. Wallner, and Stefan Woltran. Abstract dialectical frameworks. an overview. IfCoLog Journal of Logics and their Applications Volume 4, number 8. Formal Argumentation, 4(8):2263--2317, 10 2017. [ .html ]

Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, and Jörg Pührer. Towards inconsistency management in reactive multi-context systems. In Richard Booth, Giovanni Casini, Szymon Klarman, Gilles Richard, and Ivan José Varzincza, editors, Proceedings of the International Workshop on Defeasible and Ampliative Reasoning (DARe-16) co-located with the 22th European Conference on Artificial Intelligence (ECAI 2016), The Hague, Holland, August 29, 2016., CEUR Workshop Proceedings. CEUR-WS.org, 2016. [ .pdf ]

Stefan Ellmauthaler and Jörg Pührer. Stream packing for asynchronous multi-context systems using ASP. In Thomas Eiter, Wolfgang Faber, and Stefan Woltran, editors, Proceedings of the Workshop on Trends and Applications of Answer Set Programming (TAASP 2016), 2016. [ http ]

Gerhard Brewka, Stefan Ellmauthaler, Ricardo Gonçalves, Matthias Knorr, João Leite, and Jörg Pührer. Inconsistency management in reactive multi-context systems. In Loizos Michael and Antonis C. Kakas, editors, European Conferenceon Logics in Artificial Intelligence (JELIA 2016), volume 10021 of Lecture Notes in Computer Science, pages 529--535, 2016. [ DOI ]

Stefan Ellmauthaler and Hannes Strass. DIAMOND 3.0 - A native C++ implementation of DIAMOND. In International Conference on Computational Models of Argument (COMMA 2016), Potsdam, Germany, 12-16 September, 2016., volume 287 of Frontiers in Artificial Intelligence and Applications, pages 471--472. IOS Press, 2016. [ DOI | http ]

Stefan Ellmauthaler and Jörg Pührer. Asynchronous multi-context systems. In Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, and Stefan Woltran, editors, Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, volume 9060 of Lecture Notes in Computer Science. Springer, 2015. [ DOI | http ]

Stefan Ellmauthaler and Hannes Strass. The DIAMOND system for computing with abstract dialectical frameworks. In Simon Parsons, Nir Oren, Chris Reed, and Federico Cerutti, editors, International Conference on Computational Models of Argument (COMMA 2014), volume 266 of Frontiers in Artificial Intelligence and Applications, pages 233--240. IOS Press, September 2014. [ DOI ]

Gerhard Brewka, Stefan Ellmauthaler, and Jörg Pührer. Multi-context systems for reactive reasoning in dynamic environments. In Torsten Schaub, Gerhard Friedrich, and Barry O'Sullivan, editors, European Conference on Artificial Intelligence (ECAI 2014), volume 263 of Frontiers in Artificial Intelligence and Applications, pages 159--164. IOS Press, 2014. [ DOI ]

Gerhard Brewka, Stefan Ellmauthaler, and Jörg Pührer. Mulit-context systems for reactive reasoning in dynamic environments. In Stefan Ellmauthaler and Jörg Pührer, editors, International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), pages 23--30, 2014. [ http ]

Stefan Ellmauthaler and Jörg Pührer. Asynchronous multi-context systems. In Stefan Ellmauthaler and Jörg Pührer, editors, International Workshop on Reactive Concepts in Knowledge Representation (ReactKnow 2014), pages 31--38, 2014. [ http ]

Stefan Ellmauthaler and Hannes Strass. The DIAMOND system for argumentation: Preliminary report. In Michael Fink and Yuliya Lierler, editors, Proceedings of the International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2013), volume abs/1312.6140, September 2013.

Stefan Ellmauthaler. Generalizing multi-context systems for reactive stream reasoning applications. In Andrew V. Jones and Nicholas Ng, editors, Proceedings of the 2013 Imperial College Computing Student Workshop (ICCSW 2013), OpenAccess Series in Informatics (OASIcs), pages 17--24. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, September 2013. [ DOI | http ]

Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes Peter Wallner, and Stefan Woltran. Abstract dialectical frameworks revisited. In Francesca Rossi, editor, Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI 2013). IJCAI/AAAI, August 2013. [ http ]

Stefan Ellmauthaler and Johannes Peter Wallner. Evaluating Abstract Dialectical Frameworks with ASP. In Bart Verheij, Stefan Szeider, and Stefan Woltran, editors, International Conference on Computational Models of Argument (COMMA 2012), volume 245, pages 505--506. IOS Press, 2012.

Stefan Ellmauthaler. Abstract Dialectical Frameworks: Properties, Complexity, and Implementation. Master's thesis, Technische Universität Wien, Institut für Informationssysteme, 2012. [ http ]

This file was generated by bibtex2html 1.99.