Benutzer:Christian.kissig
aus Wikipedia, der freien Enzyklopädie
Babel: | ||
---|---|---|
|
||
|
||
Benutzer nach Sprache |
Seit 2005 bin ich Student der Logik und Mathematik am Institut für Logik, Sprachen und Berechnung der Universität_von_Amsterdam. Zur Zeit schreibe ich meine Master Arbeit über Modallogik, Coalgebren und Automaten.
Daneben interessieren mich noch ontologisches Schliessen und Wissensrepräsentation durch Beschreibungslogiken, sowie das Semantische Web.
Weitere Informationen finden Sie auf meiner persönlichen Website.