Hannes Strass

Orcid: 0000-0001-6180-6452

Affiliations:
  • 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:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
A Farewell to Harms: Risk Management for Medical Devices via the Riskman Ontology & Shapes.
CoRR, 2024

Adding Standpoint Modalities to Non-Monotonic S4F: Preliminary Results.
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

Automated Reasoning Support for Standpoint-OWL 2.
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

How to Agree to Disagree - Managing Ontological Perspectives using Standpoint Logic.
Proceedings of the Semantic Web - ISWC 2022, 2022

Modelling Multiple Perspectives by Standpoint-Enhanced DLs (Extended Abstract).
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

Weighted Abstract Dialectical Frameworks: Extended and Revised Report.
CoRR, 2018

Weighted Abstract Dialectical Frameworks.
Proceedings of the Thirty-Second AAAI Conference on Artificial Intelligence, 2018

2017
On the number of bipolar Boolean functions.
J. Log. Comput., 2017

Preface.
Fundam. Informaticae, 2017

Abstract Dialectical Frameworks. An Overview.
FLAP, 2017

Defeasible AceRules: A Prototype.
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
Characterizing Realizability in Abstract Argumentation.
CoRR, 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

A Uniform Account of Realizability in Abstract Argumentation.
Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

DIAMOND 3.0 - A Native C++ Implementation of DIAMOND.
Proceedings of the Computational Models of Argument, 2016

Boolean Functions with Ordered Domains in Answer Set Programming.
Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, 2016

2015
Expressiveness of Two-Valued Semantics for Abstract Dialectical Frameworks.
J. Artif. Intell. Res., 2015

Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory.
Artif. Intell., 2015

A Formal Theory of Justifications.
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

A Glimpse on Gerhard Brewka's Contributions to Artificial Intelligence.
Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

Open Problems in Abstract Argumentation.
Proceedings of the Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation, 2015

The Relative Expressiveness of Abstract Argumentation and Logic Programming.
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

Implementing Default and Autoepistemic Logics via the Logic of GK.
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

Compact Argumentation Frameworks.
Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

Implementing Instantiation of Knowledge Bases in Argumentation Frameworks.
Proceedings of the Computational Models of Argument, 2014

Decomposing Abstract Dialectical Frameworks.
Proceedings of the Computational Models of Argument, 2014

The DIAMOND System for Computing with Abstract Dialectical Frameworks.
Proceedings of the Computational Models of Argument, 2014

A Benchmark Framework for a Computational Argumentation Competition.
Proceedings of the Computational Models of Argument, 2014

2013
A general first-order solution to the ramification problem with cycles.
J. Appl. Log., 2013

The DIAMOND System for Argumentation: Preliminary Report.
CoRR, 2013

Approximating operators and semantics for abstract dialectical frameworks.
Artif. Intell., 2013

On the Maximal and Average Numbers of Stable Extensions.
Proceedings of the Theory and Applications of Formal Argumentation, 2013

Implementing Belief Change in the Situation Calculus and an Application.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2013

Abstract Dialectical Frameworks Revisited.
Proceedings of the IJCAI 2013, 2013

Instantiating Knowledge Bases in Abstract Dialectical Frameworks.
Proceedings of the Computational Logic in Multi-Agent Systems, 2013

2012
Default Reasoning about Actions
PhD thesis, 2012

Default Reasoning about Actions via Abstract Argumentation.
Proceedings of the Computational Models of Argument, 2012

A Language for Default Reasoning about Actions.
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

How to Plan When Being Deliberately Misled.
Proceedings of the Automated Action Planning for Autonomous Mobile Robots, 2011

2010
Default Reasoning in Action Domains with Conditional, Non-Local Effect Actions.
Proceedings of the Short papers for 17th International Conference on Logic for Programming, 2010

State Defaults and Ramifications in the Unifying Action Calculus.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

2009
Rfuzzy framework
CoRR, 2009

On Defaults in Action Theories.
Proceedings of the KI 2009: Advances in Artificial Intelligence, 2009

RFuzzy: An Expressive Simple Fuzzy Compiler.
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

Simple Default Reasoning in Theories of Action.
Proceedings of the AI 2009: Advances in Artificial Intelligence, 2009


  Loading...