Publications by Sebastian Schellhorn

Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn

Lower Bound Founded Logic of Here-and-There

the Sixteenth European Conference on Logics in Artificial Intelligence (JELIA'19) (2019)

Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko

Hybrid Metabolic Network Completion

Article in Journal, in Theory and Practice of Logic Programming 1, pp. 83-108 (2018)

Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko

Clingo goes Linear Constraints over Reals and Integers

Article in Journal, in Theory and Practice of Logic Programming 5-6, pp. 872-88 (2017)