research
∙
04/03/2020
Omission-based Abstraction for Answer Set Programs
Abstraction is a well-known approach to simplify a complex problem by ov...
share
research
∙
09/11/2019
Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems
Humans are capable of abstracting away irrelevant details when studying ...
research
∙
09/18/2018
Towards Abstraction in ASP with an Application on Reasoning about Agent Policies
ASP programs are a convenient tool for problem solving, whereas with lar...
research
∙
03/31/2016