Logics for Data and Knowledge Representation

Course introduction

Forehead

Staff: Fausto Giunchiglia, Vincenzo Maltese, Biswanath Butta

Scheduling: Tuesday 8:30-10:30, Thursday 14:00-16:00

Reception times: on appointment

Course website: http://dit.unitn.it/~ldkr/2010/

Objective: Learn how to use logics in practice

Contents: PL, FOL, DL, RDF, OWL, ML, Cxt-Logic, C-OWL

Exam policy & grading: midterm + project (thesis)