Следене
Stefan Ellmauthaler
Заглавие
Позовавания
Позовавания
Година
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
2282013
Multi-Context Systems for Reactive Reasoning in Dynamic Environments.
G Brewka, S Ellmauthaler, J Pührer
ECAI, 159-164, 2014
522014
The DIAMOND System for Computing with Abstract Dialectical Frameworks.
S Ellmauthaler, H Strass
COMMA, 233-240, 2014
462014
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
422017
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
162012
Generalizing multi-context systems for reactive stream reasoning applications
S Ellmauthaler
2013 Imperial College Computing Student Workshop, 2013
152013
The DIAMOND system for argumentation: Preliminary report
S Ellmauthaler, H Strass
arXiv preprint arXiv:1312.6140, 2013
142013
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
GoDIAMOND 0.6. 6–ICCMA 2017 System Description, 2017
H Strass, S Ellmauthaler
Second International Competition on Computational Models of Argumentation …, 2017
102017
Woltran., S.: Abstract dialectical frameworks
G Brewka, S Ellmauthaler, H Strass, JP Wallner
Handbook of Formal Argumentation, 237-285, 2018
52018
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
42022
Nemo: First glimpse of a new rule engine
A Ivliev, S Ellmauthaler, L Gerlach, M Marx, M Meißner, S Meusel, ...
Proc. 39th Int. Conf. on Logic Programming, ICLP, 2023
32023
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
ADF-BDD: An ADF Solver Based on Binary Decision Diagrams
S Ellmauthaler, SA Gaggl, D Rusovac, JP WALLNER
9th International Conference on Computational Models of Argument: COMMA 2022 …, 2022
12022
Multi-Context Reasoning in Continuous Data-Flow Environments
S Ellmauthaler
KI-Künstliche Intelligenz 33 (1), 101-104, 2019
12019
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20