default search action
Hannes Strass
Person information
- affiliation: TU Dresden, Germany
- affiliation (former): University of Leipzig, Department of Computer Science, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c41]Ringo Baumann
, Hannes Strass
Consequence Operators of Characterization Logics - The Case of Abstract Argumentation. LPNMR 2024: 154-166 - [c40]Piotr Gorczyca, Hannes Strass:
Adding Standpoint Modalities to Non-Monotonic S4F: Preliminary Results. NMR 2024: 83-93 - [i13]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 abs/2405.09875 (2024) - 2023
- [c39]Lucía Gómez Álvarez
Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL. IJCAI 2023: 3258-3267 - [c38]Florian Emmrich, Lucía Gómez Álvarez, Hannes Strass:
Automated Reasoning Support for Standpoint-OWL 2. JOWO 2023 - [c37]Lucía Gómez Álvarez
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+. KR 2023: 333-343 - [i12]Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass:
Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL. CoRR abs/2302.13187 (2023) - [i11]Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass:
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+. CoRR abs/2304.14323 (2023) - [i10]Florian Emmrich, Lucía Gómez Álvarez, Hannes Strass:
Automated reasoning support for Standpoint-OWL 2. CoRR abs/2305.00559 (2023) - 2022
- [j14]Ringo Baumann
An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms. Artif. Intell. 305: 103680 (2022) - [c36]Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass:
Modelling Multiple Perspectives by Standpoint-Enhanced DLs (Extended Abstract). Description Logics 2022 - [c35]Lucía Gómez Álvarez
How to Agree to Disagree - Managing Ontological Perspectives using Standpoint Logic. ISWC 2022: 125-141 - [i9]Lucía Gómez Álvarez, Sebastian Rudolph, Hannes Strass:
How to Agree to Disagree: Managing Ontological Perspectives using Standpoint Logic. CoRR abs/2206.06793 (2022) - 2021
- [j13]Sarah Alice Gaggl, Sebastian Rudolph
On the Decomposition of Abstract Dialectical Frameworks and the Complexity of Naive-based Semantics. J. Artif. Intell. Res. 70: 1-64 (2021)
2010 – 2019
- 2019
- [j12]Hannes Strass, Adam Wyner, Martin Diller
EMIL: Extracting Meaning from Inconsistent Language: Towards argumentation using a controlled natural language interface. Int. J. Approx. Reason. 112: 55-84 (2019) - [c34]Martin Diller
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: 32-37 - 2018
- [j11]Hannes Strass:
Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond. J. Log. Comput. 28(3): 605-627 (2018) - [c33]Gerhard Brewka, Hannes Strass, Johannes Peter Wallner, Stefan Woltran:
Weighted Abstract Dialectical Frameworks. AAAI 2018: 1779-1786 - [i8]Gerhard Brewka, Jörg Pührer, Hannes Strass, Johannes Peter Wallner, Stefan Woltran:
Weighted Abstract Dialectical Frameworks: Extended and Revised Report. CoRR abs/1806.07717 (2018) - 2017
- [j10]Gerhard Brewka, Stefan Ellmauthaler, Hannes Strass, Johannes Peter Wallner, Stefan Woltran:
Abstract Dialectical Frameworks. An Overview. FLAP 4(8) (2017) - [j9]Sarah Alice Gaggl, Juan Carlos Nieves, Hannes Strass, Paolo Torroni
Preface. Fundam. Informaticae 155(3): i-iii (2017) - [j8]Ringo Baumann, Hannes Strass:
On the number of bipolar Boolean functions. J. Log. Comput. 27(8): 2431-2449 (2017) - [c32]Hannes Strass, Adam Z. Wyner:
On Automated Defeasible Reasoning with Controlled Natural Language and Argumentation. AAAI Workshops 2017 - [c31]Adam Z. Wyner
dARe - Using Argumentation to Explain Conclusions from a Controlled Natural Language Knowledge Base. IEA/AIE (2) 2017: 328-338 - [c30]Martin Diller, Adam Z. Wyner, Hannes Strass:
Defeasible AceRules: A Prototype. IWCS(1) 2017 - 2016
- [j7]Ringo Baumann, Wolfgang Dvorák
On rejected arguments and implicit conflicts: The hidden power of argumentation semantics. Artif. Intell. 241: 244-284 (2016) - [j6]Matthias Thimm, Serena Villata, Federico Cerutti
Summary Report of The First International Competition on Computational Models of Argumentation. AI Mag. 37(1): 102 (2016) - [c29]Mario Alviano, Wolfgang Faber, Hannes Strass:
Boolean Functions with Ordered Domains in Answer Set Programming. AAAI 2016: 879-885 - [c28]Stefan Ellmauthaler
DIAMOND 3.0 - A Native C++ Implementation of DIAMOND. COMMA 2016: 471-472 - [c27]Thomas Linsbichler, Jörg Pührer, Hannes Strass:
A Uniform Account of Realizability in Abstract Argumentation. ECAI 2016: 252-260 - [c26]Ringo Baumann, Hannes Strass:
An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms. KR 2016: 525-528 - [e2]Matthias Thimm, Federico Cerutti, Hannes Strass, Mauro Vallati:
Proceedings of the First International Workshop on Systems and Algorithms for Formal Argumentation (SAFA) co-located with the 6th International Conference on Computational Models of Argument (COMMA 2016), Potsdam, Germany, September 13, 2016. CEUR Workshop Proceedings 1672, CEUR-WS.org 2016 [contents] - [i7]Thomas Linsbichler, Jörg Pührer, Hannes Strass:
Characterizing Realizability in Abstract Argumentation. CoRR abs/1603.09545 (2016) - [i6]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 abs/1611.02439 (2016) - 2015
- [j5]Hannes Strass, Johannes Peter Wallner:
Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory. Artif. Intell. 226: 34-74 (2015) - [j4]Hannes Strass:
Expressiveness of Two-Valued Semantics for Abstract Dialectical Frameworks. J. Artif. Intell. Res. 54: 193-231 (2015) - [c25]Hannes Strass:
The Relative Expressiveness of Abstract Argumentation and Logic Programming. AAAI 2015: 1625-1631 - [c24]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: 1-16 - [c23]Ringo Baumann, Hannes Strass:
Open Problems in Abstract Argumentation. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation 2015: 325-339 - [c22]Sarah Alice Gaggl, Sebastian Rudolph
On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks. IJCAI 2015: 2985-2991 - [c21]Marc Denecker, Gerhard Brewka, Hannes Strass:
A Formal Theory of Justifications. LPNMR 2015: 250-264 - [e1]Thomas Eiter, Hannes Strass, Miroslaw Truszczynski, Stefan Woltran:
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation - Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday. Lecture Notes in Computer Science 9060, Springer 2015, ISBN 978-3-319-14725-3 [contents] - 2014
- [c20]Stefan Ellmauthaler
The DIAMOND System for Computing with Abstract Dialectical Frameworks. COMMA 2014: 233-240 - [c19]Sarah Alice Gaggl, Hannes Strass:
Decomposing Abstract Dialectical Frameworks. COMMA 2014: 281-292 - [c18]Federico Cerutti
A Benchmark Framework for a Computational Argumentation Competition. COMMA 2014: 459-460 - [c17]Hannes Strass:
Implementing Instantiation of Knowledge Bases in Argumentation Frameworks. COMMA 2014: 475-476 - [c16]Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Hannes Strass, Stefan Woltran:
Compact Argumentation Frameworks. ECAI 2014: 69-74 - [c15]Jianmin Ji
From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK. ECAI 2014: 1039-1040 - [c14]Hannes Strass, Johannes Peter Wallner:
Analyzing the Computational Complexity of Abstract Dialectical Frameworks via Approximation Fixpoint Theory. KR 2014 - [i5]Ringo Baumann, Wolfgang Dvorák, Thomas Linsbichler, Hannes Strass, Stefan Woltran:
Compact Argumentation Frameworks. CoRR abs/1404.7734 (2014) - [i4]Hannes Strass:
On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks. CoRR abs/1405.0805 (2014) - [i3]Jianmin Ji, Hannes Strass:
Implementing Default and Autoepistemic Logics via the Logic of GK. CoRR abs/1405.0809 (2014) - 2013
- [j3]Hannes Strass:
Approximating operators and semantics for abstract dialectical frameworks. Artif. Intell. 205: 39-70 (2013) - [j2]Hannes Strass, Michael Thielscher
A general first-order solution to the ramification problem with cycles. J. Appl. Log. 11(3): 289-308 (2013) - [c13]Hannes Strass:
Instantiating Knowledge Bases in Abstract Dialectical Frameworks. CLIMA 2013: 86-101 - [c12]Gerhard Brewka, Hannes Strass, Stefan Ellmauthaler, Johannes Peter Wallner, Stefan Woltran:
Abstract Dialectical Frameworks Revisited. IJCAI 2013: 803-809 - [c11]Maurice Pagnucco
Implementing Belief Change in the Situation Calculus and an Application. LPNMR 2013: 439-451 - [c10]Ringo Baumann, Hannes Strass:
On the Maximal and Average Numbers of Stable Extensions. TAFA 2013: 111-126 - [i2]Stefan Ellmauthaler, Hannes Strass:
The DIAMOND System for Argumentation: Preliminary Report. CoRR abs/1312.6140 (2013) - 2012
- [b1]Hannes Straß:
Default Reasoning about Actions. Leipzig University, Germany, 2012 - [c9]Hannes Strass, Michael Thielscher
A Language for Default Reasoning about Actions. Correct Reasoning 2012: 527-542 - [c8]Ringo Baumann, Hannes Strass:
Default Reasoning about Actions via Abstract Argumentation. COMMA 2012: 297-309 - 2011
- [j1]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): 1951-1970 (2011) - [c7]Maurice Pagnucco, David Rajaratnam, Hannes Strass, Michael Thielscher:
How to Plan When Being Deliberately Misled. Automated Action Planning for Autonomous Mobile Robots 2011 - 2010
- [c6]Ringo Baumann, Gerhard Brewka, Hannes Strass, Michael Thielscher, Vadim Zaslawski:
State Defaults and Ramifications in the Unifying Action Calculus. KR 2010 - [c5]Hannes Strass, Michael Thielscher:
Default Reasoning in Action Domains with Conditional, Non-Local Effect Actions. LPAR short papers(Yogyakarta) 2010: 58-63
2000 – 2009
- 2009
- [c4]Hannes Strass, Michael Thielscher
Simple Default Reasoning in Theories of Action. Australasian Conference on Artificial Intelligence 2009: 31-40 - [c3]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: 1827-1832 - [c2]Susana Muñoz-Hernández, Victor Pablos Ceruelo, Hannes Strass:
RFuzzy: An Expressive Simple Fuzzy Compiler. IWANN (1) 2009: 270-277 - [c1]Hannes Strass, Michael Thielscher
On Defaults in Action Theories. KI 2009: 298-305 - [i1]Victor Pablos Ceruelo, Susana Muñoz-Hernández, Hannes Strass:
Rfuzzy framework. CoRR abs/0903.2188 (2009)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-28 20:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: