Hannes Strass

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
An abstract, logical approach to characterizing strong equivalence in non-monotonic knowledge representation formalisms Artificial Intelligence	2022-04-11	Paper
On the decomposition of abstract dialectical frameworks and the complexity of naive-based semantics Journal of Artificial Intelligence Research	2021-01-22	Paper
EMIL: extracting meaning from inconsistent language. Towards argumentation using a controlled natural language interface International Journal of Approximate Reasoning	2020-02-20	Paper
Instantiating rule-based defeasible theories in abstract dialectical frameworks and beyond Journal Of Logic And Computation	2019-01-31	Paper
On the number of bipolar Boolean functions Journal Of Logic And Computation	2018-11-20	Paper
scientific article; zbMATH DE number 6902516 (Why is no real title available?) (available as arXiv preprint)	2018-07-12	Paper
scientific article; zbMATH DE number 6747868 (Why is no real title available?)	2017-07-18	Paper
scientific article; zbMATH DE number 6747868 (Why is no real title available?) (available as arXiv preprint)	2017-07-18	Paper
On rejected arguments and implicit conflicts: the hidden power of argumentation semantics Artificial Intelligence	2016-11-01	Paper
Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory Artificial Intelligence	2015-12-18	Paper
Expressiveness of two-valued semantics for abstract dialectical frameworks Journal of Artificial Intelligence Research	2015-11-05	Paper
A formal theory of justifications Logic Programming and Nonmonotonic Reasoning	2015-11-04	Paper
Approximating operators and semantics for abstract dialectical frameworks Artificial Intelligence	2015-08-27	Paper
Open problems in abstract argumentation Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation	2015-02-04	Paper
A glimpse on Gerhard Brewka's contributions to artificial intelligence Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation	2015-02-04	Paper
A general first-order solution to the ramification problem with cycles Journal of Applied Logic	2014-04-17	Paper
On the maximal and average numbers of stable extensions Theory and Applications of Formal Argumentation	2014-03-31	Paper
Implementing belief change in the situation calculus and an application Logic Programming and Nonmonotonic Reasoning	2013-10-10	Paper
Instantiating knowledge bases in abstract dialectical frameworks Lecture Notes in Computer Science	2013-10-04	Paper
A language for default reasoning about actions Correct Reasoning	2012-07-23	Paper

Research outcomes over time

This page was built for person: Hannes Strass