30 likes | 137 Views
Logics for Data and Knowledge Representation. Course introduction. 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
E N D
Logics for Data and Knowledge Representation Course introduction
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: http://dit.unitn.it/~ldkr/2011/