Hannes Straß

From International Center for Computational Logic

Dr. habil. Hannes Straß

Research AssociateTechnische Universität DresdenInternational Center for Computational Logic Computational Logic

I am a research associate in Sebastian Rudolph's Computational Logic Group since July 2021.

I received my PhD (Dr. rer. nat.) and habilitation both from Leipzig University in 2012 and 2017, respectively. My habilitation thesis is titled “Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning”; its acceptance was recommended by Prof. Gerhard Brewka, Prof. Marc Denecker, and Prof. Paul E. Dunne. My PhD thesis “Default Reasoning about Actions” was supervised by Prof. Michael Thielscher and Prof. Gerhard Brewka.

From January 2018 to June 2021, I worked as a Senior Innovation Expert at compl3te GmbH in Leipzig. From May 2011 to December 2017, I was a research associate in the group of Prof. Gerhard Brewka at Leipzig University. From September 2010 to April 2011, I was a visiting researcher at The University of New South Wales in Sydney, Australia. From October 2008 to February 2011, I was a research associate and PhD student in Michael Thielscher's Computational Logic Group at TU Dresden. Before that, I obtained my B.Sc. in Computer Science and M.Sc. in Computational Logic both from the TU Dresden in 2006 and 2008, respectively.

My main research interest lies in logic-based knowledge representation and reasoning, with a special focus on non-monotonic reasoning.

Newest Publications

View full publication list

Sarah Alice Gaggl, Sebastian Rudolph, Hannes Straß
On the Decomposition of ADFs and the Complexity of Naive-based Semantics
Journal of Artificial Intelligence Research, 70:1-64, January 2021
Details Download
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Straß
On the Decomposition of ADFs and the Complexity of Naive-based Semantics
IJCAI 2021 Journal Track, 2021
Details
Martin Diller, Adam Zachary Wyner, Hannes Straß
Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural Language ACE: Design of a System with Support for Existential Quantification Using Skolemization
Proceedings of the 13th International Conference on Computational Semantics, 32-37, 2019. Association for Computational Linguistics
Details Download
Hannes Straß, Adam Zachary Wyner, Martin Diller
EMIL: Extracting Meaning from Inconsistent Language: Towards argumentation using a controlled natural language interface
International Journal of Approximate Reasoning, 112:55-84, 2019
Details Download
Gerhard Brewka, Hannes Straß, Johannes P. Wallner, Stefan Woltran
Weighted Abstract Dialectical Frameworks
In Sheila McIlraith and Kilian Weinberger, eds., Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence (AAAI), 1779--1786,  2018. AAAI Press
Details
Hannes Straß
Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond
Journal of Logic and Computation, 28:605--627, 2018
Details Download
Adam Z. Wyner, Hannes Straß
dARe -- Using Argumentation to Explain Conclusions from a Controlled Natural Language Knowledge Base
In Salem Benferhat and Karim Tabia and Moonis Ali, eds., Proceedings of the Thirtieth International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems (IEA/AIE) -- Special Track on Applications of Argumentation, volume 10351 of Lecture Notes in Artificial Intelligence, 328--338,  2017. Springer
Details Download
Hannes Straß, Adam Wyner
On Automated Defeasible Reasoning with Controlled Natural Language and Argumentation
In Roman Barták and Thomas Leo McCluskey and Enrico Pontelli, eds., Proceedings of the Second International Workshop on Knowledge-based Techniques for Problem Solving and Reasoning (KnowProS),  2017
Details Download
Gerhard Brewka, Stefan Ellmauthaler, Hannes Straß, Johannes Peter Wallner, Stefan Woltran
Abstract Dialectical Frameworks. An Overview
FLAP, 4(8):2263--2317, 2017
Details
View full publication list