Hannes Strass
Orcid: 0000-0001-6180-6452Affiliations:
- TU Dresden, Germany
- University of Leipzig, Department of Computer Science, Germany (former)
According to our database1,
Hannes Strass
authored at least 63 papers
between 2009 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
A Farewell to Harms: Risk Management for Medical Devices via the Riskman Ontology & Shapes.
CoRR, 2024
Proceedings of the 22nd International Workshop on Nonmonotonic Reasoning (NMR 2024) co-located with 21st International Conference on Principles of Knowledge Representation and Reasoning (KR 2024), 2024
Consequence Operators of Characterization Logics - The Case of Abstract Argumentation.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2024
2023
Pushing the Boundaries of Tractable Multiperspective Reasoning: A Deduction Calculus for Standpoint EL+.
Proceedings of the 20th International Conference on Principles of Knowledge Representation and Reasoning, 2023
Proceedings of the Joint Ontology Workshops 2023 Episode IX: The Quebec Summer of Ontology co-located with the 13th International Conference on Formal Ontology in Information Systems (FOIS 2023), 2023
Tractable Diversity: Scalable Multiperspective Ontology Management via Standpoint EL.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023
2022
An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms.
Artif. Intell., 2022
Proceedings of the Semantic Web - ISWC 2022, 2022
Proceedings of the 35th International Workshop on Description Logics (DL 2022) co-located with Federated Logic Conference (FLoC 2022), 2022
2021
On the Decomposition of Abstract Dialectical Frameworks and the Complexity of Naive-based Semantics.
J. Artif. Intell. Res., 2021
2019
<i>EMIL</i>: Extracting Meaning from Inconsistent Language: Towards argumentation using a controlled natural language interface.
Int. J. Approx. Reason., 2019
Making Sense of Conflicting (Defeasible) Rules in the Controlled Natural Language ACE: Design of a System with Support for Existential Quantification Using Skolemization.
Proceedings of the 13th International Conference on Computational Semantics, 2019
2018
Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond.
J. Log. Comput., 2018
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018
2017
Proceedings of the IWCS 2017 - 12th International Conference on Computational Semantics - Long papers, Montpellier, France, September 19, 2017
dARe - Using Argumentation to Explain Conclusions from a Controlled Natural Language Knowledge Base.
Proceedings of the Advances in Artificial Intelligence: From Theory to Practice, 2017
On Automated Defeasible Reasoning with Controlled Natural Language and Argumentation.
Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017
2016
Proceedings of the First International Workshop on Argumentation in Logic Programming and Non-Monotonic Reasoning (Arg-LPNMR 2016).
CoRR, 2016
Summary Report of The First International Competition on Computational Models of Argumentation.
AI Mag., 2016
On rejected arguments and implicit conflicts: The hidden power of argumentation semantics.
Artif. Intell., 2016
An Abstract Logical Approach to Characterizing Strong Equivalence in Logic-based Knowledge Representation Formalisms.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016
Proceedings of the Computational Models of Argument, 2016
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016
2015
J. Artif. Intell. Res., 2015
Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory.
Artif. Intell., 2015
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2015
On the Computational Complexity of Naive-Based Semantics for Abstract Dialectical Frameworks.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015
Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
2014
On the Relative Expressiveness of Argumentation Frameworks, Normal Logic Programs and Abstract Dialectical Frameworks.
CoRR, 2014
From Default and Autoepistemic Logics to Disjunctive Answer Set Programs via the Logic of GK.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014
Proceedings of the Computational Models of Argument, 2014
Proceedings of the Computational Models of Argument, 2014
Proceedings of the Computational Models of Argument, 2014
Proceedings of the Computational Models of Argument, 2014
2013
J. Appl. Log., 2013
Artif. Intell., 2013
Proceedings of the Theory and Applications of Formal Argumentation, 2013
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013
Proceedings of the Computational Logic in Multi-Agent Systems, 2013
2012
Proceedings of the Computational Models of Argument, 2012
Proceedings of the Correct Reasoning, 2012
2011
RFuzzy: Syntax, semantics and implementation details of a simple and expressive fuzzy tool over Prolog.
Inf. Sci., 2011
Proceedings of the Automated Action Planning for Autonomous Mobile Robots, 2011
2010
Proceedings of the Short papers for 17th International Conference on Logic for Programming, 2010
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010
2009
Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009
Proceedings of the Bio-Inspired Systems: Computational and Ambient Intelligence, 2009
Operational Semantics for a Fuzzy Logic Programming System with Defaults and Constructive Answers.
Proceedings of the Joint 2009 International Fuzzy Systems Association World Congress and 2009 European Society of Fuzzy Logic and Technology Conference, 2009
Proceedings of the AI 2009: Advances in Artificial Intelligence, 2009