Mr Tobias Kaminski received the price for the best EMCL master thesis 2014 during the EMCL students workshop at NOVA in February 2015.
The EMCL Student Workshop 2015 will take place at UNL on 18 and 19 February 2015.
Mr Tobias Kaminski defended his master thesis on 'Hybrid MKNF Knowledge Bases Under Paraconsistent Well-Founded Semantics'.
Ms Itzel Vázquez Sandoval defended his master thesis on 'Automated Reasoning Support for Process Models using Action Languages'.
Ms Ilina Stoilkovska defended her master thesis on 'XML Data Integration'
Mr Adrian Haret defended his master thesis on 'Merging in the Horn fragment'
Mr Andreas Fellner defended his master thesis on 'Space & Congruence Compression of Proofs '