Österreichische Artificial Intelligence-Tagung, Wien, 24.-27. September 1985, Proceedings