European Master's Program in Computational Logic

Search:
13 January 2016

Master Thesis Defense by Ms Asma Afeefy

Ms Asma Afeefy defended her master thesis on 'Navigation Approaches for Answer Sets'


Ms Asma Afeefy defended her master thesis on 'Navigation Approaches for Answer Sets' at TUD on 17 December 2015.

Abstract:

Answer set programming (ASP) is one of the most popular modeling languages in knowledge representation. In recent years, many integrated development environments (IDE) for ASP programs including editors and debuggers are developed. However, none of them focuses on analyzing the answer sets. With the availability of a huge number of answer sets, it is increasingly important to provide a solution to navigate them. We study
and analyze the answer sets to perform the user access to specific answers. To this end, we aim at conducting and exploring different navigation approaches, such as, filtering, sorting, finding diverse/similar solutions, and faceted browsing. Afterward, we implement a tool performing the above approaches in order to simplify the search task. We conclude by testing the performance of the proposed tool into two different real world examples of ASP programs.