Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
T. Kaminski:
"Answer Set Programs with External Source Access: Integrated Evaluation and New Applications";
Vortrag: Doctoral Consortium at the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-DC 2017),
Helsinki, Finland;
04.07.2017
- 06.07.2017; in: "LPNMR 2017 Doctoral Consortium",
M. De Vos (Hrg.);
(2017),
S. 17
- 22.
Kurzfassung englisch:
Answer Set Programming (ASP) is a widely-used paradigm for declarative programming, where a problem is encoded by nonmonotonic rules and its solutions are extracted from the stable models of the corresponding answer set program computed by a solver. This paper summarizes my doctoral research on evaluation and applications of HEX-programs, which extend ASP with access to external sources. The focus is on integrating evaluation of external sources and solving by exploiting partial assignments, and introducing lazy-grounding.
Schlagworte:
Answer Set Programming, HEX-Programs, Solving Techniques
Zugeordnete Projekte:
Projektleitung Thomas Eiter:
Integrated Evaluation of Answer Set Programs and Extensions
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.