Andreas Niskanen

40 papers A* 12A 11B 4C 1Journal 9Unranked 1
YearRankTypeTitle / Venue / Authors
2025 A conf
Computing Efficient and Envy-Free Allocations under Dichotomous Preferences using SAT.
AAMAS
Ari Conati, Andreas Niskanen, Ronald de Haan, Matti Järvisalo
2025 A* conf
Cost-Optimal Delete-Free Classical Planning via Maximum Satisfiability.
KR
Masood Feyzbakhsh Rankooh, Andreas Niskanen, Matti Järvisalo
2025 J jnl
ICCMA 2023: 5th International Competition on Computational Models of Argumentation.
Artif. Intell.
Matti Järvisalo, Tuomo Lehtonen, Andreas Niskanen
2025 A* conf
Reasoning in Assumption-Based Argumentation via SAT.
KR
Andreas Niskanen, Masood Feyzbakhsh Rankooh, Tuomo Lehtonen, Matti Järvisalo
2024 A conf
Complexity Results and Algorithms for Manipulation and Bribery in Judgment Aggregation.
ECAI
Ari Conati, Andreas Niskanen, Ronald de Haan, Matti Järvisalo
2024 J jnl
Declarative Approaches to Outcome Determination in Judgment Aggregation.
J. Artif. Intell. Res.
Ari Conati, Andreas Niskanen, Matti Järvisalo
2024 J jnl
From Single-Objective to Bi-Objective Maximum Satisfiability Solving.
J. Artif. Intell. Res.
Christoph Jabs, Jeremias Berg, Andreas Niskanen, Matti Järvisalo
2024 A* conf
Learning Big Logical Rules by Joining Small Rules.
IJCAI
Céline Hocquette, Andreas Niskanen, Rolf Morel, Matti Järvisalo, Andrew Cropper
2024 A* conf
Learning MDL Logic Programs from Noisy Data.
AAAI
Céline Hocquette, Andreas Niskanen, Matti Järvisalo, Andrew Cropper
2024 J jnl
Learning big logical rules by joining small rules.
CoRR
Céline Hocquette, Andreas Niskanen, Rolf Morel, Matti Järvisalo, Andrew Cropper
2024 — ed.
Proceedings of the Fifth International Workshop on Systems and Algorithms for Formal Argumentation co-located with 10th International Conference on Computational Models of Argument (COMMA 2024), Hagen, Germany, September 17th, 2024.
SAFA
Annemarie Borg, Stefan Ellmauthaler, Jean-Guy Mailly, Andreas Niskanen
2024 A conf
SAT-Based Approaches to Reasoning in Choice Logics.
ECAI
Tuomo Lehtonen, Andreas Niskanen, Matti Järvisalo
2023 B conf
Computing MUS-Based Inconsistency Measures.
JELIA
Isabelle Kuhlmann, Andreas Niskanen, Matti Järvisalo
2023 — conf
Design of ICCMA 2023, 5th International Competition on Computational Models of Argumentation: A Preliminary Report (invited paper).
Arg&App
Matti Järvisalo, Tuomo Lehtonen, Andreas Niskanen
2023 J jnl
Learning MDL logic programs from noisy data.
CoRR
Céline Hocquette, Andreas Niskanen, Matti Järvisalo, Andrew Cropper
2023 A conf
MaxSAT-Based Inconsistency Measurement.
ECAI
Andreas Niskanen, Isabelle Kuhlmann, Matthias Thimm, Matti Järvisalo
2023 A conf
SAT-based Judgment Aggregation.
AAMAS
Ari Conati, Andreas Niskanen, Matti Järvisalo
2022 J jnl
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving.
Artif. Intell.
Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes P. Wallner, Stefan Woltran
2022 B conf
Computing Smallest MUSes of Quantified Boolean Formulas.
LPNMR
Andreas Niskanen, Jere Mustonen, Jeremias Berg, Matti Järvisalo
2022 A conf
Incremental Maximum Satisfiability.
SAT
Andreas Niskanen, Jeremias Berg, Matti Järvisalo
2022 A conf
MaxSAT-Based Bi-Objective Boolean Optimization.
SAT
Christoph Jabs, Jeremias Berg, Andreas Niskanen, Matti Järvisalo
2021 J jnl
Acceptance in incomplete argumentation frameworks.
Artif. Intell.
Dorothea Baumeister, Matti Järvisalo, Daniel Neugebauer, Andreas Niskanen, Jörg Rothe
2021 A conf
Enabling Incrementality in the Implicit Hitting Set Approach to MaxSAT Under Changing Weights.
CP
Andreas Niskanen, Jeremias Berg, Matti Järvisalo
2020 A conf
Algorithms for Dynamic Argumentation Frameworks: An Incremental SAT-Based Approach.
ECAI
Andreas Niskanen, Matti Järvisalo
2020 — —
Computational Approaches to Dynamics and Uncertainty in Abstract Argumentation.
Andreas Niskanen
2020 A* conf
Controllability of Control Argumentation Frameworks.
IJCAI
Andreas Niskanen, Daniel Neugebauer, Matti Järvisalo
2020 A* conf
Deciding Acceptance in Incomplete Argumentation Frameworks.
AAAI
Andreas Niskanen, Daniel Neugebauer, Matti Järvisalo, Jörg Rothe
2020 A* conf
Smallest Explanations and Diagnoses of Rejection in Abstract Argumentation.
KR
Andreas Niskanen, Matti Järvisalo
2020 A conf
Strong Refinements for Hard Problems in Argumentation Dynamics.
ECAI
Andreas Niskanen, Matti Järvisalo
2020 A* conf
µ-toksia: An Efficient Abstract Argumentation Reasoner.
KR
Andreas Niskanen, Matti Järvisalo
2019 B conf
Preprocessing Argumentation Frameworks via Replacement Patterns.
JELIA
Wolfgang Dvorák, Matti Järvisalo, Thomas Linsbichler, Andreas Niskanen, Stefan Woltran
2019 J jnl
Synthesizing Argumentation Frameworks from Examples.
J. Artif. Intell. Res.
Andreas Niskanen, Johannes P. Wallner, Matti Järvisalo
2018 A* conf
Extension Enforcement under Grounded Semantics in Abstract Argumentation.
KR
Andreas Niskanen, Johannes P. Wallner, Matti Järvisalo
2018 A* conf
Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving.
IJCAI
Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes P. Wallner, Stefan Woltran
2018 C conf
SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks.
COMMA
Tuomo Lehtonen, Andreas Niskanen, Matti Järvisalo
2017 J jnl
Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation.
J. Artif. Intell. Res.
Johannes P. Wallner, Andreas Niskanen, Matti Järvisalo
2016 A* conf
Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation.
AAAI
Johannes P. Wallner, Andreas Niskanen, Matti Järvisalo
2016 A* conf
Optimal Status Enforcement in Abstract Argumentation.
IJCAI
Andreas Niskanen, Johannes P. Wallner, Matti Järvisalo
2016 B conf
Pakota: A System for Enforcement in Abstract Argumentation.
JELIA
Andreas Niskanen, Johannes P. Wallner, Matti Järvisalo
2016 A conf
Synthesizing Argumentation Frameworks from Examples.
ECAI
Andreas Niskanen, Johannes P. Wallner, Matti Järvisalo