| 2026 | KR | Finding Nash Stable Coalitions under Membership Rights in Boolean Hedonic Games. | Ari Conati, Andreas Niskanen, Ronald de Haan, Matti Jrvisalo |
| 2025 | KR | Reasoning in Assumption-Based Argumentation via SAT. | Andreas Niskanen, Masood Feyzbakhsh Rankooh, Tuomo Lehtonen, Matti Jrvisalo |
| 2025 | KR | Cost-Optimal Delete-Free Classical Planning via Maximum Satisfiability. | Masood Feyzbakhsh Rankooh, Andreas Niskanen, Matti Jrvisalo |
| 2024 | AAAI | Learning MDL Logic Programs from Noisy Data. | Cline Hocquette, Andreas Niskanen, Matti Jrvisalo, Andrew Cropper |
| 2024 | ECAI | Complexity Results and Algorithms for Manipulation and Bribery in Judgment Aggregation. | Ari Conati, Andreas Niskanen, Ronald de Haan, Matti Jrvisalo |
| 2024 | ECAI | SAT-Based Approaches to Reasoning in Choice Logics. | Tuomo Lehtonen, Andreas Niskanen, Matti Jrvisalo |
| 2024 | IJCAI | Learning Big Logical Rules by Joining Small Rules. | Cline Hocquette, Andreas Niskanen, Rolf Morel, Matti Jrvisalo, Andrew Cropper |
| 2023 | ECAI | MaxSAT-Based Inconsistency Measurement. | Andreas Niskanen, Isabelle Kuhlmann, Matthias Thimm, Matti Jrvisalo |
| 2023 | JELIA | Computing MUS-Based Inconsistency Measures. | Isabelle Kuhlmann, Andreas Niskanen, Matti Jrvisalo |
| 2023 | KR | Design of ICCMA 2023, 5th International Competition on Computational Models of Argumentation: A Preliminary Report (invited paper). | Matti Jrvisalo, Tuomo Lehtonen, Andreas Niskanen |
| 2022 | LPNMR | Computing Smallest MUSes of Quantified Boolean Formulas. | Andreas Niskanen, Jere Mustonen, Jeremias Berg, Matti Jrvisalo |
| 2022 | SAT | MaxSAT-Based Bi-Objective Boolean Optimization. | Christoph Jabs, Jeremias Berg, Andreas Niskanen, Matti Jrvisalo |
| 2022 | SAT | Incremental Maximum Satisfiability. | Andreas Niskanen, Jeremias Berg, Matti Jrvisalo |
| 2021 | CP | Enabling Incrementality in the Implicit Hitting Set Approach to MaxSAT Under Changing Weights. | Andreas Niskanen, Jeremias Berg, Matti Jrvisalo |
| 2020 | AAAI | Deciding Acceptance in Incomplete Argumentation Frameworks. | Andreas Niskanen, Daniel Neugebauer, Matti Jrvisalo, Jrg Rothe |
| 2020 | ECAI | Strong Refinements for Hard Problems in Argumentation Dynamics. | Andreas Niskanen, Matti Jrvisalo |
| 2020 | ECAI | Algorithms for Dynamic Argumentation Frameworks: An Incremental SAT-Based Approach. | Andreas Niskanen, Matti Jrvisalo |
| 2020 | IJCAI | Controllability of Control Argumentation Frameworks. | Andreas Niskanen, Daniel Neugebauer, Matti Jrvisalo |
| 2020 | KR | Smallest Explanations and Diagnoses of Rejection in Abstract Argumentation. | Andreas Niskanen, Matti Jrvisalo |
| 2020 | KR | -toksia: An Efficient Abstract Argumentation Reasoner. | Andreas Niskanen, Matti Jrvisalo |
| 2019 | JELIA | Preprocessing Argumentation Frameworks via Replacement Patterns. | Wolfgang Dvork, Matti Jrvisalo, Thomas Linsbichler, Andreas Niskanen, Stefan Woltran |
| 2018 | COMMA | SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks. | Tuomo Lehtonen, Andreas Niskanen, Matti Jrvisalo |
| 2018 | IJCAI | Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving. | Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes P. Wallner, Stefan Woltran |
| 2018 | KR | Extension Enforcement under Grounded Semantics in Abstract Argumentation. | Andreas Niskanen, Johannes P. Wallner, Matti Jrvisalo |
| 2016 | AAAI | Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation. | Johannes P. Wallner, Andreas Niskanen, Matti Jrvisalo |
| 2016 | ECAI | Synthesizing Argumentation Frameworks from Examples. | Andreas Niskanen, Johannes P. Wallner, Matti Jrvisalo |
| 2016 | IJCAI | Optimal Status Enforcement in Abstract Argumentation. | Andreas Niskanen, Johannes P. Wallner, Matti Jrvisalo |
| 2016 | JELIA | Pakota: A System for Enforcement in Abstract Argumentation. | Andreas Niskanen, Johannes P. Wallner, Matti Jrvisalo |