Chairs: C. Cirstea, F. Gadducci, H. Schlingloff Past Chairmen: M. Roggenbach, L. Schröder, T. Mossakowski, J. Fiadeiro, P. Mosses, H.-J. Kreowski
Tue, 18 January 2022 at 01:00 pm in Salzburg, Austria
Abstract: We recall design patterns for neural-symbolic systems from the literature, and go first steps towards a formalisation of these patterns. We introduce formal notions of neural-symbolic pattern, pattern refinement, and pattern combination.
Slides