The goal of these courses 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 courses will have succeeded if they stimulate 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.
COURSES EDITIONS (click on the edition to go the website):