The goal of this course is to provide
motivations, definitions and techinques in support of the usefulness
of logic languages 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.
