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.
