Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):

T. Eiter, G. Ianni, T. Krennwallner:
"Answer Set Programming: A Primer";
Vortrag: 5th International Summer School Reasoning Web 2009, Brixen-Bressanone, Italy (eingeladen); 30.08.2009 - 04.09.2009; in: "5th International Summer School Reasoning Web 2009", S. Tessaris, E. Franconi, T. Eiter, C. Gutierrez, S. Handschuh, M. Rousset, R. Schmidt (Hrg.); Springer, 5689 (2009), ISBN: 978-3-642-03753-5; S. 40 - 110.

Kurzfassung englisch:
Answer Set Programming (ASP) is a declarative problem solving paradigm, rooted in Logic Programming and Nonmonotonic Reasoning, which has been gaining increasing attention during the last years. This article is a gentle introduction to the subject; it starts with motivation and follows the historical development of the challenge of defining a semantics for logic programs with negation. It looks into positive programs over stratified programs to arbitrary programs, and then proceeds to extensions with two kinds of negation (named weak and strong negation), and disjunction in rule heads. The second part then considers the ASP paradigm itself, and describes the basic idea. It shows some programming techniques and briefly overviews Answer Set solvers. The third part is devoted to ASP in the context of the Semantic Web, presenting some formalisms and mentioning some applications in this area. The article concludes with issues of current and future ASP research.

Answer Set Programming

"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)

Zugeordnete Projekte:
Projektleitung Thomas Eiter:
Modulare HEX-Programme

Projektleitung Thomas Eiter:
ONOTRULE - ONTOlogies meet business RULEs

Projektleitung Thomas Eiter:
Schließen in hybriden Wissensbasen

Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.