I would like to express my deepest gratitude to both my supervisors Bart Verheij and Rineke Verbrugge. Their knowledge and experience led to the significant improvement of my dissertation. They have always been motivating for pursuing my ideas and even when my drafts needed an enormous change, my supervisors had a positive point of view about my achievements. Further, I have always been appreciative for the freedom with which they guided me and for being open to all sorts of different approaches that did not always fit into our initial plans. I also want to thank them for their full support concerning my life over these years. Their kindness and advice helped me not to feel pressured or stressed during the project, especially in the tough times of the corona pandemic. I had the chance to freely share my feelings with them whenever I felt less motivated. In such conditions, by reminding of the priority of each person's life and health, they significantly helped me to go back to the main route of my work.I would like to extend my sincere thanks to professors Gerhard Brewka, Pietro Baroni, and Helle Hansen, who kindly accepted to participate in the reading committee of this thesis. Their valuable comments led to the better development of the results. I am especially grateful to Helle Hansen for all her attention to this dissertation. I believe that it is almost impossible that even a tiny mistake would go unnoticed under her radar. I also like to thank professor Stefan Woltran, my master's degree supervisor, who recommended me to apply for this PhD program. He never stops supporting me with his valuable advice.The financial support for this research was provided by the Center of Data Science & Systems Complexity (DSSC) Doctoral Programme, at the University of Groningen which provides an excellent opportunity in a very friendly research environment.I have to thank all my colleagues, who have supported me: Martin