Andreas Niskanen

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 30

Top Topics

Maximum Satisfiability

Complexity Analysis

Argumentation Frameworks

Top Venues

J. Artif. Intell. Res.

Publications

Christoph Jabs, Jeremias Berg, Andreas Niskanen, Matti Järvisalo
From Single-Objective to Bi-Objective Maximum Satisfiability Solving. J. Artif. Intell. Res. 80 (2024)
Céline Hocquette, Andreas Niskanen, Rolf Morel, Matti Järvisalo, Andrew Cropper
Learning big logical rules by joining small rules. CoRR (2024)
Céline Hocquette, Andreas Niskanen, Matti Järvisalo, Andrew Cropper
Learning MDL Logic Programs from Noisy Data. AAAI (2024)
Isabelle Kuhlmann, Andreas Niskanen, Matti Järvisalo
Computing MUS-Based Inconsistency Measures. JELIA (2023)
Matti Järvisalo, Tuomo Lehtonen, Andreas Niskanen
Design of ICCMA 2023, 5th International Competition on Computational Models of Argumentation: A Preliminary Report (invited paper). Arg&App@KR (2023)
Céline Hocquette, Andreas Niskanen, Matti Järvisalo, Andrew Cropper
Learning MDL logic programs from noisy data. CoRR (2023)
Andreas Niskanen, Isabelle Kuhlmann, Matthias Thimm, Matti Järvisalo
MaxSAT-Based Inconsistency Measurement. ECAI (2023)
Ari Conati, Andreas Niskanen, Matti Järvisalo
SAT-based Judgment Aggregation. AAMAS (2023)
Andreas Niskanen, Jere Mustonen, Jeremias Berg, Matti Järvisalo
Computing Smallest MUSes of Quantified Boolean Formulas. LPNMR (2022)
Andreas Niskanen, Jeremias Berg, Matti Järvisalo
Incremental Maximum Satisfiability. SAT (2022)
Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes Peter Wallner, Stefan Woltran
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving. Artif. Intell. 307 (2022)
Christoph Jabs, Jeremias Berg, Andreas Niskanen, Matti Järvisalo
MaxSAT-Based Bi-Objective Boolean Optimization. SAT (2022)
Andreas Niskanen, Jeremias Berg, Matti Järvisalo
Enabling Incrementality in the Implicit Hitting Set Approach to MaxSAT Under Changing Weights. CP (2021)
Dorothea Baumeister, Matti Järvisalo, Daniel Neugebauer, Andreas Niskanen, Jörg Rothe
Acceptance in incomplete argumentation frameworks. Artif. Intell. 295 (2021)
Andreas Niskanen, Matti Järvisalo
Algorithms for Dynamic Argumentation Frameworks: An Incremental SAT-Based Approach. ECAI (2020)
Andreas Niskanen, Matti Järvisalo
Strong Refinements for Hard Problems in Argumentation Dynamics. ECAI (2020)
Andreas Niskanen, Daniel Neugebauer, Matti Järvisalo
Controllability of Control Argumentation Frameworks. IJCAI (2020)
Andreas Niskanen, Daniel Neugebauer, Matti Järvisalo, Jörg Rothe
Deciding Acceptance in Incomplete Argumentation Frameworks. AAAI (2020)
Andreas Niskanen, Matti Järvisalo
Smallest Explanations and Diagnoses of Rejection in Abstract Argumentation. KR (2020)
Andreas Niskanen, Matti Järvisalo
µ-toksia: An Efficient Abstract Argumentation Reasoner. KR (2020)
Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo
Synthesizing Argumentation Frameworks from Examples. J. Artif. Intell. Res. 66 (2019)
Wolfgang Dvorák, Matti Järvisalo, Thomas Linsbichler, Andreas Niskanen, Stefan Woltran
Preprocessing Argumentation Frameworks via Replacement Patterns. JELIA (2019)
Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo
Extension Enforcement under Grounded Semantics in Abstract Argumentation. KR (2018)
Thomas Linsbichler, Marco Maratea, Andreas Niskanen, Johannes Peter Wallner, Stefan Woltran
Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving. IJCAI (2018)
Tuomo Lehtonen, Andreas Niskanen, Matti Järvisalo
SAT-Based Approaches to Adjusting, Repairing, and Computing Largest Extensions of Argumentation Frameworks. COMMA (2018)
Johannes Peter Wallner, Andreas Niskanen, Matti Järvisalo
Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation. J. Artif. Intell. Res. 60 (2017)
Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo
Synthesizing Argumentation Frameworks from Examples. ECAI (2016)
Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo
Optimal Status Enforcement in Abstract Argumentation. IJCAI (2016)
Andreas Niskanen, Johannes Peter Wallner, Matti Järvisalo
Pakota: A System for Enforcement in Abstract Argumentation. JELIA (2016)
Johannes Peter Wallner, Andreas Niskanen, Matti Järvisalo
Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation. AAAI (2016)