University of Trento
Fall 2015


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.


Mattia Fumagalli
Latest News
Fausto Giunchiglia
Fausto Giunchiglia

Sono disponibili soluzioni e risultati del primo midterm.

Sono disponibili soluzioni e risultati del secondo midterm.

Sono disponibili soluzioni e risultati della
sessione di Gennaio.


To subscribe to the mailing list:

1. Click here.
2. In the page, click on "Apply for membership"
3. In the window, follow the instructions and click on "Apply to join this group"
4. Wait for the approval from the administrators of the mailing list

Please apply with your UNITN account, otherwise the application will not be approved.

University of Trento - Bachelor in Computer Science