Johannes Wallner

Available identifiers

zbMath Open wallner.johannes-peterMaRDI QIDQ490450

List of research outcomes

Publication	Date of Publication	Type
Book review of: J. Schultens, Introduction to 3-manifolds	2024-08-14	Paper
Book review of: G. Székelyhidi, An introduction to extremal Kähler metrics	2024-08-14	Paper
Reasoning in assumption-based argumentation using tree-decompositions	2024-05-29	Paper
Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation	2023-12-12	Paper
Representing abstract dialectical frameworks with binary decision diagrams	2023-04-04	Paper
https://portal.mardi4nfdi.de/entity/Q5039144	2022-10-12	Paper
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving	2022-04-11	Paper
Declarative algorithms and complexity results for assumption-based argumentation	2021-08-05	Paper
Explaining non-acceptability in abstract argumentation	2021-07-06	Paper
Computing strongly admissible sets	2021-01-21	Paper
ASPARTIX-V19 -- an answer-set programming based system for abstract argumentation	2020-10-26	Paper
Manipulating skeptical and credulous consequences when merging beliefs	2020-02-18	Paper
Structural constraints for dynamic operators in abstract argumentation	2020-02-12	Paper
Synthesizing argumentation frameworks from examples	2019-11-26	Paper
On the complexity of inconsistency measurement	2019-08-28	Paper
On the relation between SPARQL1.1 and Answer Set Programming	2018-08-28	Paper
Synthesizing argumentation frameworks from examples	2018-07-12	Paper
Improved answer-set programming encodings for abstract argumentation	2017-11-09	Paper
Complexity results and algorithms for extension enforcement in abstract argumentation	2017-10-24	Paper
From structured to abstract argumentation: assumption-based acceptance via AF reasoning	2017-09-05	Paper
Pakota: a system for enforcement in abstract argumentation	2016-11-30	Paper
The margin was too narrow	2016-05-25	Paper
Obituary: Alexander Grothendieck 1928--2014	2016-05-25	Paper
Abstract solvers for Dung's argumentation frameworks	2016-03-10	Paper
Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory	2015-12-18	Paper
Complexity-sensitive decision procedures for abstract argumentation	2015-08-27	Paper
Methods for solving reasoning problems in abstract argumentation -- a survey	2015-05-06	Paper
Reduction-based approaches to implement Modgil's extended argumentation frameworks	2015-02-04	Paper
Admissibility in the abstract dialectical framework	2013-10-04	Paper
Advanced SAT techniques for abstract argumentation	2013-10-04	Paper
Semi-discrete isothermic surfaces	2013-07-11	Paper

Research outcomes over time

This page was built for person: Johannes Wallner