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. In this paper, we study and analyze the answer sets to perform 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 a real world example of ASP programs.

عنوان المؤتمر

2019 IEEE Jordan International Joint Conference on Electrical Engineering and Information Technology (JEEIT)

دولة المؤتمر

الأردن

تاريخ المؤتمر

9 إبريل، 2019 - 11 إبريل، 2019

راعي المؤتمر

IEEE

معلومات إضافية

موقع المؤتمر الإلكتروني