MSc Projects

Projects offered by Frank Wolter

Please contact me by email if you are interested in any of these projects. Also, I am available May 19th and May 20th from 14:00 until 16:00.

Research Projects

FW1R: Database support for case studies in the field of KR-systems
FW2R: Description Logic for Permission Models

Problem Solving Projects

FW1P: A Java GUI for visualizing tableau computation graphs
FW2P: Simulation of Turing Machines with web interface
FW3P : Decision procedures for the modal logic ALT

Development Projects

FW1D : A content management system
FW2D: Simulation of automata with web interface