taasp 2016

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

Tools: Print page


Programme

Invited Talks

Schedule

Time Title
09:00 Welcome
09:00-09:30 Philip Gasteiger, Carmine Dodaro, Benjamin Musitsch, Kristian Reale, Francesco Ricca and Kostyantyn Shchekotykhin. An integrated Graphical User Interface for Debugging Answer Set Programs (pdf)
09:30-10:30 Invited Talk: Agostino Dovier. Exploring Life through Logic Programming: Answer Set Programming in Bioinformatics (pdf)
10:30-11:00 Coffee Break
11:00-11:30 Wolfgang Faber, Mauro Vallati, Federico Cerutti and Massimiliano Giacomin. Solving Set Optimization Problems by Cardinality Optimization via Weak Constraints with an Application to Argumentation (pdf)
11:30-12:00 Orkunt Sabuncu, Torsten Schaub and Christian Schulz-Hanke. Formalizing Multi-Agent Systems Using Action Descriptions in Single Agent Perspective (pdf)
12:00-12:30 Stefan Ellmauthaler and Jörg Pührer. Stream Packing for Asynchronous Multi-Context Systems Using ASP (pdf)
12:30-14:00 Lunch Break
14:00-15:00 Invited Talk: Torsten Schaub. Theory Solving Made Easy with Clingo (pdf)
15:00-15:30 Carmine Dodaro, Philip Gasteiger, Nicola Leone, Benjamin Musitsch, Francesco Ricca and Kostyantyn Shchekotykhin. Driving CDCL Search (pdf)
15:30-16:00 Coffee Break
16:00-16:30 Bernhard Bliem, Sebastian Ordyniak and Stefan Woltran. Clique-Width and Directed Width Measures for Answer-Set Programming (pdf)
16:30-17:00 Johannes K. Fichte, Markus Hecher, Michael Morak and Stefan Woltran. Counting Answer Sets via Dynamic Programming (pdf)
17:00-17:30 Richard Taupe and Erich Teppan. Influence of ASP Language Constructs on the Performance of state-of-the-art Solvers (pdf)
17:30-18:00 Panel


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.