Concepedia

Andreas Niskanen

AN

10

Publications

232

Citations

10

H-Index

2016

Active since

Affiliations

University of Helsinki(Current)

Helsinki Institute for Information Technology

Heinrich Heine University Düsseldorf

Andreas Niskanen is an author at University of Helsinki specializing in engineering, automated reasoning, and computer science.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsArgument MiningProof ComplexityFormal VerificationLinguisticsVerificationArgumentation

Publications per year

2016–2021

10

Publications

10

Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation

Johannes Wallner, Andreas Niskanen, Matti Järvisalo · Journal of Artificial Intelligence Research · 2017 · 60 citations · Full text

Engineering, Argumentation Dynamics, Argumentation Analysis +16

Acceptance in incomplete argumentation frameworks

Dorothea Baumeister, Matti Järvisalo, Daniel Neugebauer et al. · Artificial Intelligence · 2021 · 46 citations · Full text

Engineering, Argumentation Analysis, Computational Complexity +19

Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation

Johannes Wallner, Andreas Niskanen, Matti Järvisalo · Proceedings of the AAAI Conference on Artificial Intelligence · 2016 · 26 citations · Full text

Artificial Intelligence, Abstract Argumentation, Engineering +15

Synthesizing Argumentation Frameworks from Examples

Andreas Niskanen, Johannes Wallner, Matti Järvisalo · Journal of Artificial Intelligence Research · 2019 · 18 citations · Full text

Artificial Intelligence, Engineering, Af Synthesis Problem +18

Controllability of Control Argumentation Frameworks

Andreas Niskanen, Daniel Neugebauer, Matti Järvisalo · 2020 · 17 citations · Full text

Engineering, Verification, Formal Verification +16

Rows per page

1–5 of 10