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.