separator
University of Trento
Fall 2012

COURSE OBJECTIVES AND OUTCOMES

The goal of this course is to provide motivations, definitions and techinques in support of the usefulness of logic in the effective and efficient modeling of data and knowledge. The course will have succeeded if it stimulates the interested students to continue their career with higher interest into logic-based models for data and knowledge representation in their own field of expertise, and to produce computer-processable solutions of relevant problems.

This will be achieved through lectures and a final project to be developed by the students.


COURSE DESIGNERS

Lastest News
Fausto Giunchiglia Chiara Ghidini Luciano Serafini Monday December, 3 there will be NO lecture
Feroz Farazi
Feroz Farazi Vincenzo Maltese
separator
University of Trento - Master in Computer Science