Optimal Status Enforcement in Abstract Argumentation. - Andreas Niskanen; Johannes Peter Wallner; Matti Järvisalo (IJCAI, 2016)

Pakota: A System for Enforcement in Abstract Argumentation. - Andreas Niskanen; Johannes Peter Wallner; Matti Järvisalo (JELIA, 2016)

Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation. - Johannes Peter Wallner; Andreas Niskanen; Matti Järvisalo (J. Artif. Intell. Res., 2017)

SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks. - Tuomo Lehtonen; Andreas Niskanen; Matti Järvisalo (COMMA, 2018)

Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving. - Thomas Linsbichler; Marco Maratea; Andreas Niskanen; Johannes Peter Wallner; Stefan Woltran (IJCAI, 2018)

Extension Enforcement under Grounded Semantics in Abstract Argumentation. - Andreas Niskanen; Johannes Peter Wallner; Matti Järvisalo (KR, 2018)

Preprocessing Argumentation Frameworks via Replacement Patterns. - Wolfgang Dvorák; Matti Järvisalo; Thomas Linsbichler; Andreas Niskanen; Stefan Woltran (JELIA, 2019)

Synthesizing Argumentation Frameworks from Examples. - Andreas Niskanen; Johannes Peter Wallner; Matti Järvisalo (J. Artif. Intell. Res., 2019)

Deciding Acceptance in Incomplete Argumentation Frameworks. - Andreas Niskanen; Daniel Neugebauer; Matti Järvisalo; Jörg Rothe (AAAI, 2020)

Strong Refinements for Hard Problems in Argumentation Dynamics. - Andreas Niskanen; Matti Järvisalo (ECAI, 2020)

Algorithms for Dynamic Argumentation Frameworks: An Incremental SAT-Based Approach. - Andreas Niskanen; Matti Järvisalo (ECAI, 2020)

Controllability of Control Argumentation Frameworks. - Andreas Niskanen; Daniel Neugebauer; Matti Järvisalo (IJCAI, 2020)

Smallest Explanations and Diagnoses of Rejection in Abstract Argumentation. - Andreas Niskanen; Matti Järvisalo (KR, 2020)

µ-toksia: An Efficient Abstract Argumentation Reasoner. - Andreas Niskanen; Matti Järvisalo (KR, 2020)

Computational Approaches to Dynamics and Uncertainty in Abstract Argumentation. - Andreas Niskanen (2020)

Enabling Incrementality in the Implicit Hitting Set Approach to MaxSAT Under Changing Weights. - Andreas Niskanen; Jeremias Berg; Matti Järvisalo (CP, 2021)

Acceptance in incomplete argumentation frameworks. - Dorothea Baumeister; Matti Järvisalo; Daniel Neugebauer; Andreas Niskanen; Jörg Rothe (Artif. Intell., 2021)

Computing Smallest MUSes of Quantified Boolean Formulas. - Andreas Niskanen; Jere Mustonen; Jeremias Berg; Matti Järvisalo (LPNMR, 2022)

MaxSAT-Based Bi-Objective Boolean Optimization. - Christoph Jabs; Jeremias Berg; Andreas Niskanen; Matti Järvisalo (SAT, 2022)

Incremental Maximum Satisfiability. - Andreas Niskanen; Jeremias Berg; Matti Järvisalo (SAT, 2022)

Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving. - Thomas Linsbichler; Marco Maratea; Andreas Niskanen; Johannes Peter Wallner; Stefan Woltran (Artif. Intell., 2022)

SAT-based Judgment Aggregation. - Ari Conati; Andreas Niskanen; Matti Järvisalo (AAMAS, 2023)

MaxSAT-Based Inconsistency Measurement. - Andreas Niskanen; Isabelle Kuhlmann; Matthias Thimm; Matti Järvisalo (ECAI, 2023)

Computing MUS-Based Inconsistency Measures. - Isabelle Kuhlmann; Andreas Niskanen; Matti Järvisalo (JELIA, 2023)

Design of ICCMA 2023, 5th International Competition on Computational Models of Argumentation: A Preliminary Report (invited paper). - Matti Järvisalo; Tuomo Lehtonen; Andreas Niskanen (Arg&App@KR, 2023)

Learning MDL Logic Programs from Noisy Data. - Céline Hocquette; Andreas Niskanen; Matti Järvisalo; Andrew Cropper (AAAI, 2024)

Complexity Results and Algorithms for Manipulation and Bribery in Judgment Aggregation. - Ari Conati; Andreas Niskanen; Ronald de Haan; Matti Järvisalo (ECAI, 2024)

SAT-Based Approaches to Reasoning in Choice Logics. - Tuomo Lehtonen; Andreas Niskanen; Matti Järvisalo (ECAI, 2024)

Learning Big Logical Rules by Joining Small Rules. - Céline Hocquette; Andreas Niskanen; Rolf Morel; Matti Järvisalo; Andrew Cropper (IJCAI, 2024)

Declarative Approaches to Outcome Determination in Judgment Aggregation. - Ari Conati; Andreas Niskanen; Matti Järvisalo (J. Artif. Intell. Res., 2024)

From Single-Objective to Bi-Objective Maximum Satisfiability Solving. - Christoph Jabs; Jeremias Berg; Andreas Niskanen; Matti Järvisalo (J. Artif. Intell. Res., 2024)

Computing Efficient and Envy-Free Allocations under Dichotomous Preferences using SAT. - Ari Conati; Andreas Niskanen; Ronald de Haan; Matti Järvisalo (AAMAS, 2025)

ICCMA 2023: 5th International Competition on Computational Models of Argumentation. - Matti Järvisalo; Tuomo Lehtonen; Andreas Niskanen (Artif. Intell., 2025)