Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

Date: 2016, November 1
Author: Mossakowski, Till
Title: Generalised Substitution Systems


We will discuss the topic of neuro-symbolic integration, using the following overview paper. The paper is quite long, so I suggest that we read the first 10 pages (i.e. sections 1 and 2).


Back to the Oberseminar web page