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.
Results of the exams with solutions are now available here.
Discussion of the projects. Those who want to give the exam on 17th January, must send the final version of the report and the data related to the project not later than 10th January sharp to both professors.
