Abstract dialectical frameworks revisited G Brewka, S Ellmauthaler, H Strass, JP Wallner, S Woltran Proceedings of the Twenty-Third international joint conference on Artificial …, 2013 | 239 | 2013 |
Multi-context systems for reactive reasoning in dynamic environments G Brewka, S Ellmauthaler, J Pührer ECAI 2014, 159-164, 2014 | 56 | 2014 |
The DIAMOND system for computing with abstract dialectical frameworks S Ellmauthaler, H Strass Computational Models of Argument, 233-240, 2014 | 48 | 2014 |
Abstract dialectical frameworks. An overview G Brewka, S Ellmauthaler, H Strass, JP Wallner, S Woltran IfCoLog Journal of Logics and their Applications 4 (8), 2263-2317, 2017 | 44 | 2017 |
Reactive multi-context systems: Heterogeneous reasoning in dynamic environments G Brewka, S Ellmauthaler, R Gonçalves, M Knorr, J Leite, J Pührer Artificial Intelligence 256, 68-104, 2018 | 28 | 2018 |
Abstract dialectical frameworks: Properties, complexity, and implementation S Ellmauthaler Vienna University of Technology, 2012 | 21 | 2012 |
Generalizing multi-context systems for reactive stream reasoning applications S Ellmauthaler 2013 Imperial College Computing Student Workshop, 2013 | 16 | 2013 |
Evaluating Abstract Dialectical Frameworks with ASP S Ellmauthaler, JP Wallner Proceedings of the Fourth International Conference on Computational Models …, 2012 | 16 | 2012 |
The DIAMOND system for argumentation: Preliminary report S Ellmauthaler, H Strass arXiv preprint arXiv:1312.6140, 2013 | 15 | 2013 |
Asynchronous multi-context systems S Ellmauthaler, J Pührer Advances in Knowledge Representation, Logic Programming, and Abstract …, 2015 | 14 | 2015 |
DIAMOND 3.0–A native C++ implementation of DIAMOND S Ellmauthaler, H Strass Computational Models of Argument, 471-472, 2016 | 13 | 2016 |
GoDIAMOND 0.6. 6–ICCMA 2017 System Description, 2017 H Strass, S Ellmauthaler Second International Competition on Computational Models of Argumentation …, 2017 | 12 | 2017 |
Nemo: First glimpse of a new rule engine A Ivliev, S Ellmauthaler, L Gerlach, M Marx, M Meißner, S Meusel, ... arXiv preprint arXiv:2308.15897, 2023 | 7 | 2023 |
Answering queries with negation over existential rules S Ellmauthaler, M Krötzsch, S Mennicke Proceedings of the AAAI Conference on Artificial Intelligence 36 (5), 5626-5633, 2022 | 6 | 2022 |
Woltran., S.: Abstract dialectical frameworks G Brewka, S Ellmauthaler, H Strass, JP Wallner Handbook of Formal Argumentation, 237-285, 2018 | 5 | 2018 |
Inconsistency management in reactive multi-context systems G Brewka, S Ellmauthaler, R Gonçalves, M Knorr, J Leite, J Pührer Logics in Artificial Intelligence: 15th European Conference, JELIA 2016 …, 2016 | 3 | 2016 |
Representing abstract dialectical frameworks with binary decision diagrams S Ellmauthaler, SA Gaggl, D Rusovac, JP Wallner International Conference on Logic Programming and Nonmonotonic Reasoning …, 2022 | 2 | 2022 |
ADF-BDD: An ADF Solver Based on Binary Decision Diagrams. S Ellmauthaler, SA Gaggl, D Rusovac, JP Wallner COMMA, 355-356, 2022 | 2 | 2022 |
Towards Inconsistency Management in Reactive Multi-Context Systems. G Brewka, S Ellmauthaler, R Gonçalves, M Knorr, J Leite, J Pührer DARe@ ECAI, 2016 | 2 | 2016 |
Multi-Context Reasoning in Continuous Data-Flow Environments S Ellmauthaler KI-Künstliche Intelligenz 33 (1), 101-104, 2019 | 1 | 2019 |