| Publication | Date of Publication | Type |
|---|
Book review of: J. Schultens, Introduction to 3-manifolds
Internationale Mathematische Nachrichten | 2024-08-14 | Paper |
Book review of: G. Székelyhidi, An introduction to extremal Kähler metrics
Internationale Mathematische Nachrichten | 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
Theory and Practice of Logic Programming | 2023-12-12 | Paper |
| Representing abstract dialectical frameworks with binary decision diagrams | 2023-04-04 | Paper |
| scientific article; zbMATH DE number 7599964 (Why is no real title available?) | 2022-10-12 | Paper |
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving
Artificial Intelligence | 2022-04-11 | Paper |
Declarative algorithms and complexity results for assumption-based argumentation
Journal of Artificial Intelligence Research | 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
Journal of Artificial Intelligence Research | 2019-11-26 | Paper |
On the complexity of inconsistency measurement
Artificial Intelligence | 2019-08-28 | Paper |
On the relation between SPARQL1.1 and Answer Set Programming
Journal of Applied Non-Classical Logics | 2018-08-28 | Paper |
| Synthesizing argumentation frameworks from examples | 2018-07-12 | Paper |
Improved answer-set programming encodings for abstract argumentation
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
Complexity results and algorithms for extension enforcement in abstract argumentation
Journal of Artificial Intelligence Research | 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
Logics in Artificial Intelligence | 2016-11-30 | Paper |
The margin was too narrow
Internationale Mathematische Nachrichten | 2016-05-25 | Paper |
Obituary: Alexander Grothendieck 1928--2014
Internationale Mathematische Nachrichten | 2016-05-25 | Paper |
Abstract solvers for Dung's argumentation frameworks
Theory and Applications of Formal Argumentation | 2016-03-10 | Paper |
Analyzing the computational complexity of abstract dialectical frameworks via approximation fixpoint theory
Artificial Intelligence | 2015-12-18 | Paper |
Complexity-sensitive decision procedures for abstract argumentation
Artificial Intelligence | 2015-08-27 | Paper |
Methods for solving reasoning problems in abstract argumentation -- a survey
Artificial Intelligence | 2015-05-06 | Paper |
Reduction-based approaches to implement Modgil's extended argumentation frameworks
Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation | 2015-02-04 | Paper |
Admissibility in the abstract dialectical framework
Lecture Notes in Computer Science | 2013-10-04 | Paper |
Advanced SAT techniques for abstract argumentation
Lecture Notes in Computer Science | 2013-10-04 | Paper |
Semi-discrete isothermic surfaces
Results in Mathematics | 2013-07-11 | Paper |
