Logics for Data and Knowledge Representation series
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.
COURSE EDITIONS (click on the edition to go the website):
