Sebastian Schellhorn

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