Realisation of Stepping for Real-World ASP Languages

perpétuo e sem limites geográficos, de arquivar e publicar esta dissertação através de exemplares impressos reproduzidos em papel ou de forma digital, ou por qualquer outro meio conhecido ou que venha a ser inventado, e de a divulgar através de repositórios científicos e de admitir a sua cópia e distribuição com objectivos educacionais ou de investigação, não comerciais, desde que seja dado crédito ao autor e editor. ivFor MelisviAcknowledgements I would like to thank my supervisor for having a lot of patience with me, the team at TUW for having this wonderful idea, Melis and Ingo for support, and my family, this would not be possible without them. Stepping is folklore in debugging of procedural programming languages that allows developers to focus their attention to each statement of their program one after the other. Recent results in the field of answer-set programming (ASP) debugging brought forth a formalism for stepping through answer-set programs. The main idea is to monotonically build up an interpretation by, at each step, adding literals derived by a rule that is active under the partial interpretation obtained in the previous step. As the stepping framewor