Global SPACING Constraint (Technical Report) - Nina Narodytska; Peter Skocovsky; Toby Walsh (CoRR, 2013)

SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support. - Paula-Andra Busoniu; Johannes Oetsch; Jörg Pührer; Peter Skocovsky; Hans Tompits (Theory Pract. Log. Program., 2013)

Enumerating Justifications using Resolution. - Yevgeny Kazakov; Peter Skocovsky (Description Logics, 2017)

Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. - Thomas Eiter; Tobias Geibinger; Nysret Musliu; Johannes Oetsch; Peter Skocovský; Daria Stepanova 001 (Theory Pract. Log. Program., 2023)

Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling - ADDENDUM. - Thomas Eiter; Tobias Geibinger; Nysret Musliu; Johannes Oetsch; Peter Skocovský; Daria Stepanova 001 (Theory Pract. Log. Program., 2024)