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