taasp 2016

Contact: taasp16<at>kr.tuwien.ac.at

Tools: Print page


Abstracts

Bernhard Bliem, Sebastian Ordyniak and Stefan Woltran. Clique-Width and Directed Width Measures for Answer-Set Programming
Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca and Kostyantyn Shchekotykhin. Driving CDCL Search
Philip Gasteiger, Carmine Dodaro, Benjamin Musitsch, Kristian Reale, Francesco Ricca and Kostyantyn Shchekotykhin. An integrated Graphical User Interface for Debugging Answer Set Programs
Stefan Ellmauthaler and Jörg Pührer. Stream Packing for Asynchronous Multi-Context Systems using ASP
Johannes K. Fichte, Markus Hecher, Michael Morak and Stefan Woltran. Counting Answer Sets via Dynamic Programming
Richard Taupe and Erich Teppan. Influence of ASP Language Constructs on the Performance of state-of-the-art Solvers
Wolfgang Faber, Mauro Vallati, Federico Cerutti and Massimiliano Giacomin. Solving Set Optimization Problems by Cardinality Optimization via Weak Constraints with an Application to Argumentation
Orkunt Sabuncu, Torsten Schaub and Christian Schulz-Hanke. Formalizing Multi-Agent Systems Using Action Descriptions in Single Agent Perspective

Home / Kontakt / Webmaster / Offenlegung gemäß § 25 Mediengesetz: Inhaber der Website ist die Fakultät für Informatik an der Technischen Universität Wien, 1040 Wien. Die TU Wien distanziert sich von den Inhalten aller extern gelinkten Seiten und übernimmt diesbezüglich keine Haftung. / Disclaimer.