Publications of Hannes Straß

Journal Articles

Ringo Baumann, Hannes Straß
An Abstract, Logical Approach to Characterizing Strong Equivalence in Non-monotonic Knowledge Representation Formalisms
Artificial Intelligence, 305:103680, April 2022
Details Download

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

Hannes Straß, Adam Z. 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

Hannes Straß
Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond
Journal of Logic and Computation, 28:605--627, 2018
Details Download

Ringo Baumann, Hannes Straß
On the Number of Bipolar Boolean Functions
Journal of Logic and Computation, 27(8):2431--2449, 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 Download

Ringo Baumann, Wolfgang Dvořák, Thomas Linsbichler, Christof Spanring, Hannes Straß, Stefan Woltran
On rejected arguments and implicit conflicts: The hidden power of argumentation semantics
Artificial Intelligence, 241:244--284, 2016
Details Download

Matthias Thimm, Serena Villata, Federico Cerutti, Nir Oren, Hannes Straß, Mauro Vallati
Summary Report of The First International Competition on Computational Models of Argumentation
AI Magazine, 37(1):102, 2016
Details Download

Hannes Straß
Expressiveness of Two-Valued Semantics for Abstract Dialectical Frameworks
Journal of Artificial Intelligence Research, 54:193--231, 2015
Details Download

Hannes Straß, Johannes Peter Wallner
Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory
Artificial Intelligence, 226:34--74, 2015
Details Download

Hannes Straß, Michael Thielscher
A general first-order solution to the ramification problem with cycles
Journal of Applied Logic, 11(3):289--308, 2013
Details Download

Hannes Straß
Approximating Operators and Semantics for Abstract Dialectical Frameworks
Artificial Intelligence, 205:39--70, December 2013
Details Download

Susana Muñoz-Hernández, Victor Pablos-Ceruelo, Hannes Straß
RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog
Information Sciences, 181(10):1951--1970, 2011
Details Download

Proceedings Articles

Florian Emmrich, Lucía Gómez Álvarez, Hannes Straß
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

Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Straß
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

Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Straß
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

Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Straß
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

Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Straß
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

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 Z. 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
In Simon Dobnik and Stergios Chatzikyriakidis and Vera Demberg, eds., Proceedings of the Thirteenth International Conference on Computational Semantics (IWCS), Short Papers, 32--37, May 2019. The Association for Computational Linguistics
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, February 2018. AAAI Press
Details

Martin Diller, Adam Z. Wyner, Hannes Straß
Defeasible AceRules: A Prototype
In Claire Gardent and Christian Retoré, eds., Proceedings of the Twelfth International Conference on Computational Semantics (IWCS), Long Papers, September 2017. The Association for Computer Linguistics
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), February 2017
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, June 2017. Springer
Details Download

Mario Alviano, Wolfgang Faber, Hannes Straß
Boolean Functions with Ordered Domains in Answer Set Programming
In Dale Schuurmans and Michael Wellman, eds., Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence (AAAI), 879--885, February 2016. AAAI Press
Details Download

Ringo Baumann, Hannes Straß
An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms
Proceedings of the Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning (KR), 525--528, May 2016. AAAI Press
Details Download

Stefan Ellmauthaler, Hannes Straß
DIAMOND 3.0 -- A Native C++ Implementation of DIAMOND
In Pietro Baroni, eds., Proceedings of the Sixth International Conference on Computational Models of Argument (COMMA), volume 287 of Frontiers in Artificial Intelligence and Applications, 471--472, September 2016. IOS Press
Details Download

Thomas Linsbichler, Jörg Pührer, Hannes Straß
A Uniform Account of Realizability in Abstract Argumentation
In Maria Fox and Gal Kaminka and Frank van Harmelen, eds., Proceedings of the Twenty-Second European Conference on Artificial Intelligence (ECAI), volume 285 of Frontiers in Artificial Intelligence and Applications, 252--260, September 2016. IOS Press
Details Download

