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.
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.