Skip to Main Content
It looks like you're using Internet Explorer 11 or older. This website works best with modern browsers such as the latest versions of Chrome, Firefox, Safari, and Edge. If you continue with this browser, you may see unexpected results.

INF 502 Knowledge Representation & Reasoning: Reading list

INF 502 Knowledge Representation & Reasoning 


Department: MSc in Informatics (Knowledge and Data Management)
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