Person:490450

Available identifiers

zbMath Open wallner.johannes-peterMaRDI QIDQ490450

List of research outcomes

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q4999292	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
https://portal.mardi4nfdi.de/entity/Q5215675	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
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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Johannes Peter Wallner