关注
Andreas Niskanen
Andreas Niskanen
Postdoctoral Researcher, Department of Computer Science, University of Helsinki
在 helsinki.fi 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Complexity results and algorithms for extension enforcement in abstract argumentation
JP Wallner, A Niskanen, M Järvisalo
Journal of Artificial Intelligence Research 60, 1-40, 2017
782017
Acceptance in incomplete argumentation frameworks
D Baumeister, M Järvisalo, D Neugebauer, A Niskanen, J Rothe
Artificial Intelligence 295, 103470, 2021
622021
μ-toksia: an efficient abstract argumentation reasoner
A Niskanen, M Järvisalo
International Conference on Principles of Knowledge Representation and …, 2020
532020
Synthesizing argumentation frameworks from examples
A Niskanen, J Wallner, M Järvisalo
Journal of Artificial Intelligence Research 66, 503-554, 2019
422019
Extension enforcement under grounded semantics in abstract argumentation
A Niskanen, JP Wallner, M Järvisalo
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
232018
Optimal Status Enforcement in Abstract Argumentation
A Niskanen, JP Wallner, M Järvisalo
IJCAI, 1216-1222, 2016
222016
Controllability of control argumentation frameworks
A Niskanen, D Neugebauer, M Järvisalo
Proceedings of the Twenty-Ninth International Conference on International …, 2021
212021
Smallest explanations and diagnoses of rejection in abstract argumentation
A Niskanen, M Järvisalo
International Conference on Principles of Knowledge Representation and …, 2020
182020
Novel Algorithms for Abstract Dialectical Frameworks based on Complexity Analysis of Subclasses and SAT Solving.
T Linsbichler, M Maratea, A Niskanen, JP Wallner, S Woltran
IJCAI, 1905-1911, 2018
182018
Deciding acceptance in incomplete argumentation frameworks
A Niskanen, D Neugebauer, M Järvisalo, J Rothe
Proceedings of the AAAI Conference on Artificial Intelligence 34 (03), 2942-2949, 2020
172020
Algorithms for dynamic argumentation frameworks: An incremental SAT-based approach
A Niskanen, M Järvisalo
ECAI 2020, 849-856, 2020
172020
Preprocessing argumentation frameworks via replacement patterns
W Dvořák, M Järvisalo, T Linsbichler, A Niskanen, S Woltran
European Conference on Logics in Artificial Intelligence, 116-132, 2019
112019
MaxSAT-based bi-objective boolean optimization
C Jabs, J Berg, A Niskanen, M Järvisalo
25th International Conference on Theory and Applications of Satisfiability …, 2022
92022
μ-toksia Participating in ICCMA 2019
A Niskanen, M Järvisalo
The Third International Competition on Computational Models of Argumentation …, 2019
92019
Advanced algorithms for abstract dialectical frameworks based on complexity analysis of subclasses and SAT solving
T Linsbichler, M Maratea, A Niskanen, JP Wallner, S Woltran
Artificial Intelligence 307, 103697, 2022
72022
Enabling incrementality in the implicit hitting set approach to MaxSAT under changing weights
A Niskanen, J Berg, M Järvisalo
27th International Conference on Principles and Practice of Constraint …, 2021
72021
Incremental maximum satisfiability
A Niskanen, J Berg, M Järvisalo
25th International Conference on Theory and Applications of Satisfiability …, 2022
62022
Strong refinements for hard problems in argumentation dynamics
A Niskanen, M Järvisalo
ECAI 2020, 841-848, 2020
62020
Pakota: A system for enforcement in abstract argumentation
A Niskanen, JP Wallner, M Järvisalo
European Conference on Logics in Artificial Intelligence, 385-400, 2016
62016
SAT-based Judgment Aggregation.
A Conati, A Niskanen, M Järvisalo
AAMAS, 1412-1420, 2023
52023
系统目前无法执行此操作,请稍后再试。
文章 1–20