Hahoe KAIST Robot Theatre: learning rules of interactive robot behavior as a multiple-valued logic synthesis problem | IEEE Conference Publication | IEEE Xplore