Thomas Linsbichler, Jörg Pührer, Hannes Straß
Characterizing Realizability in Abstract Argumentation
In Gabriele Kern-Isberner and Renata Wassermann, eds., Proceedings of the Sixteenth International Workshop on Non-Monotonic Reasoning (NMR), April 2016
Details Download

Ringo Baumann, Hannes Straß
Open Problems in Abstract Argumentation
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation -- Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, volume 9060 of LNCS, 325--339, 2015. Springer-Verlag Berlin Heidelberg
Details Download

Marc Denecker, Gerhard Brewka, Hannes Straß
A Formal Theory of Justifications
In Francesco Calimeri and Giovambattista Ianni and Mirosław Truszczyński, eds., Proceedings of the Thirteenth International Conference on Logic Programming and Non-monotonic Reasoning (LPNMR), 250--264, September 2015. Springer-Verlag Berlin Heidelberg
Details Download

Thomas Eiter, Hannes Straß, Mirosław Truszczyński, Stefan Woltran
A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation -- Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday, volume 9060 of LNCS, 1--16, 2015. Springer-Verlag Berlin Heidelberg
Details Download

Sarah Alice Gaggl, Sebastian Rudolph, Hannes Straß
On the Computational Complexity of Naive-based Semantics for Abstract Dialectical Frameworks
In Qiang Yang and Michael Wooldridge, eds., Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI 2015), AAAI Press, 2985--2991, July 2015. AAAI Press
Details Download

Hannes Straß
The Relative Expressiveness of Abstract Argumentation and Logic Programming
In Sven Koenig and Blai Bonet, eds., Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence (AAAI), 1625--1631, January 2015. AAAI Press
Details Download

Hannes Straß
Representational Succinctness of Abstract Dialectical Frameworks
In Elizabeth Black and Sanjay Modgil and Nir Oren, eds., Proceedings of the Third International Workshop on Theory and Applications of Formal Argumentation (TAFA 2015), July 2015
Details Download

Ringo Baumann, Wolfgang Dvořák, Thomas Linsbichler, Hannes Straß, Stefan Woltran
Compact Argumentation Frameworks
In Sébastien Konieczny and Hans Tompits, eds., Proceedings of the Fifteenth International Workshop on Non-Monotonic Reasoning (NMR), July 2014
Details Download

Ringo Baumann, Wolfgang Dvořák, Thomas Linsbichler, Hannes Straß, Stefan Woltran
Compact Argumentation Frameworks
Proceedings of the Twenty-First European Conference on Artificial Intelligence (ECAI), 69--74, August 2014. IOS Press
Details Download

Ringo Baumann, Hannes Straß
On the Maximal and Average Numbers of Stable Extensions
In Elizabeth Black and Sanjay Modgil and Nir Oren, eds., Proceedings of the Second International Workshop on Theory and Applications of Formal Argumentation (TAFA 2013), volume 8306 of LNAI, 111--126, August 2014. Springer
Details Download

Federico Cerutti, Nir Oren, Hannes Straß, Matthias Thimm, Mauro Vallati
A Benchmark Framework for a Computational Argumentation Competition
In Simon Parsons and Nir Oren and Chris Reed, eds., Proceedings of the Fifth International Conference on Computational Models of Argument (COMMA), volume 266 of Frontiers in Artificial Intelligence and Applications, 459--460, September 2014. IOS Press
Details Download

Stefan Ellmauthaler, Hannes Straß
The DIAMOND System for Computing with Abstract Dialectical Frameworks
In Simon Parsons and Nir Oren and Chris Reed, eds., Proceedings of the Fifth International Conference on Computational Models of Argument (COMMA), volume 266 of Frontiers in Artificial Intelligence and Applications, 233--240, September 2014. IOS Press
Details Download

Sarah Alice Gaggl, Hannes Straß
Decomposing Abstract Dialectical Frameworks
In Simon Parsons, Nir Oren, Chris Reed, Federico Cerutti, eds., Proceedings of the 5th International Conference on Computational Models of Argument (COMMA 2014), volume 266 of Frontiers in Artificial Intelligence and Applications, 281-292, 2014. IOS Press
Details Download

