From 4814165e7bbe4beed6e704f2d622f74496b98b35 Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Fri, 25 Aug 2017 12:29:16 +0200
Subject: [PATCH] more
---
courses/AIProj.md | 12 ++++--------
1 file changed, 4 insertions(+), 8 deletions(-)
diff --git a/courses/AIProj.md b/courses/AIProj.md
index db973a7..f1f4d03 100644
--- a/courses/AIProj.md
+++ b/courses/AIProj.md
@@ -4,18 +4,14 @@ layout: course
title: Projekt zur Künstlichen Intelligenz
instructors:
- mkohlhase
-
+ - dmueller
semesters:
- WS17/18
- SS17
- WS16/17
- SS16
---
+The KWARC group offers guided research projects in Artificial Intelligence either at the Bachelor's level or the Master's level.
+The topics of these projects are individually tailored to the student's interest and the projects themselves will be supervised closely by senior KWARC members.
-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 theauthor 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.
+See the [KWARC research page](/research/) for a general introduction to the research and [the KWARC research topics list](http://gl.kwarc.info/kwarc/thesis-projects) for expemplary topics.
--
GitLab