Abstraction is a well-known approach to simplify a complex problem by
ov...
Humans are capable of abstracting away irrelevant details when studying
...
ASP programs are a convenient tool for problem solving, whereas with lar...
We describe a representation in a high-level transition system for polic...