Jianmin Ji, Hannes Straß
Implementing Default and Autoepistemic Logics via the Logic of GK
In Sébastien Konieczny and Hans Tompits, eds., Proceedings of the Fifteenth International Workshop on Non-Monotonic Reasoning (NMR), July 2014
Details Download

Jianmin Ji, Hannes Straß
From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK
Proceedings of the Twenty-First European Conference on Artificial Intelligence (ECAI), 1039--1040, August 2014. IOS Press
Details Download

Hannes Straß
Implementing Instantiation of Knowledge Bases in Argumentation Frameworks
In Simon Parsons and Nir Oren and Chris Reed, eds., Proceedings of the Fifth International Conference on Computational Models of Argument (COMMA), volume 266 of Frontiers in Artificial Intelligence and Applications, 475--476, September 2014. IOS Press
Details Download

Hannes Straß, Johannes Peter Wallner
Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory
Proceedings of the Fourteenth International Conference on the Principles of Knowledge Representation and Reasoning (KR), 101--110, July 2014. AAAI Press
Details Download

Hannes Straß
On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks
In Sébastien Konieczny and Hans Tompits, eds., Proceedings of the Fifteenth International Workshop on Non-Monotonic Reasoning (NMR), July 2014
Details Download

Gerhard Brewka, Stefan Ellmauthaler, Hannes Straß, Johannes Peter Wallner, Stefan Woltran
Abstract Dialectical Frameworks Revisited
Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence (IJCAI), 803--809, August 2013. IJCAI/AAAI
Details Download

Stefan Ellmauthaler, Hannes Straß
The DIAMOND System for Argumentation: Preliminary Report
In Michael Fink and Yuliya Lierler, eds., Proceedings of the Sixth International Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP), September 2013
Details Download

Maurice Pagnucco, David Rajaratnam, Hannes Straß, Michael Thielscher
Implementing Belief Change in the Situation Calculus and an Application
Proceedings of the Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR), volume 8148 of LNAI, 439--451, September 2013. Springer-Verlag Berlin Heidelberg
Details Download

Hannes Straß
Instantiating Knowledge Bases in Abstract Dialectical Frameworks
In João Leite and Tran Cao Son and Paolo Torroni and Leon van der Torre and Stefan Woltran, eds., Proceedings of the Fourteenth International Workshop on Computational Logic in Multi-Agent Systems (CLIMA XIV), volume 8143 of LNCS, 86--101, September 2013. Springer
Details Download

Ringo Baumann, Hannes Straß
Default Reasoning about Actions via Abstract Argumentation
In Bart Verheij and Stefan Szeider and Stefan Woltran, eds., Proceedings of the Fourth International Conference on Computational Models of Argument (COMMA), volume 245 of Frontiers in Artificial Intelligence and Applications, 297--309, September 2012. IOS Press
Details Download

Gerhard Brewka, Hannes Straß, Michael Thielscher
Declarative Strategies for Agents with Incomplete Knowledge
In Riccardo Rosati and Stefan Woltran, eds., Proceedings of the Fourteenth International Workshop on Non-Monotonic Reasoning (NMR), June 2012
Details Download

Hannes Straß
The draculasp System: Default Reasoning about Actions and Change Using Logic and Answer Set Programming
In Riccardo Rosati and Stefan Woltran, eds., Proceedings of the Fourteenth International Workshop on Non-Monotonic Reasoning (NMR), June 2012
Details Download

Hannes Straß, Michael Thielscher
A Language for Default Reasoning about Actions
Correct Reasoning: Essays on Logic-Based AI in Honour of Vladimir Lifschitz, volume 7265 of LNCS, 527--542, 2012. Springer-Verlag Berlin Heidelberg
Details Download

Maurice Pagnucco, David Rajaratnam, Hannes Straß, Michael Thielscher
How to Plan When Being Deliberately Misled
Proceedings of the Workshop on Automated Action Planning for Autonomous Mobile Robots (PAMR), August 2011
Details Download

Hannes Straß
Default Reasoning about Conditional, Non-Local and Disjunctive Effect Actions
Proceedings of the Ninth International Workshop on Nonmonotonic Reasoning, Action and Change (NRAC), July 2011
Details Download

