%0 Journal Article %A Kindermann, Dirk %D 2019 %I Springer Verlag %J Synthese %N 5 %P 4035-4055 %T Knowledge embedded