Skip to content

Hannes Strass

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

30

Venues

10

Active years

2009–2026

Best venue rank

A*

Where they publish

Papers

30 indexed papers, newest first.

YearVenueTitleAuthors
2026AAAINon-Monotonic S4F Standpoint Logic.Piotr Gorczyca, Hannes Strass
2025IJCAIApproximation Fixpoint Theory as a Unifying Framework for Fuzzy Logic Programming Semantics.Pascal Kettmann, Jesse Heyninck, Hannes Strass
2024LPNMRConsequence Operators of Characterization Logics - The Case of Abstract Argumentation.Ringo Baumann, Hannes Strass
2023IJCAITractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL.Luca Gmez lvarez, Sebastian Rudolph, Hannes Strass
2023KRPushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+.Luca Gmez lvarez, Sebastian Rudolph, Hannes Strass
2018AAAIWeighted Abstract Dialectical Frameworks.Gerhard Brewka, Hannes Strass, Johannes P. Wallner, Stefan Woltran
2017AAAIOn Automated Defeasible Reasoning with Controlled Natural Language and Argumentation.Hannes Strass, Adam Z. Wyner
2016AAAIBoolean Functions with Ordered Domains in Answer Set Programming.Mario Alviano, Wolfgang Faber, Hannes Strass
2016COMMADIAMOND 3.0 - A Native C++ Implementation of DIAMOND.Stefan Ellmauthaler, Hannes Strass
2016ECAIA Uniform Account of Realizability in Abstract Argumentation.Thomas Linsbichler, Jrg Phrer, Hannes Strass
2016KRAn Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms.Ringo Baumann, Hannes Strass
2015AAAIThe Relative Expressiveness of Abstract Argumentation and Logic Programming.Hannes Strass
2015IJCAIOn the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks.Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass
2015LPNMRA Formal Theory of Justifications.Marc Denecker, Gerhard Brewka, Hannes Strass
2014COMMAA Benchmark Framework for a Computational Argumentation Competition.Federico Cerutti, Nir Oren, Hannes Strass, Matthias Thimm, Mauro Vallati
2014COMMAThe DIAMOND System for Computing with Abstract Dialectical Frameworks.Stefan Ellmauthaler, Hannes Strass
2014COMMADecomposing Abstract Dialectical Frameworks.Sarah Alice Gaggl, Hannes Strass
2014COMMAImplementing Instantiation of Knowledge Bases in Argumentation Frameworks.Hannes Strass
2014ECAICompact Argumentation Frameworks.Ringo Baumann, Wolfgang Dvork, Thomas Linsbichler, Hannes Strass, Stefan Woltran
2014ECAIFrom Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK.Jianmin Ji, Hannes Strass
2014KRAnalyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory.Hannes Strass, Johannes Peter Wallner
2013IJCAIAbstract Dialectical Frameworks Revisited.Gerhard Brewka, Hannes Strass, Stefan Ellmauthaler, Johannes Peter Wallner, Stefan Woltran
2013LPNMRImplementing Belief Change in the Situation Calculus and an Application.Maurice Pagnucco, David Rajaratnam, Hannes Strass, Michael Thielscher
2012COMMADefault Reasoning about Actions via Abstract Argumentation.Ringo Baumann, Hannes Strass
2011AAAIHow to Plan When Being Deliberately Misled.Maurice Pagnucco, David Rajaratnam, Hannes Strass, Michael Thielscher
2010KRState Defaults and Ramifications in the Unifying Action Calculus.Ringo Baumann, Gerhard Brewka, Hannes Strass, Michael Thielscher, Vadim Zaslawski
2010LPARDefault Reasoning in Action Domains with Conditional, Non-Local Effect Actions.Hannes Strass, Michael Thielscher
2009EUSFLATOperational Semantics for a Fuzzy Logic Programming System with Defaults and Constructive Answers.Hannes Strass, Susana Muoz-Hernndez, Victor Pablos Ceruelo
2009IWANNRFuzzy: An Expressive Simple Fuzzy Compiler.Susana Muoz-Hernndez, Victor Pablos Ceruelo, Hannes Strass
2009KIOn Defaults in Action Theories.Hannes Strass, Michael Thielscher