Expert Systems: application of inductive reasoning, deductive reasoning, and sequential decision making models to business problems
Management of Information Technology: evaluating operational and strategic uses of information technology
Automated Reasoning: application of automated reasoning in
database management, model management, software engineering, and office systems