[Zurück]


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

M. Abseher, B. Bliem, G. Charwat, F. Dusberger, M. Hecher, S. Woltran:
"The D-FLAT System for Dynamic Programming on Tree Decompositions.";
Vortrag: European Conference on Logics in Artificial Intelligence (JELIA), Madeira; 24.09.2014 - 26.09.2014; in: "Logics in Artificial Intelligence - 14th European Conference, JELIA 2014", E. Fermé, J. Leite (Hrg.); Springer, (2014), ISSN: 0302-9743; S. 558 - 572.



Kurzfassung englisch:
Complex reasoning problems over large amounts of data pose a great challenge for computer science. To overcome the obstacle of high computational complexity, exploiting structure by means of tree decompositions has proved to be effective in many cases. However, the implementation of suitable efficient algorithms is often tedious. D-FLAT is a software system that combines the logic programming language Answer Set Programming with problem solving on tree decompositions and can serve as a rapid prototyping tool for such algorithms. Since we initially proposed D-FLAT, we have made major changes to the system, improving its range of applicability and its usability. In this paper, we present the system resulting from these efforts.

Schlagworte:
Answer Set Programming, tree decompositions, treewidth


"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-11558-0_39



Zugeordnete Projekte:
Projektleitung Stefan Woltran:
Answer-Set Programming Erweiterungen für Problemlösungen auf Zerlegungen

Projektleitung Stefan Woltran:
START


Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.