Ringo Baumann, Gerhard Brewka, Hannes Straß, Michael Thielscher, Vadim Zaslawski
State Defaults and Ramifications in the Unifying Action Calculus
Proceedings of the Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR), 435--444, May 2010. AAAI Press
Details Download

Hannes Straß, Michael Thielscher
A General First-Order Solution to the Ramification Problem
In Thomas Meyer and Eugenia Ternovska, eds., Proceedings of the Thirteenth International Workshop on Non-Monotonic Reasoning (NMR), May 2010. CEUR-WS.org
Details Download

Hannes Straß, Michael Thielscher
Default Reasoning in Action Theories with Conditional, Non-Local Effect Actions
Short Paper Proceedings of the Seventeenth International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), October 2010
Details Download

Victor Pablos Ceruelo, Hannes Straß, Susana Muñoz-Hernández
RFuzzy---A Framework for Multi-adjoint Fuzzy Logic Programming
NAFIPS 2009. Annual Meeting of the North American Fuzzy Information Processing Society, 1--6, June 2009. IEEE
Details Download

Susana Muñoz-Hernández, Victor Pablos Ceruelo, Hannes Straß
RFuzzy: An Expressive Simple Fuzzy Compiler
In Sigeru Omatu and Miguel Rocha and José Bravo and Florentino Fernández Riverola and Emilio Corchado and Andrés Bustillo and Juan M. Corchado, eds., IWANN (2), volume 5518 of Lecture Notes in Computer Science, 270--277, June 2009. Springer-Verlag Berlin Heidelberg
Details Download

Hannes Straß, Michael Thielscher
Defaults in Action: Non-monotonic Reasoning About States in Action Calculi
In G. Lakemeyer and L. Morgenstern and M.-A. Williams, eds., Proceedings of the Ninth International Symposium on Logical Formalizations of Commonsense Reasoning, 123--128, June 2009
Details Download

Hannes Straß, Susana Muñoz-Hernández, Victor Pablos Ceruelo
Operational Semantics for a Fuzzy Logic Programming System with Defaults and Constructive Answers
In J. P. Carvalho and D. Dubois and U. Kaymak and J. M. C. Sousa, eds., Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference (IFSA/EUSFLAT), 1827--1832, July 2009. International Fuzzy Systems Association (IFSA), European Society for Fuzzy Logic and Technology (EUSFLAT)
Details Download

Hannes Straß, Michael Thielscher
On Defaults in Action Theories
In B. Mertsching and M. Hund and Z. Aziz, eds., Proceedings of the 32nd German Annual Conference on Artificial Intelligence (KI), 298--305, September 2009. Springer-Verlag Berlin Heidelberg
Details Download

Hannes Straß, Michael Thielscher
Simple Default Reasoning in Theories of Action
In Ann Nicholson and Xiaodong Li, eds., Proceedings of the 22nd Australasian Joint Conference on Artificial Intelligence (AI), 31--40, December 2009. Springer-Verlag Berlin Heidelberg
Details Download

Victor Pablos Ceruelo, Susana Muñoz-Hernández, Hannes Straß
RFuzzy Framework
In Puri Arenas and Damiano Zanardini, eds., 18th Workshop on Logic-based methods in Programming Environments (WLPE), 62--76, December 2008
Details Download

Books

Hannes Straß
Abstract Dialectical Frameworks. An Analysis of their Properties and Role in Knowledge Representation and Reasoning
Habilitationsschrift. Universität Leipzig, 2017
Details Download

Edited Proceedings

Sarah Alice Gaggl, Juan Carlos Nieves, Hannes Straß
Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016)
Volume abs/1611.02439, November 2016. CoRR
Details Download

Technical Reports

Hannes Straß
Approximating Operators and Semantics for Abstract Dialectical Frameworks
Technical Report 1, Institut für Informatik, Universität Leipzig, January 2013
Details Download

Hannes Straß, Johannes Peter Wallner
Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory
Technical Report 2, Institut für Informatik, Universität Leipzig, November 2013
Details Download