Logos-TCS: an expert system language for operations management based on temporal constraint satisfaction | IEEE Conference Publication | IEEE Xplore