MSc Projects
Frank's MSc projects for 2010
(1) Supervisor: Frank Wolter, 2nd supervisor: Boris Konev
- Project : A reasoner for the description logic EL
(2) Supervisor: Frank Wolter, 2nd Supervisor: Boris Konev.
- Project : From predicate logic to SQL
(3) Supervisor: Frank Wolter, 2nd Supervisor: Boris Konev.
- Project : Simulation testing: an empirical study