A declarative and operationalized language for learning systems Analysis: UTL | IEEE Conference Publication | IEEE Xplore