Peter Skocovsky has left Ulm University. This page is no longer maintained.
I am a research assistant working on the project Live Ontologies (since October 2015).
Between 2010 and 2014 I studied European Master’s Program in Computational Logic in the universities TU Dresden, University of Bolzano, TU Wien and Universidade Nova de Lisboa. My master's thesis was about Realisation of Stepping for Real-World ASP Languages under supervision of João Leite and Hans Tompits. In 2012 I did an internship concerning Constraint Satisfaction Problems at NICTA under supervision of Toby Walsh.