Peter Skocovsky

Publication Activity (10 Years)

Years Active: 2013-2022
Publications (10 Years): 2

Top Topics

Technical Report

Top Venues

Description Logics

Theory Pract. Log. Program.

Publications

Thomas Eiter, Tobias Geibinger, Nysret Musliu, Johannes Oetsch, Peter Skocovsky, Daria Stepanova
Answer-Set Programming for Lexicographical Makespan Optimisation in Parallel Machine Scheduling. CoRR (2022)
Yevgeny Kazakov, Peter Skocovsky
Enumerating Justifications using Resolution. Description Logics (2017)
Paula-Andra Busoniu, Johannes Oetsch, Jörg Pührer, Peter Skocovsky, Hans Tompits
SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging support. Theory Pract. Log. Program. 13 (4-5) (2013)
Nina Narodytska, Peter Skocovsky, Toby Walsh
Global SPACING Constraint (Technical Report) CoRR (2013)