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.
SeaLion: An eclipse-based IDE for answer-set programming with advanced debugging supportTPLP, 13(4-5):657-673
- E-Mail: peter.skocovsky(at)uni-ulm.de
- Telefon: +49 (0)731/50-24111
- Peter Skocovsky
- Universität Ulm
- Institut für Künstliche Intelligenz
- D-89069 Ulm
- Gebäude O27, 4. Niveau
- Raum 422