Hybrid Learning and Reasoning

Seminar an der Universität des Saarlandes, Fachrichtung Informatik,  LSF 126868

The topics for seminar time slots (see schedule) are as follows. Currently assigned topics are marked in red 

Selected background literature is indicated below; topic reference papers are available in the web or on request from seminar organizers.

Topic#

Topic

1

Learning with symbolic semantic prior

2

Learning with symbolic semantic prior  II

  • I. Donadello, L. Serafini & A. d’Avila Garcez (2017):  Logic Tensor Networks for Semantic Image Interpretation. Proc. 26th International Joint Conference on Artificial Intelligence (IJCAI). see also: L. Serafini & A. d’Avila Garcez (2016): Learning and Reasoning with Logic Tensor Networks. Proc. Conference of the Italian Association for Artificial Intelligence. Springer

3

Learning with intermediate and derived semantic prior

 

4

Learning with intermediate and derived semantic prior II

5

Learning with intermediate and derived semantic prior III

 

6

Learning intermediate symbolic abstraction for reasoning

 

7

Meta-reasoning for learning to reason  (Learning to logically reason))

T. Rocktäschel & S. Riedel (2017): End-to-end Differentiable Proving. Proc. International Conference on Advances in Neural Information Processing Systems (NIPS).

 

Selected background references: