The courses given by the KWARC group in the last semesters:

• Summer 2023

• AI 1/2 Systems Project
• Artificial Intelligence II
• Informatische Werkzeuge in den Geistes- und Sozialwissenschaften IWGS-II
• Logic-Based Representation of Mathematical/Technical Knowledge
• Seminar Wissensrepräsentation und -verarbeitung

• Winter 2022/23

• AI 1/2 Systems Project
• Artificial Intelligence I
• Course Knowledge Representation and Processing (Wissensrepräsentation und -verarbeitung, WuV)
• Informatische Werkzeuge in den Geistes- und Sozialwissenschaften IWGS-I
• Logik-Basierte Sprachverarbeitung (LBS)
• Seminar Wissensrepräsentation und -verarbeitung

• Summer 2022

• AI 1/2 Systems Project
• AI Research Project
• Artificial Intelligence II
• Informatische Werkzeuge in den Geistes- und Sozialwissenschaften IWGS-II
• Logic-Based Representation of Mathematical/Technical Knowledge
• Seminar Wissensrepräsentation und -verarbeitung

• Winter 2021/22

• AI 1/2 Systems Project
• AI Research Project
• Artificial Intelligence I
• Informatische Werkzeuge in den Geistes- und Sozialwissenschaften IWGS-I
• Logik-Basierte Sprachverarbeitung (LBS)
• Seminar Wissensrepräsentation und -verarbeitung

• Summer 2021

• AI Research Project
• Artificial Intelligence II
• Course Knowledge Representation and Processing (Wissensrepräsentation und -verarbeitung, WuV)
• Informatische Werkzeuge in den Geistes- und Sozialwissenschaften IWGS-II
• Logic-Based Representation of Mathematical/Technical Knowledge
• Seminar Wissensrepräsentation und -verarbeitung

• Winter 2020/21

• AI Research Project
• Artificial Intelligence I
• Informatische Werkzeuge in den Geistes- und Sozialwissenschaften IWGS-I
• Logik-Basierte Sprachverarbeitung (LBS)
• Seminar Wissensrepräsentation und -verarbeitung

• Summer 2020

• AI Research Project
• Artificial Intelligence II
• Course Knowledge Representation and Processing (Wissensrepräsentation und -verarbeitung, WuV)
• Informatische Werkzeuge in den Geistes- und Sozialwissenschaften IWGS-II
• Logic-Based Representation of Mathematical/Technical Knowledge
• Seminar Wissensrepräsentation und -verarbeitung
• Seminar for mathematical data

• Winter 2019/20

• AI Research Project
• Artificial Intelligence I
• Informatische Werkzeuge in den Geistes- und Sozialwissenschaften IWGS-I
• Logik-Basierte Sprachverarbeitung (LBS)
• Seminar Wissensrepräsentation und -verarbeitung

• Summer 2019

• AI Research Project
• Artificial Intelligence II
• Informatische Werkzeuge in den Geistes- und Sozialwissenschaften IWGS-II
• Logic-Based Representation of Mathematical/Technical Knowledge
• Seminar Wissensrepräsentation und -verarbeitung

• Winter 2018/19

• AI Research Project
• Artificial Intelligence I
• Informatische Werkzeuge in den Geistes- und Sozialwissenschaften IWGS-I
• Logik-Basierte Sprachverarbeitung (LBS)
• Seminar Wissensrepräsentation und -verarbeitung

• Summer 2018

• AI Research Project
• Artificial Intelligence II
• Logic-Based Representation of Mathematical/Technical Knowledge
• Seminar Wissensrepräsentation und -verarbeitung

• Winter 2017/18

• AI Research Project
• Artificial Intelligence I
• Logik-Basierte Sprachverarbeitung (LBS)
• Seminar Wissensrepräsentation und -verarbeitung

• Summer 2017

• AI Research Project
• Artificial Intelligence II
• Logic-Based Representation of Mathematical/Technical Knowledge
• Seminar Wissensrepräsentation und -verarbeitung

• Winter 2016/17

• AI Research Project
• Artificial Intelligence I

• Fall 2016

• General Computer Science

• Fall 2015

• Computational Logic
• General Computer Science
• General Information and Communication Technology I

• Spring 2015

• Computational Natural Language Semantics
• General Information and Communication Technology II

• Fall 2014

• General Computer Science I
• General Information and Communication Technology I

• Spring 2014

• Computational Natural Language Semantics

• Intersession 2014

• University Study Course - From the Textual to the Technological: Documents and Structure in a Digital Age

• Fall 2013

• Computational Logic
• General Computer Science I

• Spring 2013

• Research Seminar - Knowledge Representation and Semantic Web

• Fall 2012

• Computational Natural Language Semantics
• General Computer Science I

• Spring 2012

• Research Seminar - Knowledge Representation and Semantic Web

• Fall 2011

• Computational Logic
• General Computer Science I

• Spring 2011

• Research Seminar - Knowledge Representation and Semantic Web
• University Study Course: Text and Digital Media

• Fall 2010

• Computational Natural Language Semantics
• General Computer Science I

• Spring 2010

• Research Seminar - Knowledge Representation and Semantic Web

• Fall 2009

• Computational Logic
• General Computer Science I

• Spring 2009

• General Computer Science II
• Research Seminar - Knowledge Representation and Semantic Web

• Fall 2008

• Computational Natural Language Semantics
• General Computer Science I

• Spring 2008

• General Computer Science II
• Research Seminar - Knowledge Representation and Semantic Web

• Fall 2007

• Computational Logic
• General Computer Science I

• Spring 2007

• General Computer Science II
• Research Seminar - Knowledge Representation and Semantic Web

• Fall 2006

• Computational Natural Language Semantics
• General Computer Science I

• Spring 2006

• General Computer Science II
• Research Seminar - Knowledge Representation and Semantic Web

• Fall 2004

• General Computer Science I

• Spring 2005

• Artificial Intelligence
• Data Bases and Web Applications
• General Computer Science II
• Representing Dynamics and Dynamic Representation
• Research Seminar - Knowledge Representation and Semantic Web

• Fall 2004

• General Computer Science I

• Spring 2004

• General Computer Science II

• Fall 2003

• General Computer Science I