Hannes Straß
Dr. habil. Hannes Straß
Research Associate Computational Logic
- hannes.strass@tu-dresden.de
- +49 351 463 43560
- APB 2036
I am a research associate in Sebastian Rudolph's Computational Logic Group and a part of ScaDS.AI.
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
Adding Standpoint Modalities to Non-Monotonic S4F: Preliminary Results
In Nina Gierasimczuk, Jesse Heyninck, eds., Proceedings of the 22nd International Workshop on Non-Monotonic Reasoning, to appear
Details Download
Consequence Operators for Characterization Logics – The Case of Abstract Argumentation
In Gopal Gupta and Carmine Dodaro and Maria Vanina Martínez, eds., Proceedings of the Seventeenth International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR), LNCS, to appear. Springer
Details Download
Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL
Proceedings of the 32nd International Joint Conference on Artificial Intelligence, IJCAI 2023, 3258-3267, 2023. ijcai.org
Details Download
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+
In Pierre Marquis, Tran Cao Son, Gabriele Kern-Isberner, eds., Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 333-343, 2023. IJCAI Inc
Details Download
Automated Reasoning Support for Standpoint-OWL 2
In Sergio de Cesare, Tiago Prince Sales, eds., Proceedings of th 13th International Conference on Formal Ontology in Information Systems (FOIS 2023), Ontology Showcase and Demonstrations Track, 2023
Details Download
How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic
In Ulrike Sattler, Aidan Hogan, Maria Keet, Valentina Presutti, João Paulo A. Almeida, Hideaki Takeda, Pierre Monnin, Giuseppe Pirrò, Claudia d'Amato, eds., Proceedings of the 21st International Semantic Web Conference (ISWC 22), volume 13489 of Lecture Notes in Computer Science, October 2022. Springer
Details Download
Modelling Multiple Perspectives by Standpoint-Enhanced Description Logics (Extended Abstract)
In Ofer Arieli, Martin Homola, Jean Christoph Jung, Marie-Laure Mugnier, eds., Proceedings of the 35th International Workshop on Description Logics (DL 2022), volume 3263, August 2022. CEUR Workshop Proceedings
Details Download
An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation Formalisms
Artificial Intelligence, 305:103680, April 2022
Details Download
On the Decomposition of ADFs and the Complexity of Naive-based Semantics
IJCAI 2021 Journal Track, 2021
Details
On the Decomposition of ADFs and the Complexity of Naive-based Semantics
Journal of Artificial Intelligence Research, 70:1-64, January 2021
Details Download
Courses
- Theoretische Informatik und Logik (SS 2025)
- Formale Systeme (WS 2024)
- Foundations of Knowledge Representation (WS 2024)
- Algorithmic Game Theory (SS 2024)
- Advanced Problem Solving and Search (WS 2023)
show further courses
