Stefan Ellmauthaler

Postdoctoral Researcher

Intelligent Systems Group
Computer Science Institute
Leipzig University

Office address	Postal address
Augustusplatz 10, Paulinum, Room P810 04109 Leipzig Germany	P.O. Box 100920 04009 Leipzig Germany

email:	ellmauthaler at informatik dot uni-leipzig dot de [GnuPG Key]
phone:	+49 (0) 341 / 97 - 32234
fax:	+49 (0) 341 / 97 - 32299

orcid.org/0000-0003-3882-4286

Short Bio

I was born in 1986 in Vienna, Austria. Currently I am working as a postdoctoral researcher in the group of Prof. Dr. Gerhard Brewka. 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. My PhD Thesis "Multi-Context Reasoning in Continuous Data-Flow Environments" has been supervised by Prof. Gerhard Brewka. After being empoyed at various DFG Projects I am now employed as a Postdoctoral Research Assistent at the Leipzig University.

For more details see my curriculum vitae in english or german.

Publications

a complete list of publications and papers to appear [complete publication list]
dblp computer science bibliography [dblp]
google scholar profile [google]

Research Interests

answer-set programming
(abstract) argumentation theory
game theory
knowledge representation

logic programming
multi-context reasoning
nonmonotonic reasoning
proof theory

Awards

Together with Christoph Redl and Peter Schüller, we are the winning team of the Modelling Competition of the 7^th Answer Set Programming Competition at the 14^th International Conference on Logic Programming and Nonmonotonic Reasoning 2017.
Together with Günther Charwat, our team has taken the 3^rd place in the Answer Set Modelling Competition 2014 at FLoC Olympic Games 2014 during the 30^th International Conference on Logic Programming
Together with Claudia Schulz and Martin Gebser, we are the winning team of the 20^th PROLOG Programming Contest at the 29^th International Conference on Logic Programming.

Additional Links

list of public available additional material (e.g. posters and slides) [link]
The Hybris Leipzig video at youtube [youtube]
related software systems

ARCOS (Asynchronous Reasoning with COntexts and Streams) [Sourceforge-Site]
DIAMOND (DIAlectictal MOdels eNcoDing) [link, Sourceforge-Site]
The ADFsys system [link]
The Potsdam Answer Set Solving Collection (Potassco) [link]

Festschrift Dedicated to Gerhard Brewka on the Occasion of His 60^th Birthday [link]
related projects and institutions

association for logic programming [link]
"hybrid reasoning for intelligent systems" research group [link]

PROLOG systems

ECLⁱPS^e [link]
SWI [link]
GNU [link]