Clingo goes linear constraints over reals and integers. - Tomi Janhunen; Roland Kaminski; Max Ostrowski; Sebastian Schellhorn; Philipp Wanko; Torsten Schaub (Theory Pract. Log. Program., 2017)

The Potsdam Answer Set Solving Collection 5.0. - Martin Gebser; Roland Kaminski; Benjamin Kaufmann; Patrick Lühne; Philipp Obermeier; Max Ostrowski; Javier Romero 003; Torsten Schaub; Sebastian Schellhorn; Philipp Wanko (Künstliche Intell., 2018)

Lower Bound Founded Logic of Here-and-There. - Pedro Cabalar; Jorge Fandinno; Torsten Schaub; Sebastian Schellhorn (JELIA, 2019)

Gelfond-Zhang aggregates as propositional formulas. - Pedro Cabalar; Jorge Fandinno; Torsten Schaub; Sebastian Schellhorn (Artif. Intell., 2019)

Hybrid metabolic network completion. - Clémence Frioux; Torsten Schaub; Sebastian Schellhorn; Anne Siegel; Philipp Wanko (Theory Pract. Log. Program., 2019)

Reasoning about Study Regulations in Answer Set Programming (Preliminary Report). - Susana Hahn; Cedric Martens; Amadé Nemes; Henry Otunuya; Javier Romero 003; Torsten Schaub; Sebastian Schellhorn (ICLP Workshops, 2023)

Reasoning About Study Regulations in Answer Set Programming. - Susana Hahn; Torsten Schaub; Cedric Martens; Amadé Nemes; Henry Otunuya; Javier Romero 003; Sebastian Schellhorn (Theory Pract. Log. Program., 2024)