Using knowledge representation to understand interactive systems | IEEE Conference Publication | IEEE Xplore