| Under Graduate Degree | Year module | NQF level: 7 | Credits: 12 |
| Module presented in English | Module presented online | ||
| Pre-requisite: COS2611 & COS2661 | |||
| Purpose: To equip students with a basic understanding of knowledge representation approaches (logic-based and alternative approaches), search techniques (exhaustive and heuristic), automated reasoning, and basic skills in logic programming. | |||