Integrity constraints in knowledge-based systems; symbolic decision procedures for knowledge-based systems; applications of automated reasoning; robot problem solving; autonomous mobile robots; AI techniques in computer-aided manufacturing systems; AI techniques in software engineering; knowledge-based vision systems; automatic speech recognition; knowledge processing and its application to engineering design.
