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, Torsten Schaub, Cedric Martens, Amadé Nemes, Henry Otunuya, Javier Romero, Sebastian Schellhorn

Theory Pract. Log. Program., 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

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, Torsten Schaub, Sebastian Schellhorn, Philipp Wanko

Proceedings of the 10th Workshop on Answer Set Programming and Other Computing Paradigms co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, 2017

Hybrid Metabolic Network Completion.

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

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017

Gelfond-Zhang Aggregates as Propositional Formulas.

Pedro Cabalar, Jorge Fandinno, Torsten Schaub, Sebastian Schellhorn

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2017