Künstliche Intelligenz: KI : official journal of the chapter for artificial intelligence of the German Informatics Society : German journal of artificial intelligence (Springer, 1986)