Volgen
Stefan Ellmauthaler
Titel
Geciteerd door
Geciteerd door
Jaar
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
2272013
Multi-Context Systems for Reactive Reasoning in Dynamic Environments.
G Brewka, S Ellmauthaler, J Pührer
ECAI, 159-164, 2014
562014
The DIAMOND System for Computing with Abstract Dialectical Frameworks.
S Ellmauthaler, H Strass
Comma, 233-240, 2014
472014
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
412017
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, 2013
162013
Evaluating Abstract Dialectical Frameworks with ASP
S Ellmauthaler, JP Wallner
Proceedings of the Fourth International Conference on Computational Models …, 2012
162012
Asynchronous multi-context systems
S Ellmauthaler, J Pührer
Advances in Knowledge Representation, Logic Programming, and Abstract …, 2015
142015
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
GoDIAMOND 0.6. 6–ICCMA 2017 System Description, 2017
H Strass, S Ellmauthaler
Second International Competition on Computational Models of Argumentation …, 2017
112017
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
52023
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
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
COMMA, 355-356, 2022
12022
Multi-Context Reasoning in Continuous Data-Flow Environments
S Ellmauthaler
KI-Künstliche Intelligenz 33 (1), 101-104, 2019
12019
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20