Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
Z. G. Saribatur, T. Eiter:
"Towards Abstraction in ASP with an Application on Reasoning about Agent Policies";
Vortrag: 11th Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP'18),
Oxford, UK;
18.07.2018; in: "Workshop on Answer Set Programming and Other Computing Paradigms",
(2018).
Kurzfassung englisch:
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.
Elektronische Version der Publikation:
https://arxiv.org/pdf/1809.06638.pdf
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.