diff --git a/_layouts/course.html b/_layouts/course.html index f09d6e1e735d7d6394aa2e302239f5b8a3a2b894..53c70c703e97c9471794eb271d75b1f7679f7aa9 100644 --- a/_layouts/course.html +++ b/_layouts/course.html @@ -2,8 +2,16 @@ layout: default --- -<div class="page"> - <h1 class="page-title">{{page.title}} ({{page.taught}})</h1> - <h2>{{page.instructor}}</h2> - {{ content }} -</div> +<div class="row"> + <div class="col s12 m5 right"> + <div class="card"> + <div class="card-content"> + <span class="card-title">{{page.title}} ({{page.taught}})</span> + <p>{{page.instructor}}</p> + </div> + </div> + </div> + <p> + {{content}} + </p> +</div> \ No newline at end of file diff --git a/teaching/AIProj.md b/teaching/AIProj.md index f417cfd6d32412be22dddaa96561b62aa38924f1..d5c858af142d9772796ce4c0e62e000eebec92a2 100644 --- a/teaching/AIProj.md +++ b/teaching/AIProj.md @@ -6,15 +6,10 @@ 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. +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 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.