Talks and Poster Presentations (with Proceedings-Entry):
T. Kaminski:
"Answer Set Programs with External Source Access: Integrated Evaluation and New Applications";
Talk: Doctoral Consortium at the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR-DC 2017),
Helsinki, Finland;
2017-07-04
- 2017-07-06; in: "LPNMR 2017 Doctoral Consortium",
M. De Vos (ed.);
(2017),
17
- 22.
English abstract:
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.
Keywords:
Answer Set Programming, HEX-Programs, Solving Techniques
Related Projects:
Project Head Thomas Eiter:
Integrated Evaluation of Answer Set Programs and Extensions
Created from the Publication Database of the Vienna University of Technology.