| Authors | Title | Paper | Talk |
|---|
| Michael Abseher, Bernhard Bliem, Günther Charwat, Frederico Dusberger and Stefan Woltran | Computing Secure Sets in Graphs using Answer Set Programming |  | Jul 23 15:35 |
| Mario Alviano, Carmine Dodaro, Joao Marques-Silva and Francesco Ricca | On the Implementation of Weak Constraints in WASP | | Jul 23 16:55 |
| Joseph Babb and Joohyung Lee | Action Language BC+: Preliminary Report | | Jul 23 12:35 |
| Evgenii Balai and Patrick Kahl | Epistemic Logic Programs with Sorts | | Jul 23 11:10 |
| Gerhard Brewka, James Delgrande, Javier Romero and Torsten Schaub | ``Are Preferences Giving You a Headache?'' - ``Take asprin!'' | | Jul 23 16:30 |
| Pedro Cabalar and Martín Diéguez | Temporal Stable Models are LTL-representable | | Jul 23 11:45 |
| Stefania Costantini and Andrea Formisano | Query Answering in Resource-Based Answer Set Semantics | | Jul 23 14:45 |
| Martin Gebser, Tomi Janhunen and Jussi Rintanen | Declarative Encodings of Acyclicity Properties | | Jul 23 15:10 |
| Amelia Harrison, Vladimir Lifschitz, David Pearce and Agustín Valverde | Infinitary Equilibrium Logic | | Jul 23 09:50 |
| Patrick Kahl, Richard Watson, Michael Gelfond and Yuanlin Zhang | A Refinement of the Language of Epistemic Specifications | | Jul 23 10:45 |
| Kostyantyn Shchekotykhin | Interactive Query-based Debugging of ASP Programs | | Jul 23 17:20 |
| Ilias Tachmazidis, Grigoris Antoniou and Wolfgang Faber | Computing Answer Sets for Monadic Logic Programs via MapReduce | | Jul 23 17:45 |
| Shahab Tasharrofi and Eugenia Ternovska | Supported Semantics for Modular Systems | | Jul 23 09:25 |
| Shiqi Zhang, Fangkai Yang, Piyush Khandelwal and Peter Stone | Mobile Robot Planning using Action Language BC with Hierarchical Domain Abstractions | | Jul 23 12:10 |