32 citations · 122 across the 26 of their papers we have counts for
1 paper · 1 filter
Till Mossakowski
We formalise some aspects of the neural-symbol design patterns of van Bekkum et al., such that we can formally define notions of refinement of patterns, as well as modular combinat…