Johannes Wallner

From MaRDI portal
Person:490450

Available identifiers

zbMath Open wallner.johannes-peterMaRDI QIDQ490450

List of research outcomes





PublicationDate of PublicationType
Book review of: J. Schultens, Introduction to 3-manifolds2024-08-14Paper
Book review of: G. Székelyhidi, An introduction to extremal Kähler metrics2024-08-14Paper
Reasoning in assumption-based argumentation using tree-decompositions2024-05-29Paper
Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation2023-12-12Paper
Representing abstract dialectical frameworks with binary decision diagrams2023-04-04Paper
https://portal.mardi4nfdi.de/entity/Q50391442022-10-12Paper
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving2022-04-11Paper
Declarative Algorithms and Complexity Results for Assumption-Based Argumentation2021-08-05Paper
https://portal.mardi4nfdi.de/entity/Q49992922021-07-06Paper
Computing Strongly Admissible Sets2021-01-21Paper
ASPARTIX-V19 -- an answer-set programming based system for abstract argumentation2020-10-26Paper
Manipulating skeptical and credulous consequences when merging beliefs2020-02-18Paper
https://portal.mardi4nfdi.de/entity/Q52156752020-02-12Paper
Synthesizing Argumentation Frameworks from Examples2019-11-26Paper
On the complexity of inconsistency measurement2019-08-28Paper
On the relation between SPARQL1.1 and Answer Set Programming2018-08-28Paper
Synthesizing Argumentation Frameworks from Examples2018-07-12Paper
Improved answer-set programming encodings for abstract argumentation2017-11-09Paper
Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation2017-10-24Paper
From structured to abstract argumentation: assumption-based acceptance via AF reasoning2017-09-05Paper
Pakota: A System for Enforcement in Abstract Argumentation2016-11-30Paper
The margin was too narrow2016-05-25Paper
Obituary: Alexander Grothendieck 1928--20142016-05-25Paper
Abstract Solvers for Dung’s Argumentation Frameworks2016-03-10Paper
Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory2015-12-18Paper
Complexity-sensitive decision procedures for abstract argumentation2015-08-27Paper
Methods for solving reasoning problems in abstract argumentation -- a survey2015-05-06Paper
Reduction-Based Approaches to Implement Modgil’s Extended Argumentation Frameworks2015-02-04Paper
Admissibility in the Abstract Dialectical Framework2013-10-04Paper
Advanced SAT Techniques for Abstract Argumentation2013-10-04Paper
Semi-discrete isothermic surfaces2013-07-11Paper

Research outcomes over time

This page was built for person: Johannes Wallner