Algorithmic learning for knowledge-based systems GOSLER final report / - Jantke, K. P.; Lange, Steffen, (Springer-Verlag,)