Andreas Niskanen

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
MaxSAT-based bi-objective Boolean optimization	2024-07-12	Paper
Incremental maximum satisfiability	2024-07-12	Paper
Computing MUS-based inconsistency measures	2024-05-29	Paper
ICCMA 2023: Benchmarks and raw results	2023-09-15	Dataset
Computing smallest MUSes of quantified Boolean formulas	2023-04-04	Paper
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving Artificial Intelligence	2022-04-11	Paper
Acceptance in incomplete argumentation frameworks Artificial Intelligence	2021-11-02	Paper
Strong refinements for hard problems in argumentation dynamics	2021-07-06	Paper
Preprocessing argumentation frameworks via replacement patterns	2020-02-18	Paper
SAT-based approaches to adjusting, repairing, and computing largest extensions of argumentation frameworks	2020-02-12	Paper
Synthesizing argumentation frameworks from examples Journal of Artificial Intelligence Research	2019-11-26	Paper
Synthesizing argumentation frameworks from examples	2018-07-12	Paper
Complexity results and algorithms for extension enforcement in abstract argumentation Journal of Artificial Intelligence Research	2017-10-24	Paper
Pakota: a system for enforcement in abstract argumentation Logics in Artificial Intelligence	2016-11-30	Paper

Research outcomes over time

This page was built for person: Andreas Niskanen