Sebastian Schellhorn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2017–2023
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | ICLP | Reasoning about Study Regulations in Answer Set Programming (Preliminary Report). | Susana Hahn, Cedric Martens, Amad Nemes, Henry Otunuya, Javier Romero, Torsten Schaub, Sebastian Schellhorn |
| 2019 | JELIA | Lower Bound Founded Logic of Here-and-There. | Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn |
| 2017 | LPNMR | Gelfond-Zhang Aggregates as Propositional Formulas. | Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn |
| 2017 | LPNMR | Hybrid Metabolic Network Completion. | Clmence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko |
| 2017 | LPNMR | clingo goes Linear Constraints over Reals and Integers. | Tomi Janhunen, Roland Kaminski, Max Ostrowski, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko |