Knowledge-based systems techniques and applications - Leondes, Cornelius T. (Academic, 2000)