Bridging the Gap between Online Discussions and Formal Models of Argumentation

This thesis contributes to improvement by strengthening the connection between formal argumentation models from AI and software-supported discussions among humans on both sides by developing and implementing translations from discussion data generated by the d-bas web tool to three different AI argumentation formalisms.