separator
University of Trento
Fall 2017

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.


COURSE DESIGNERS

 
 
Latest News
Fausto Giunchiglia
 
Fausto Giunchiglia
 

#

#

 

To subscribe to the mailing list:

1. Put your email here.
2. Wait to be invited

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

separator
University of Trento - Bachelor in Computer Science