RESOURCES: BASIC READING
There is no basic or mandatory written reference for this course. A list of suggested readings (e.g. chapters in advanced/reference
textbooks and collections, and research papers) will be available
as the course proceeds. Any textbook on mathematical
logic. (In our Library there are many, just do your choice. We will
be happy to know what is your favourite!) Some suggestions
follow.
-
F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi and P.F.
Patel-Schneider, "Handbook of Description Logics",
Cambridge University Press, Cambridge, UK, 2002.
- Description Logics Courses
and Tutorials.
- More
soon.
HANDOUTS
All material presented in class will be available through handouts.
Most handouts especially PPTs of the lessons) will be made here. We will post the
material a few days after each lecture, if not stated otherwise.
|