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.
 [B1] S.C. Kleene, "Introduction to
Metamathematics", NorthHolland, 1952.
 [B2] E. Mendelson: "Introduction to
Mathematical Logic  Third edition", Wadsworth Inc., Belmont, CA,
1987.
 [B3] G. Boolos, J. Burgess, R. Jeffrey,
Computability and Logic, 4th edition. Cambridge University Press,
2002.
 [B4] M. Huth and M. Ryan, "Logic in
Computer Science", Cambridge University Press, 2004(2006).
 [DL1] F. Baader, D. Calvanese,
D.L. McGuinness, D. Nardi and P.F. PatelSchneider, "Handbook of
Description Logics", Cambridge University Press, Cambridge, UK,
2002.
http://www.cambridge.org/catalogue/catalogue.asp?
isbn=0521781760.
See expecially 1,2,4,10, all available online. For example here.
 [DL2] B. Nebel, Terminological Cycles:
Semantics and Computational Properties. In Principles of
Semantic Networks, J. F. Sowa (ed.), pp 331362, Morgan
Kaufmann, San Mateo, CA, 1991.
 [DL3] I. Horrocks and
P.F. PatelSchneider, Reducing OWL Entailment to Description Logic
Satisfiability. In Proceedings of the Second International
Semantic Web Conference (ISWC03), pp 1729, SpringerVerlag LNCS
2870, Berlin Heidelberg, 2003.
 [DL4] G. Antoniou and F. van Harmelen, "A
Semantic Primer", The MIT Press, 2004. (Chs 1, 4) http://www.ics.forth.gr/isl/swprimer/.
 [WDL1] Description
Logics Courses and Tutorials.
 [WCXL1] Context Logics @
UniTn. This website is not updated but still very useful.
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.
