[Zurück]

W. Faber, S. Woltran:
"A Framework for Programming with Module Consequences";
Vortrag: 2^nd International Workshop on Software Engineering for Answer Set Programming (SEA'09), co-located with the 10^th Int. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR'09), Potsdam; 14.09.2009 - 18.09.2009; in: "Proc. of the 2^nd International Workshop on Software Engineering for Answer Set Programming (SEA'09)", M. De Vos, T. Schaub (Hrg.); (2009), ISSN: 1613-0073; S. 34 - 48.

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.

Projektleitung Reinhard Pichler:
Theoretisch Effiziente Lösbarkeit vs. Praktische Berechnung

Projektleitung Stefan Woltran:
Neue Methoden für Analyse, Vergleich und Lösung von Argumentationsproblemen