Publications by Sebastian Schellhorn
Lower Bound Founded Logic of Here-and-There
the Sixteenth European Conference on Logics in Artificial Intelligence (JELIA'19) (2019)
Hybrid Metabolic Network Completion
Article in Journal, in Theory and Practice of Logic Programming 1, pp. 83-108 (2018)
Clingo goes Linear Constraints over Reals and Integers
Article in Journal, in Theory and Practice of Logic Programming 5-6, pp. 872-88 (2017)