Knowledge Representation and Reasoning
Ronald J. Brachman and Hector J. Levesque
Morgan Kaufmann
Publishers, 2004
ISBN 1-55860-932-6
Translation tips
Logical
Equivalences
Slides with specification of your
tasks as responsible are found
here.
Practical
Organisation
of
the
reading
club:
Schedule
for
2011-2012 (mon 10h30 sessions in room 200S.01.05, tue 10h30
sessions in room 200B.02.16)
Monday 7/11
Introduction
Gerda Janssens
Monday 14/11
Ch2 First Order Logic
Gerda Janssens
Tuesday 15/11
Ch3 Expressing Logic
C. Lefevre, S. Pengda
Wednesday
16/11 16h30-19h00
Exercises 1 (Ch2) Broes De
Cat room: 200S.01.05
Monday 21/11
Exercises 2 (Ch 3)
Broes De Cat
Tuesday 22/11
Ch4.1 and
Ch4.2
N. Shrestha, M. Labeau
Monday
28/11 Ch
4.3 + SAT
solvers
T. Abhinesshwar, L. Nan
Tuesday
29/11
Exercises
3
(Ch4)
Broes
De
Cat
Monday
5/12
Ch5
and
Ch6
L.
Demey,
Z.
Hao
Tuesday
6/12
Exercises
4
(Ch5
and
Ch6)
Broes
De
Cat
Monday 12/12
Ch11.1, Ch11.2 and Ch
11.3 N.
Shrestha, L. Nan, Z. Hao
Tuesday
13/12
Ch11.4
C. Lefevre, S. Pengda, M. Labeau
Monday
19/12
Ch13
L. Demey, T.
Abhinesshwar, A.
Venetis
Tuesday
20/12
Exercises
5
(Ch11)
Broes
De
Cat