systems/tgview3d.md

+---
+layout: system
+
+menu_title: TGView3D
+shorttitle: TGView3D
+title: The TGView3D Graph Viewer
+teaser: An interactive 3D graph viewer optimized for visualizing Theory Graphs and mathematical knowledge in general
+
+start_date: '2018'
+
+people: 
+    - mkohlhase
+    - frabe
+    - dmueller
+    - rmarcus
+
+
+supported-by:
+    - odk
+
+website: https://tgview3d.mathhub.info/
+repository: https://github.com/UniFormal/tgview3d
+publink: https://kwarc.info/people/mkohlhase/submit/cicm20-tgview3D.pdf
+---
+The TGView3D System is a 3D-theory graph viewer in the Unity Engine.
+Different layouts and highlighting settings are available to visualize the complex theory graphs efficiently.
+In particular, this allows exploration of big mathematical libraries, e.g, those related to theorem provers like Coq or Isabelle.
+Furthermore, we have a virtual reality protoype to allow intuitive and immersive interactions.
+
+
+*For students*: Topics for theses and projects are available [here](https://gl.kwarc.info/kwarc/thesis-projects/-/issues?label_name%5B%5D=Graph+Visualization).
\ No newline at end of file

teaching/AIProj.md

----
-layout: course
-instructor: Prof. Dr. Michael Kohlhase
-title: Projekt zur Künstlichen Intelligenz
-menu_title: KI-Projekt
-taught: WS16/17, SS16
----
-
-The KWARC group (Wissensrepräsentation und Verarbeitung)conducts research in knowledge
-representation and reasoning techniques with a view towards applications in knowledge
-management. We extend techniques from formal methods so that they can be used in settings
-where formalization is either infeasible or too costly. We concentrate on developing
-techniques for marking up the structural semantics in technical documents. This level of
-markup allows for offering interesting knowledge management services without forcing the
-author to formalize the document contents.  In contrast to courses with fixed topics,
-project topics are defined individually.
-
-See the [KWARC home page](http://kwarc.info) for a general introduction to the research
-and [the KWARC research topics list](http://gl.kwarc.info/kwarc/thesis-projects) for
-expemplary topics. 

teaching/KRMT.md

----
-layout: course
-instructor: Prof. Dr. Michael Kohlhase
-title: Vorlesung *Logik-Basierte Wissensrepräsentation für Mathematisch/Technisches Wissen*
-menu_title: Vorlesung KRMT
-taught: SS16/17
----
-
-Dieser Kurs behandelt Grundlagen der Mathematik, Modulare Formalisierung in
-Theoriegraphen, Narrative Strukturen in informellen mathematisch/technischen Dokumenten,
-Formalisierung von Logiksprachen in Metalogiken.
-
-Da wir nur wenige Studenten erwarten, wollen wir diesen Kurs sehr interaktiv und
-Projektorientiert aufbauen. 
-

teaching/ai1.md

----
-layout: course
-instructor: Prof. Dr. Michael Kohlhase
-title: Künstliche Intelligenz I
-menu_title: Künstliche Intelligenz I
-taught: WS16
----
-Diese Vorlesung beschäftigt sich mit den Grundlagen der Künstlichen Intelligenz (KI), insbesondere formale Wissensrepräsentation, Heuristische Suche, Automatisches Planen und Schliessen unter Unsicherheit.
-

teaching/ai2.md

----
-layout: course
-instructor: Prof. Dr. Michael Kohlhase
-title: Künstliche Intelligenz II
-menu_title: Künstliche Intelligenz II
-taught: SS16/17
----
-
-Dieser Kurs beschäftigt sich mit den Grundlagen der Künstlichen Intelligenz (KI), insbesondere mit Techniken des Schliessens unter Unsicherheit, des maschinellen Lernens und dem Sprachverstehen.
-Der Kurs baut auf der Vorlesung Künstliche Intelligenz I vom Wintersemester auf und führt diese weiter.
-

teaching/wuv.md

----
-layout: course
-instructor: Prof. Dr. Michael Kohlhase
-title: Seminar Wissensrepräsentation und -verarbeitung
-menu_title: Seminar WuV
----
-
-This seminar covers topics from knowledge representation and knowledge processing, mostly
-with a focus on mathematical knowledge.
-