Talks and Poster Presentations (with Proceedings-Entry):
W. Faber, S. Woltran:
"A Framework for Programming with Module Consequences";
Talk: 2nd International Workshop on Software Engineering for Answer Set Programming (SEA'09), co-located with the 10th Int. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR'09),
- 09-18-2009; in: "Proc. of the 2nd International Workshop on Software Engineering for Answer Set Programming (SEA'09)",
M. De Vos, T. Schaub (ed.);
We present a framework which allows to combine answer-set programs
in a way that consequences (rather than answer sets themselves) of programs can be used as input to other programs. Situations in which such a composition of programs is required appear in many practical application problems. So far, to deal with such problems, multiple calls to answer-set solvers were usually indispensable, as a direct ASP encoding is often much less obvious. In addition, we provide a technique for compiling such frameworks into a single ASP program
which consequently can be evaluated by a single call to an answer-set solver. Our approach relies on the recently introduced concept of manifold programs which make use of weak constraints to identify consequences of programs.
Project Head Reinhard Pichler:
Theoretisch Effiziente Lösbarkeit vs. Praktische Berechnung
Project Head Stefan Woltran:
Neue Methoden für Analyse, Vergleich und Lösung von Argumentationsproblemen
Created from the Publication Database of the Vienna University of Technology.