IEEE Workshop on Principles of Knowledge-Based Systems (1984 Denver, Colo.)