Concepedia

Daniel Neugebauer

DN

4

Publications

138

Citations

4

H-Index

2018

Active since

Affiliations

Heinrich Heine University Düsseldorf(Current)

University of Helsinki

Helsinki Institute for Information Technology

Daniel Neugebauer is an author at Heinrich Heine University Düsseldorf specializing in formal methods, computer science, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningVerificationArgument MiningProof ComplexityFormal VerificationLinguisticsArgumentation

Publications per year

2018–2021

4

Publications

4

Verification in incomplete argumentation frameworks

Dorothea Baumeister, Daniel Neugebauer, Jörg Rothe et al. · Artificial Intelligence · 2018 · 62 citations

Engineering, Incomplete Argumentation Frameworks, Argumentation Analysis +8

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

Controllability of Control Argumentation Frameworks

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

Engineering, Verification, Formal Verification +16

Deciding Acceptance in Incomplete Argumentation Frameworks

Andreas Niskanen, Daniel Neugebauer, Matti Järvisalo et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2020 · 13 citations · Full text

Engineering, Argumentation Analysis, Verification +17

Rows per page

1–4 of 4