متابعة
Stefan Ellmauthaler
Stefan Ellmauthaler
TU Dresden
بريد إلكتروني تم التحقق منه على ellmauthaler.net - الصفحة الرئيسية
عنوان
عدد مرات الاقتباسات
عدد مرات الاقتباسات
السنة
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‏
2452013
Multi-context systems for reactive reasoning in dynamic environments‏
G Brewka, S Ellmauthaler, J Pührer‏
ECAI 2014, 159-164, 2014‏
572014
Abstract dialectical frameworks. An overview‏
G Brewka, S Ellmauthaler, H Strass, JP Wallner, S Woltran‏
Journal of Applied Logics 4 (8), 2263-2317, 2017‏
522017
The DIAMOND system for computing with abstract dialectical frameworks‏
S Ellmauthaler, H Strass‏
Computational Models of Argument, 233-240, 2014‏
502014
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
Generalizing multi-context systems for reactive stream reasoning applications‏
S Ellmauthaler‏
2013 Imperial College Computing Student Workshop, 19-26, 2013‏
172013
Evaluating Abstract Dialectical Frameworks with ASP‏
S Ellmauthaler, JP Wallner‏
Proceedings of the Fourth International Conference on Computational Models …, 2012‏
162012
The DIAMOND system for argumentation: Preliminary report‏
S Ellmauthaler, H Strass‏
arXiv preprint arXiv:1312.6140, 2013‏
152013
Asynchronous multi-context systems‏
S Ellmauthaler, J Pührer‏
Advances in Knowledge Representation, Logic Programming, and Abstract …, 2015‏
142015
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‏
132023
DIAMOND 3.0–A native C++ implementation of DIAMOND‏
S Ellmauthaler, H Strass‏
Computational Models of Argument, 471-472, 2016‏
132016
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‏
62018
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
يتعذر على النظام إجراء العملية في الوقت الحالي. عاود المحاولة لاحقًا.
مقالات 1–20