Andreas Niskanen
Helsingin yliopisto
H-index: 11
Europe-Finland
Top articles of Andreas Niskanen
Learning MDL logic programs from noisy data
Proceedings of the AAAI Conference on Artificial Intelligence
2024/3/24
Céline Hocquette
H-Index: 2
Andreas Niskanen
H-Index: 6
Matti Järvisalo
H-Index: 23
Andrew Cropper
H-Index: 12
Learning big logical rules by joining small rules
arXiv preprint arXiv:2401.16215
2024/1/29
Céline Hocquette
H-Index: 2
Andreas Niskanen
H-Index: 6
Matti Järvisalo
H-Index: 23
Andrew Cropper
H-Index: 12
Computing MUS-based inconsistency measures
2023/9/20
Solver and Benchmark Descriptions of ICCMA 2023: 5th International Competition on Computational Models of Argumentation
2023
MaxSAT Evaluation 2023: Solver and Benchmark Descriptions
2023
Jeremias Berg
H-Index: 11
Matti Järvisalo
H-Index: 23
Ruben Martins
H-Index: 14
Andreas Niskanen
H-Index: 6
Design of ICCMA 2023, 5th International Competition on Computational Models of Argumentation: A Preliminary Report
Proceedings http://ceur-ws. org ISSN
2023
MaxSAT-Based inconsistency measurement
2023
Andreas Niskanen
H-Index: 6
Isabelle Kuhlmann
H-Index: 1
Matthias Thimm
H-Index: 22
Matti Järvisalo
H-Index: 23
Computing Smallest MUSes of Quantified Boolean Formulas
2022/8/29
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving
Artificial Intelligence
2022/6/1
Incremental maximum satisfiability
2022
MaxSAT-based bi-objective boolean optimization
2022
Acceptance in incomplete argumentation frameworks
Artificial Intelligence
2021/6/1
Dorothea Baumeister
H-Index: 15
Matti Järvisalo
H-Index: 23
Daniel Neugebauer
H-Index: 6
Andreas Niskanen
H-Index: 6
Jörg Rothe
H-Index: 25
Controllability of control argumentation frameworks
2021/1/7
Enabling incrementality in the implicit hitting set approach to MaxSAT under changing weights
2021
Computational approaches to dynamics and uncertainty in abstract argumentation
2020/10/13
Andreas Niskanen
H-Index: 6
Deciding acceptance in incomplete argumentation frameworks
Proceedings of the AAAI Conference on Artificial Intelligence
2020/4/3
Andreas Niskanen
H-Index: 6
Daniel Neugebauer
H-Index: 6
Matti Järvisalo
H-Index: 23
Jörg Rothe
H-Index: 25
Smallest explanations and diagnoses of rejection in abstract argumentation
2020
Andreas Niskanen
H-Index: 6
Matti Järvisalo
H-Index: 23
μ-toksia: an efficient abstract argumentation reasoner
2020
Andreas Niskanen
H-Index: 6
Matti Järvisalo
H-Index: 23
Strong refinements for hard problems in argumentation dynamics
2020
Andreas Niskanen
H-Index: 6
Matti Järvisalo
H-Index: 23