University of Trento, Master in Computer Science

Logics for Data and Knowledge Representation
a.a. 2008 - 2009



COURSE:

The table below presents the "syllabus on progress" of the course. You may find here the pointers to literature lecture-by-lecture and other material, mainly the handouts (Lecture Notes, [LNs] or 6 pages per sheet slides' layouts, [SLs]).

For any problem to access the material, please contact us by email.

Unit
Date Hour
Room
[Lecturer] Syllabus
References
Slides / Handouts
1.
Tue
17.02.09
14:30
16:30
208
[G] Welcome
Course Description
Data, Knowledge, Representation
--
[PDF (2.4M)]
2.
Thu
19.02.09
16:30
18:30
208
[G] Part I:
Formalization
Languages & Logic
--
"
3.
Tue
24.02.09
14:30
16:30
208
[G] Part I:
World & Models
Logical modeling
--
[PDF (3.1M)]
[PDF (1.1M)]
4.
Thu
26.02.09
16:30
18:30
208
[G] Part II:
Propositional Logic (PL)
--
[PDF (1.2M)]
5.
Tue
03.03.09
14:30
16:30
208
[G] Part II:
PL (cont')
--
"
6.
Thu
05.03.09
16:30
18:30
208
[G] Part II:
Class Logic (ClassPL)
--
(*)
--
Tue
10.03.09
14:30
16:30
208
No Lecture
--
--
7.
Thu
12.03.09
16:30
18:30
208
[G] Part II:
Application of ClassPL
matching, formal classification
see slides
[PDF (1.2M)]
[PDF (1.0M)]
8.
Tue
17.03.09
14:30
16:30
208
[A] Part II:
First-Order Logic (FOL)
[BX,B1-B4]
(*)
--
Thu
19.03.09
16:30
18:30
208
No Lecture
(ICT Day)
--
--
9.
Tue
24.03.09
14:30
16:30
208
[A] Part II:
FOL
semantics
"
(*)
10.
Thu
26.03.09
16:30
18:30
208
[A] Part II:
FOL
semantics (cont')
querying DBs
"
(*)
11.
Tue
31.03.09
14:30
16:30
208
[A] Part II:
FOL
normal forms
[B3,B4]
[PDF (<1M)]
12.
Thu
02.04.09
16:30
18:30
208
[A] Part II:
FOL
Reduction to PL
DP's procedure (hints)
--
"
13.
Tue
07.04.09
14:30
16:30
208
[A] Part III:
Description Logic (DL)
[DL1, WDL1]
[PDF (1.5M)]
14.
Thu
09.04.09
16:30
18:30
208
[A] Part III:
DL (semantics)
--
"
--
Tue
14.04.09
14:30
16:30
208
No Lecture
(Vacation)
--
--
15.
Thu
16.04.09
16:30 (sharp)
18:30
208
Midterm Exam [*]
--
--
16.
Tue
21.04.09
14:30
16:30
208
[A] Part III:
DL (reasoning)
[DL2]
[PDF (<1M)]
17.
Thu
23.04.09
16:30
18:30
208
[A] Part III:
DL (reasoning, cont')
--
"
18.
Tue
28.04.09
14:30
16:30
208
[A] Part III:
DL: QA/fuzzy DL
--
[Not Provided]
(Blackboard)
19.
Thu
30.04.09
16:30
18:30
208
[A] Part III:
DL: SHIQ
[DL3]
[Not Provided]
(Blackboard)
--
Tue
05.05.09
14:30
16:30
208
No Lecture
--
--
20.
Thu
07.05.09
16:30
18:30
208
[A] Part III:
OWL
[DL4]
[PDF (2.1M)]
21.
Tue
12.05.09
14:30
16:30
208
[A] Part III:
Default Logic
[NML1, NML2]
[PDF (<1M)]
22.
Thu
14.05.09
16:30
18:30
208
[F] Part III:
Context Logic
[CXL1, WCXL1]
[PDF (<1M)]
23.
Tue
19.05.09
14:30
16:30
208
No Lecture
--
--
24.
Thu
21.05.09
16:30
18:30
208
[F] Part III:
C-OWL
Conclusions
[CXL2]
[PDF (<1M)]
NOTES:
[G] := Giunchiglia; [A] := Agostini.

TBP = To be posted. Please check latest News and Announcements.
(*) For these slides, please contact Dr Agostini by email. If you don't get an answer, please *be patient* for up to one work week (5 days) for an answer. Then check and make sure the message got through.
[*] Grading policy: Up to 50% of the final grade.


[
Further information and bug reports | Return top to this Page | Last modified: 25/05/2009]

© 2008--2009 University of Trento - All rights reserved.