Ms Shqiponja Ahmetai defended her master thesis on 'Planning in Graph Databases under Description Logic Constraints'.
Ms Paula-Andra Busoniu defended her master thesis on 'On Supporting the Development of Answer-Set Programs using Model-driven Engineering Techniques'.
The EMCL program starts on Monday, 14 October 2013 at TUD.
Mr Fariz Darari defended his master thesis on 'Completeness Reasoning for Linked Data Queries'.
Mr Davide Lanti defended his master thesis on 'Sharing Information in Parallel Search with Search Space Partitioning'.
Mr Gil Vegliach defended his master thesis on 'Monitoring of data-centric business rules and processes'.
Ms Ana Pavlisic defended her master thesis on 'Efficient Algorithms for Language Emptiness of Infinite-State FTS and Satisfiability of LTL Extensions'