Talks and Poster Presentations (with Proceedings-Entry):
Z. G. Saribatur, T. Eiter:
"Towards Abstraction in ASP with an Application on Reasoning about Agent Policies";
Talk: 11th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'18),
Oxford, UK;
2018-07-18; in: "Workshop on Answer Set Programming and Other Computing Paradigms",
(2018).
English abstract:
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 over-approximation and introduce a method to automatically abstract (possibly non-ground) ASP programs that preserves their structure, while reducing the size of the problem. One particular application case is the problem of defining declarative policies for reactive agents and reasoning about them, which we illustrate on examples.
Electronic version of the publication:
https://arxiv.org/pdf/1809.06638.pdf
Created from the Publication Database of the Vienna University of Technology.