Publications by Holger Jost

Martin Gebser, Tomi Janhunen, Holger Jost, Roland Kaminski, Torsten Schaub

ASP Solving for Expanding Universes

Thirteenth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'15) (2015)

Martin Gebser, Holger Jost, Roland Kaminski, Philipp Obermeier, Orkunt Sabuncu, Torsten Schaub, Marius Schneider

Ricochet Robots: A transverse ASP benchmark.

Twelfth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'13) (2013)