Learning Generalized Unsolvability Heuristics for Classical Planning
Simon Ståhlberg (Linköping University), Guillem Francès (Universitat Pompeu Fabra), Jendrik Seipp
(Linköping University)
On the Relation Between Approximation Fixpoint Theory and Justification Theory
Simon Marynissen (KU Leuven), Bart Bogaerts (Vrije Universiteit Brussel), Marc Denecker (KU Leuven)
Keep Your Distance: Land Division With Separation
Edith Elkind (University of Oxford), Erel Segal-Halevi (Ariel University), Warut Suksompong (National
University of Singapore)
Honorable Mention
Actively Learning Concepts and Conjunctive Queries under ELdr-Ontologies
Maurice Funk (University of Bremen), Jean Christoph Jung (University of Hildesheim), Carsten Lutz
(University of Bremen)