Sebastian Schellhorn

According to our database, Sebastian Schellhorn authored at least 7 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Reasoning about Study Regulations in Answer Set Programming.

Susana Hahn, Cedric Martens, Amadé Nemes, Henry Otunuya, Javier Romero, Torsten Schaub, Sebastian Schellhorn

CoRR, 2024

2023

Reasoning about Study Regulations in Answer Set Programming (Preliminary Report).

Susana Hahn, Cedric Martens, Amadé Nemes, Henry Otunuya, Javier Romero, Torsten Schaub, Sebastian Schellhorn

Proceedings of the International Conference on Logic Programming 2023 Workshops co-located with the 39th International Conference on Logic Programming (ICLP 2023), 2023

2019

Hybrid metabolic network completion.

Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko

Theory Pract. Log. Program., 2019

Gelfond-Zhang aggregates as propositional formulas.

Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn

Artif. Intell., 2019

Lower Bound Founded Logic of Here-and-There.

Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

2018

The Potsdam Answer Set Solving Collection 5.0.

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Patrick Lühne, Philipp Obermeier, Max Ostrowski, Javier Romero, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko

Künstliche Intell., 2018

2017

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