1. Logics for Data and Knowledge Representation
Course introduction 1

2. Forehead Staff: Fausto Giunchiglia, Vincenzo Maltese, Biswanath Dutta
Objective: Learn how to use logics in practice
Contents: PL, FOL, DL, RDF, OWL, ML, Cxt-Logic, C-OWL
Prerequisites: Must have passed mathematical logic
Exam policy & grading: Written exam + project (~100 hours) + thesis (~6 months)
Scheduling: Tuesday (A107) and Friday (A205) 14:30-16:30
Reception times: On appointment
Course website: