Skip to Main Content

AI 501 Artificial Intelligence: Reading list

AI 501 Artificial Intelligence


Department: MSc Artificial Intelligence

Module Description: This module provides the basis for the understanding and use of knowledge representation and reasoning techniques in AI systems in general, and knowledge-based systems in particular. The module covers notions of representation and the relationship between representation and that which is represented, along with issues of the resources required to manipulate such representations. The focus is on different logic-based representation languages and proof search using logical calculi, but other approaches are also discussed.


Ask a Librarian for help to find and evaluate resources