more courses

courses/GenICT1.md

+---
+layout: course
+
+title: General Information and Communication Technology I 
+instructor:
+- mkohlhase
+- Prof.  Jürgen Schönwälder
+- Prof. Peter Baumann
+- Prof. Herbert Jaeger
+	
+organization: Jacobs University
+semesters:
+- Fall14
+- Fall15
+---
+An Introduction to Computer Science for students of all subjects. 

courses/GenICT2.md

+---
+layout: course
+
+title: General Information and Communication Technology II 
+instructor:
+- mkohlhase
+- Prof.  Jürgen Schönwälder
+- Prof. Peter Baumann
+- Prof. Herbert Jaeger
+	
+organization: Jacobs University
+semesters:
+- Spring15
+---
+An Introduction to Computer Science for students of all subjects. 

courses/ai.md

+---
+layout: course
+
+title: Artificial Intelligence
+instructor: mkohlhase
+
+organization: Jacobs University
+semesters:
+    - Spring05
+---
+
+An intro course on AI following Russell/Norvig

courses/complog.md

+---
+layout: course
+
+title: Computational Logic
+instructor:
+	- mkohlhase
+    - frabe
+    - dmueller
+	
+organization: Jacobs University
+semesters:
+    - Fall05
+    - Fall07
+    - Fall09
+    - Fall11
+    - Fall13
+    - Fall15
+---
+Theory and machine-oriented inference for propositional, first-order, higher-order, modal,
+and description logics. 

courses/comsem.md

+---
+layout: course
+
+title: Computational Natural Language Semantics
+instructor:
+	- mkohlhase
+	
+organization: Jacobs University
+semesters:
+    - Fall06
+    - Fall08
+    - Fall10
+    - Fall12
+    - Spring14
+    - Spring15
+---
+Logic-based theories for the semantics of natural language. 

courses/dbwa.md

+---
+layout: course
+
+title: Data Bases and Web Applications
+instructor: mkohlhase
+
+organization: Jacobs University
+semesters:
+    - Spring05
+---
+
+An intro course on data bases and web applications.

courses/dynamics.md

+---
+layout: course
+
+title: Representing Dynamics and Dynamic Representation 
+instructor: mkohlhase
+co-instructors:
+    - Herber Jaeger, Jacocbs University
+
+organization: Jacobs University
+semesters:
+    - Spring05
+---
+
+An intro course on AI following Russell/Norvig

courses/gencs.md

+---
+layout: course
+
+title: General Computer Science
+instructor: mkohlhase
+
+organization: Jacobs University
+semesters:
+    - Fall015 
+    - Fall016 
+---
+
+General Computer Science I is the first semester, introductory course taught at Jacobs University. Starting the Fall Semester 2015 (when GenCS II was dropped). It is really still the same as GenCS I. 

courses/gencs1.md

+---
+layout: course
+
+title: General Computer Science I
+instructor: mkohlhase
+
+organization: Jacobs University
+semesters:
+    - Fall03
+    - Fall04
+    - Fall05
+    - Fall06
+    - Fall07
+    - Fall08
+    - Fall09
+    - Fall010
+    - Fall011
+    - Fall012
+    - Fall013 
+    - Fall014 
+---p
+
+General Computer Science I is the first semester, introductory course taught at Jacobs University. It focuses on representation issues for objects, and uses SML as an programming language to equalize over a diverse student body. 

courses/gencs2.md

+---
+layout: course
+
+title: General Computer Science II
+instructor: mkohlhase
+
+organization: Jacobs University
+semesters:
+    - Spring04
+    - Spring05
+    - Spring06
+    - Spring07
+    - Spring08
+    - Spring09
+    - Spring010
+    - Spring011
+    - Spring012
+    - Spring013 
+    - Spring014 
+---
+
+General Computer Science II is the second semester, introductory course taught at Jacobs University.  It focuses on abstract computation (machine models), search, and declarative programming. It still uses SML as a programming language.

courses/krsw.md

+---
+layout: course
+
+title: Research Seminar -  Knowledge Representation and Semantic Web
+instructor:
+	- mkohlhase
+    - frabe
+
+organization: Jacobs University
+semesters:
+    - Spring05
+    - Spring06
+    - Spring07
+    - Spring08
+    - Spring09
+    - Spring10
+    - Spring11
+    - Spring12
+    - Spring13
+---
+Current Topics in Logics, Knowledge Representation, Semantic Web, and Automated Reasoning

courses/tdm.md

+---
+layout: course
+
+title: University Study Course: Text and Digital Media
+instructor: mkohlhase
+co-instructors:
+    - Prof. Thomas Rommel, Jacobs University
+
+organization: Jacobs University
+semesters:
+    - Spring11
+---
+An interdisciplinary Introduction to the structure and management of Text and Digial
+Media. 

courses/ttt.md

+---
+layout: course
+
+title: USC - From the Textual to the Technological: Documents and Structure in a Digital AgeText and Digital Media (with)
+instructor:
+- mkohlhase
+- Dr. Giselda Baudin 
+	
+organization: Jacobs University
+semesters:
+    - Intersession 2014
+---
+An interdisciplinary Introduction to the structure and management of Text and Digial
+Media.