Knowledge-Based Systems, Four-Volume Set