Stefan Ellmauthaler: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Maximilian Marx (Diskussion | Beiträge) (Die Seite wurde neu angelegt: „{{Mitarbeiter |Vorname=Stefan |Nachname=Ellmauthaler |Forschungsgruppe=Wissensbasierte Systeme |Stellung=Wissenschaftlicher Mitarbeiter |Ehemaliger=0 |Raum=APB…“) |
Stefan Ellmauthaler (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| Zeile 2: | Zeile 2: | ||
|Vorname=Stefan | |Vorname=Stefan | ||
|Nachname=Ellmauthaler | |Nachname=Ellmauthaler | ||
|Akademischer Titel=Dr. | |||
|Forschungsgruppe=Wissensbasierte Systeme | |Forschungsgruppe=Wissensbasierte Systeme | ||
|Stellung=Wissenschaftlicher Mitarbeiter | |Stellung=Wissenschaftlicher Mitarbeiter | ||
|Ehemaliger=0 | |Ehemaliger=0 | ||
|Raum=APB 3035 | |Raum=APB 3035 | ||
|Bild=Stefan ellmauthaler.jpg | |||
|Info=Ich bin postdoktoraler Wissenschaftler Mitarbeiter der [[Wissensbasierte Systeme]] Gruppe von Prof. Dr. [[Markus Krötzsch]]. Mein Bachelorstudium "medizinischer Informatik" und mein Diplomingenieursstudium "Computational Intelligence" habe ich beide an der TU Wien in 2009 sowie 2012 abgeschlossen. 2018 verteidigte ich meine von Prof. Dr. Gerhard Brewka betreute Dissertation mit dem Titel "Multi-Content Reasoning in Cotinuous Data-Flow Environments" erfolgreich an der Universität Leipzig. | |||
Meine Forschungsinteressen liegen im Bereich Wissensrepräsentation, Logikprogrammierung, Regelbasiertem Schließen, Multi-Context Schließen, Nichtmonotones Schließen und Argumentationstheorie. | |||
|Info EN=I am a postdoctoral researcher in the [[Wissensbasierte Systeme/en|Knowledge-based Systems]] group of Prof. Dr. [[Markus Krötzsch]]. I received both, my B.Sc. in "Medicine and Computer Science" in 2009, as well as my diploma in "Computational Intelligence" in 2012, at the Vienna University of Technology. In 2018 I defended my doctoral thesis "Multi-Context Reasoning in Continuous Data-Flow Environments" which has been supervised by Prof. Gerhard Brewka at Leipzig University. | |||
My research interests are knowledge representation, logic programming, rule-based reasoning, multi-context reasoning, nonmonotonic reasoning, and (abstract) argumentation theory. | |||
|DBLP=https://dblp.org/pers/hd/e/Ellmauthaler:Stefan | |||
|Google Scholar=http://scholar.google.com/citations?user=HbZcv2EAAAAJ | |||
|Publikationen anzeigen=1 | |Publikationen anzeigen=1 | ||
|Abschlussarbeiten anzeigen=1 | |Abschlussarbeiten anzeigen=1 | ||
}} | |||
{{Forschungsgebiet Auswahl | |||
|Forschungsgebiet=Abstrakte Argumentation | |||
}} | |||
{{Forschungsgebiet Auswahl | |||
|Forschungsgebiet=Wissensrepräsentation und logisches Schließen | |||
}} | |||
{{Forschungsgebiet Auswahl | |||
|Forschungsgebiet=Answer Set Programming | |||
}} | }} | ||
Version vom 4. Januar 2021, 17:49 Uhr
Dr. Stefan Ellmauthaler
Wissenschaftlicher Mitarbeiter Wissensbasierte Systeme
Ich bin postdoktoraler Wissenschaftler Mitarbeiter der Wissensbasierte Systeme Gruppe von Prof. Dr. Markus Krötzsch. Mein Bachelorstudium "medizinischer Informatik" und mein Diplomingenieursstudium "Computational Intelligence" habe ich beide an der TU Wien in 2009 sowie 2012 abgeschlossen. 2018 verteidigte ich meine von Prof. Dr. Gerhard Brewka betreute Dissertation mit dem Titel "Multi-Content Reasoning in Cotinuous Data-Flow Environments" erfolgreich an der Universität Leipzig.
Meine Forschungsinteressen liegen im Bereich Wissensrepräsentation, Logikprogrammierung, Regelbasiertem Schließen, Multi-Context Schließen, Nichtmonotones Schließen und Argumentationstheorie.
Neueste Publikationen
Komplette Publikationsliste anzeigen
Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl
Winning Snake: Design Choices in Multi-Shot ASP
Theory and Practice of Logic Programming, 24(4):772-789, July 2024
Details Download
Elisa Böhl, Stefan Ellmauthaler, Sarah Alice Gaggl
Winning Snake: Design Choices in Multi-Shot ASP
Technical Report, arXiv.org, volume arXiv:2408.08150, August 2024. to appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2024
Details
Alex Ivliev, Stefan Ellmauthaler, Lukas Gerlach, Maximilian Marx, Matthias Meißner, Simon Meusel, Markus Krötzsch
Nemo: First Glimpse of a New Rule Engine
In Enrico Pontelli, Stefania Costantini, Carmine Dodaro, Sarah Gaggl, Roberta Calegari, Artur D'Avila Garcez, Francesco Fabiano, Alessandra Mileo, Alessandra Russo, Francesca Toni, eds., Proceedings 39th International Conference on Logic Programming (ICLP 2023), volume 385 of EPTCS, 333--335, September 2023
Details Download
Stefan Ellmauthaler, Lukas Gerlach
ADF-BDD.DEV: Insights to undecided Statements in Abstract Dialectical Frameworks
In Gianvincenzo Alfano, Stefano Ferilli, eds., Proceedings of the 7th Workshop on Advances in Argumentation in Artificial Intelligence (AI^3 2023) co-located with the 22nd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2023), Rome, Italy, November 9, 2023, volume 3546 of CEUR Workshop Proceedings, December 2023. CEUR-WS.org
Details Download
Stefan Ellmauthaler, Lukas Gerlach
ADF-BDD.DEV: Debug Abstract Dialectical Frameworks with Binary Decision Diagrams
The Fourth Workshop on Explainable Logic-Based Knowledge Representation (XLoKR 2023), September 2023
Details Download
Stefan Ellmauthaler, Markus Krötzsch, Stephan Mennicke
Answering Queries with Negation over Existential Rules
Proceedings of the 36th AAAI Conference on Artificial Intelligence (AAAI 2022), 5626-5633, 2022. AAAI Press
Details Download
Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner
Representing Abstract Dialectical Frameworks with Binary Decision Diagrams
In G. Gottlob, D Inclezan, M. Maratea, eds., Proceedings of the 16th International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR 2022), volume 13416 of Lecture Notes in Computer Science, 177-198, 2022. Springer
Details Download
Stefan Ellmauthaler, Sarah Alice Gaggl, Dominik Rusovac, Johannes P. Wallner
ADF - BDD : An ADF Solver Based on Binary Decision Diagrams
In Francesca Toni, eds., Proceedings of the 9th International Conference on Computational Models of Argument (COMMA 2022), volume 220146 of FAIA, 355-356, September 2022. IOS Press
Details Download
Stefan Ellmauthaler, Konstantin Schekotihin
Tutorial on Multi-Context Stream Reasoning
43rd German Conference on Artificial Intelligence Tutorial, September 2020
Details
Stefan Ellmauthaler
Multi-Context Reasoning in Continuous Data-Flow Environments
KI - Künstliche Intelligenz, 33(1):101-104, March 2019
Details
Lehrveranstaltungen
- Seminar Rule-Based Paradigms in KR (WS 2021)
InnoSale
Innovating Sales and Planning of Complex Industrial Products Exploiting Artificial Intelligence
Nemo
Ein schnelles, skalierbares und verlässliches Regelsystem
ScaDS.AI
Center for Scalable Data Analytics and Artificial Intelligence
Adf-bdd
Abstract Dialectical Frameworks mit Binary Decision Diagrammen lösen
