Hannes Strass

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 30

Top Topics

Abstract Argumentation

Top Venues

Publications

Piotr Gorczyca, Dörthe Arndt, Martin Diller, Pascal Kettmann, Stephan Mennicke, Hannes Strass
A Farewell to Harms: Risk Management for Medical Devices via the Riskman Ontology & Shapes. CoRR (2024)
Florian Emmrich, Lucía Gómez Álvarez, Hannes Strass
Automated reasoning support for Standpoint-OWL 2. CoRR (2023)
Florian Emmrich, Lucía Gómez Álvarez, Hannes Strass
Automated Reasoning Support for Standpoint-OWL 2. JOWO (2023)
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+. KR (2023)
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+. CoRR (2023)
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL. IJCAI (2023)
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL. CoRR (2023)
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
How to Agree to Disagree - Managing Ontological Perspectives using Standpoint Logic. ISWC (2022)
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
Modelling Multiple Perspectives by Standpoint-Enhanced DLs (Extended Abstract). Description Logics (2022)
Ringo Baumann, Hannes Strass
An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms. Artif. Intell. 305 (2022)
Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass
How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic. CoRR (2022)
Martin Diller, Adam Wyner, Hannes Strass
Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural Language ACE: Design of a System with Support for Existential Quantification Using Skolemization. IWCS (2) (2019)
Hannes Strass, Adam Wyner, Martin Diller
: Extracting Meaning from Inconsistent Language: Towards argumentation using a controlled natural language interface. Int. J. Approx. Reason. 112 (2019)
Hannes Strass
Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond. J. Log. Comput. 28 (3) (2018)
Gerhard Brewka, Jörg Pührer, Hannes Strass, Johannes Peter Wallner, Stefan Woltran
Weighted Abstract Dialectical Frameworks: Extended and Revised Report. CoRR (2018)
Gerhard Brewka, Hannes Strass, Johannes Peter Wallner, Stefan Woltran
Weighted Abstract Dialectical Frameworks. AAAI (2018)
Sarah Alice Gaggl, Juan Carlos Nieves, Hannes Strass, Paolo Torroni
Preface. Fundam. Informaticae 155 (3) (2017)
Hannes Strass, Adam Z. Wyner
On Automated Defeasible Reasoning with Controlled Natural Language and Argumentation. AAAI Workshops (2017)
Adam Z. Wyner, Hannes Strass
dARe - Using Argumentation to Explain Conclusions from a Controlled Natural Language Knowledge Base. IEA/AIE (2) (2017)
Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes Peter Wallner, Stefan Woltran
Abstract Dialectical Frameworks. An Overview. FLAP 4 (8) (2017)
Ringo Baumann, Hannes Strass
On the number of bipolar Boolean functions. J. Log. Comput. 27 (8) (2017)
Martin Diller, Adam Z. Wyner, Hannes Strass
Defeasible AceRules: A Prototype. IWCS(1) (2017)
Mario Alviano, Wolfgang Faber, Hannes Strass
Boolean Functions with Ordered Domains in Answer Set Programming. AAAI (2016)
Matthias Thimm, Serena Villata, Federico Cerutti, Nir Oren, Hannes Strass, Mauro Vallati
Summary Report of The First International Competition on Computational Models of Argumentation. AI Mag. 37 (1) (2016)
Thomas Linsbichler, Jörg Pührer, Hannes Strass
Characterizing Realizability in Abstract Argumentation. CoRR (2016)
Thomas Linsbichler, Jörg Pührer, Hannes Strass
A Uniform Account of Realizability in Abstract Argumentation. ECAI (2016)
Sarah Alice Gaggl, Juan Carlos Nieves, Hannes Strass
Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016). CoRR (2016)
Stefan Ellmauthaler, Hannes Strass
DIAMOND 3.0 - A Native C++ Implementation of DIAMOND. COMMA (2016)
Ringo Baumann, Hannes Strass
An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms. KR (2016)
Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Christof Spanring, Hannes Strass, Stefan Woltran
On rejected arguments and implicit conflicts: The hidden power of argumentation semantics. Artif. Intell. 241 (2016)
Hannes Strass
The Relative Expressiveness of Abstract Argumentation and Logic Programming. AAAI (2015)
Hannes Strass
Expressiveness of Two-Valued Semantics for Abstract Dialectical Frameworks. J. Artif. Intell. Res. 54 (2015)
Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran
A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (2015)
Sarah Alice Gaggl, Sebastian Rudolph, Hannes Strass
On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks. IJCAI (2015)
Ringo Baumann, Hannes Strass
Open Problems in Abstract Argumentation. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation (2015)
Hannes Strass, Johannes Peter Wallner
Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory. Artif. Intell. 226 (2015)
Marc Denecker, Gerhard Brewka, Hannes Strass
A Formal Theory of Justifications. LPNMR (2015)
Hannes Strass
On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks. CoRR (2014)
Federico Cerutti, Nir Oren, Hannes Strass, Matthias Thimm, Mauro Vallati
A Benchmark Framework for a Computational Argumentation Competition. COMMA (2014)
Jianmin Ji, Hannes Strass
From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK. ECAI (2014)
Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Hannes Strass, Stefan Woltran
Compact Argumentation Frameworks. CoRR (2014)
Jianmin Ji, Hannes Strass
Implementing Default and Autoepistemic Logics via the Logic of GK. CoRR (2014)
Sarah Alice Gaggl, Hannes Strass
Decomposing Abstract Dialectical Frameworks. COMMA (2014)
Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Hannes Strass, Stefan Woltran
Compact Argumentation Frameworks. ECAI (2014)
Hannes Strass
Implementing Instantiation of Knowledge Bases in Argumentation Frameworks. COMMA (2014)
Stefan Ellmauthaler, Hannes Strass
The DIAMOND System for Computing with Abstract Dialectical Frameworks. COMMA (2014)
Hannes Strass, Johannes Peter Wallner
Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory. KR (2014)
Maurice Pagnucco, David Rajaratnam, Hannes Strass, Michael Thielscher
Implementing Belief Change in the Situation Calculus and an Application. LPNMR (2013)
Stefan Ellmauthaler, Hannes Strass
The DIAMOND System for Argumentation: Preliminary Report. CoRR (2013)
Ringo Baumann, Hannes Strass
On the Maximal and Average Numbers of Stable Extensions. TAFA (2013)
Hannes Strass, Michael Thielscher
A general first-order solution to the ramification problem with cycles. J. Appl. Log. 11 (3) (2013)
Hannes Strass
Approximating operators and semantics for abstract dialectical frameworks. Artif. Intell. 205 (2013)
Hannes Strass
Instantiating Knowledge Bases in Abstract Dialectical Frameworks. CLIMA (2013)
Gerhard Brewka, Hannes Strass, Stefan Ellmauthaler, Johannes Peter Wallner, Stefan Woltran
Abstract Dialectical Frameworks Revisited. IJCAI (2013)
Ringo Baumann, Hannes Strass
Default Reasoning about Actions via Abstract Argumentation. COMMA (2012)
Hannes Strass, Michael Thielscher
A Language for Default Reasoning about Actions. Correct Reasoning (2012)
Maurice Pagnucco, David Rajaratnam, Hannes Strass, Michael Thielscher
How to Plan When Being Deliberately Misled. Automated Action Planning for Autonomous Mobile Robots (2011)
Susana Muñoz-Hernández, Victor Pablos Ceruelo, Hannes Strass
RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog. Inf. Sci. 181 (10) (2011)
Ringo Baumann, Gerhard Brewka, Hannes Strass, Michael Thielscher, Vadim Zaslawski
State Defaults and Ramifications in the Unifying Action Calculus. KR (2010)
Hannes Strass, Michael Thielscher
Default Reasoning in Action Domains with Conditional, Non-Local Effect Actions. LPAR short papers(Yogyakarta) (2010)
Hannes Strass, Susana Muñoz-Hernández, Victor Pablos Ceruelo
Operational Semantics for a Fuzzy Logic Programming System with Defaults and Constructive Answers. IFSA/EUSFLAT Conf. (2009)
Hannes Strass, Michael Thielscher
On Defaults in Action Theories. KI (2009)
Susana Muñoz-Hernández, Victor Pablos Ceruelo, Hannes Strass
RFuzzy: An Expressive Simple Fuzzy Compiler. IWANN (1) (2009)
Victor Pablos Ceruelo, Susana Muñoz-Hernández, Hannes Strass
Rfuzzy framework CoRR (2009)
Hannes Strass, Michael Thielscher
Simple Default Reasoning in Theories of Action. Australasian Conference on Artificial Intelligence (2009)