Skip to content
Snippets Groups Projects
Unverified Commit 04786dcf authored by Tom Wiesing's avatar Tom Wiesing
Browse files

Update layout for courses

parent cc3dfac4
No related branches found
No related tags found
No related merge requests found
...@@ -2,8 +2,16 @@ ...@@ -2,8 +2,16 @@
layout: default layout: default
--- ---
<div class="page"> <div class="row">
<h1 class="page-title">{{page.title}} ({{page.taught}})</h1> <div class="col s12 m5 right">
<h2>{{page.instructor}}</h2> <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}} {{content}}
</p>
</div> </div>
\ No newline at end of file
...@@ -6,15 +6,10 @@ menu_title: KI-Projekt ...@@ -6,15 +6,10 @@ menu_title: KI-Projekt
taught: WS16/17, SS16 taught: WS16/17, SS16
--- ---
The KWARC group (Wissensrepräsentation und Verarbeitung)conducts research in knowledge The KWARC group (Wissensrepräsentation und Verarbeitung)conducts research in knowledge representation and reasoning techniques with a view towards applications in knowledge management.
representation and reasoning techniques with a view towards applications in knowledge We extend techniques from formal methods so that they can be used in settings where formalization is either infeasible or too costly.
management. We extend techniques from formal methods so that they can be used in settings We concentrate on developing techniques for marking up the structural semantics in technical documents.
where formalization is either infeasible or too costly. We concentrate on developing This level of markup allows for offering interesting knowledge management services without forcing theauthor to formalize the document contents.
techniques for marking up the structural semantics in technical documents. This level of In contrast to courses with fixed topics, project topics are defined individually.
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 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.
and [the KWARC research topics list](http://gl.kwarc.info/kwarc/thesis-projects) for
expemplary topics.
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment