Sebastian Schellhorn

Publication Activity (10 Years)

Years Active: 2017-2023
Publications (10 Years): 11

Top Topics

Propositional Formulas

Answer Set Programming

Linear Constraints

Top Venues

Theory Pract. Log. Program.

Publications

Susana Hahn, Cedric Martens, Amadé Nemes, Henry Otunuya, Javier Romero, Torsten Schaub, Sebastian Schellhorn
Reasoning about Study Regulations in Answer Set Programming (Preliminary Report). ICLP Workshops (2023)
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn
Gelfond-Zhang aggregates as propositional formulas. Artif. Intell. 274 (2019)
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn
Lower Bound Founded Logic of Here-and-There. JELIA (2019)
Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko
Hybrid metabolic network completion. Theory Pract. Log. Program. 19 (1) (2019)
Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko
Hybrid Metabolic Network Completion. CoRR (2018)
Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko
The Potsdam Answer Set Solving Collection 5.0. Künstliche Intell. 32 (2-3) (2018)
Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko
Clingo goes Linear Constraints over Reals and Integers. CoRR (2017)
Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko
Hybrid Metabolic Network Completion. LPNMR (2017)
Tomi Janhunen, Roland Kaminski, Max Ostrowski, Sebastian Schellhorn, Philipp Wanko, Torsten Schaub
Clingo goes linear constraints over reals and integers. Theory Pract. Log. Program. 17 (5-6) (2017)
Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko
clingo goes Linear Constraints over Reals and Integers. ASPOCP@LPNMR (2017)
Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn
Gelfond-Zhang Aggregates as Propositional Formulas. LPNMR (2017)