Goal:
An introductory course to Knowledge Representation
Brief description
The course covers: informal KR; basics of Propositional, Syllogistic, Predicate, and Descriptive logics; KR for the Semantic Web; Non-classical logics; formalization of natural language into KR languages
Resources:
Exercises: No exercises.