Full Papers
| Answer Set Programming via Mixed Integer Programming | |
| Guohua Liu, Tomi Janhunen, Ilkka Niemela |
| Complexity-Sensitive Decision Procedures for Abstract Argumentation | |
| Wolfgang Dvorak, Matti Järvisalo, Johannes Peter Wallner, Stefan Woltran |
| On Unit-Refutation Complete Formulae with Existentially Quantified Variables | |
| Lucas Bordeaux, Mikolas Janota, Joao Marques-Silva, Pierre Marquis |
| Ontology Evolution Under Semantic Constraints | |
| Bernardo Cuenca Grau, Ernesto Jimenez-Ruiz, Evgeny Kharlamov, Dmitriy Zheleznyakov |
| Abstracting Abstraction in Search with Applications to Planning | |
| Christer Backstrom, Peter Jonsson |