Structured knowledge representation; knowledge-based methods of reasoning and learning; problem-solving, modeling and design.

...