Follow
Stefan Ellmauthaler
Stefan Ellmauthaler
TU Dresden
Verified email at ellmauthaler.net - Homepage
Title
Cited by
Cited by
Year
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
2432013
Multi-context systems for reactive reasoning in dynamic environments
G Brewka, S Ellmauthaler, J Pührer
ECAI 2014, 159-164, 2014
552014
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
512017
The DIAMOND system for computing with abstract dialectical frameworks
S Ellmauthaler, H Strass
Computational Models of Argument, 233-240, 2014
512014
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
282018
Abstract dialectical frameworks: Properties, complexity, and implementation
S Ellmauthaler
Vienna University of Technology, 2012
212012
Evaluating Abstract Dialectical Frameworks with ASP
S Ellmauthaler, JP Wallner
Proceedings of the Fourth International Conference on Computational Models …, 2012
172012
Generalizing multi-context systems for reactive stream reasoning applications
S Ellmauthaler
2013 Imperial College Computing Student Workshop, 2013
162013
The DIAMOND system for argumentation: Preliminary report
S Ellmauthaler, H Strass
arXiv preprint arXiv:1312.6140, 2013
152013
DIAMOND 3.0–A native C++ implementation of DIAMOND
S Ellmauthaler, H Strass
Computational Models of Argument, 471-472, 2016
132016
Asynchronous multi-context systems
S Ellmauthaler, J Pührer
Advances in Knowledge Representation, Logic Programming, and Abstract …, 2015
132015
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
122023
GoDIAMOND 0.6. 6–ICCMA 2017 System Description, 2017
H Strass, S Ellmauthaler
Second International Competition on Computational Models of Argumentation …, 2017
122017
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
62022
Woltran., S.: Abstract dialectical frameworks
G Brewka, S Ellmauthaler, H Strass, JP Wallner
Handbook of Formal Argumentation, 237-285, 2018
52018
ADF-BDD: An ADF Solver Based on Binary Decision Diagrams.
S Ellmauthaler, SA Gaggl, D Rusovac, JP Wallner
COMMA, 355-356, 2022
32022
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
32016
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
22022
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
22016
Multi-Context Reasoning in Continuous Data-Flow Environments
S Ellmauthaler
KI-Künstliche Intelligenz 33 (1), 101-104, 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–20