Knowledge Representation

Lecturer(s): Matteo Acclavio (and Marco Peressotti)

Tutor: Marco Santamaria

Course calendar: link

Course Syllabus: link

Textbooks:

• Artificial Intelligence A Modern Approach, by Stuart J. Russell and Peter Norvig 3rd or 4th edition.
  [if the links are broken, you can easily find accessible ones by searching on Google]
• Simply Logical – Intelligent Reasoning by Example by Peter Flach

Lecture Notes:

still WIP, but if you want to see a drafty version go here

Exam modality:

• Portfolio (April 2025): consisting of a sheet of exercises similar to the ones done during exercise sessions and a small ProLog project
• Written exam (June 2025)

Online resources

In-browser Prolog enviromnet SWI Prolog (or any alternative that supports ISO-Prolog)

Program of the course

Tentative Program: The exact content of each lecture and exercise session will be updated after each class.

Date	Class	Content	Assignments Reading

---