*******************************************
*** Phil 478 class meetings
*** Version of: 2018/8/15
*******************************************


* Thursday, 1/25

    Topic: Initial meeting

    Readings assigned: Horty [12, skim] and [13, intro, ch1]


* Tuesday, 1/30

    Topic: Defaults, default theories, extensions, senarios


* Thursday, 2/1

    Topic: Binding defaults, stable scenarios

    Homework #1 assigned (practice: not to be handed in)


* Tuesday, 2/6

    Topic: Approximation sequences, proper extensions


* Thursday, 2/8

    Topic: Multiple extensions, consequence relations


* Tuesday, 2/13

    Topic: Theories without extensions, Theorems 1 through 5,
    Reiter default theories

    Readings assigned: Horty [12, Chapter 5]


* Thursday, 2/15

    Topic: Theorems again, Reiter default theories,
    variable priority default theories

    Homework #2 assigned (due Tuesday, 2/20)


* Tuesday, 2/20

    Topic: Discussion of homework, undercutting


* Thursday, 2/22

    Topic: More on undercutting


* Tuesday, 2/27

    Topic: Discussion of consequence relations, counterexample
    to cautious monotony, undercutting


* Thursday, 3/1

   Topic: Philosophical issues surrounding priorities
   and undercutting

   Homework #3 assigned 


* Tuesday, 3/6

   Topic: Review for Exam #1


* Thursday, 3/8

   Topic: Exam #1

    Readings assigned: Pollock [19,22]


* Tuesday, 3/12

   Topic: Pollock 1987


* Thursday, 3/15

   Topic: Pollock 1987

   Readings assigned: Dung [8]


* Tuesday, 3/27

   Topic: admissibility semantics


* Thursday, 3/29

   Topic: admissibility semantics


* Tuesday, 4/3

   Topic: admissibility semantics

   Readings assigned: Pollock [26,27]


* Thursday, 4/5

   Topic: Pollock 1994/95

   Readings assigned: Pollock [26,27]


* Tuesday, 4/10

   Topic: 


* Thursday, 4/12

   Topic: 


* Tuesday, 4/17

   Topic: 


* Thursday, 4/19

   Topic: 


* Tuesday, 4/24

   Topic: 


* Thursday, 4/26

   Topic: 


* Tuesday, 5/8

   Topic: 


* Thursday, 5/10

   Topic: