15 citations · 24 across the 8 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2020★ 15 cited
Omission-based Abstraction for Answer Set Programs
Zeynep G. Saribatur, Thomas Eiter
Abstraction is a well-known approach to simplify a complex problem by over-approximating it with a deliberate loss of information. It was not considered so far in Answer Set Progra…
cs.LO2018
Towards Abstraction in ASP with an Application on Reasoning about Agent Policies
Zeynep G. Saribatur, Thomas Eiter
ASP programs are a convenient tool for problem solving, whereas with large problem instances the size of the state space can be prohibitive. We consider abstraction as a means of o…