Office Hours: See my schedule. If I'm in my office, and not talking to someone else, I'll be happy to talk with you. Or make an appointment via Gloria Koontz, koontz@cs.buffalo.edu, 716-645-3180 Ext. 103
Without Term Paper/Project | With Term Paper/Project | ||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
|
|
WEEK | TUESDAY | THURSDAY | COMMENTS |
---|---|---|---|
1 | 9/2: First Class Introduction | 9/4 Introduction, Part 2 Begin Classical Logic | Chapter 1 |
2 | 9/9 Foundations of Logic & Inference through p. SA1-50 | 9/11 Foundations of Logic & Inference pp. SA1-50 - 59, 82 - 102 | 9/12: Drop/Add
Deadline Chapter 2 |
3 | 9/16 Foundations of Logic & Inference pp. SA1-104 - 122 | 9/18:
HW1 Due See answers. Facing the Open World | Chapter 3 |
4 | 9/23 Non-Monotonic Logic and TMSs | 9/25:
HW2 Due See answers. Chapter 3.2 | Chapter 4 |
5 | 9/30 Relevance Logic & ATMSs | 10/2: Rosh
Hashanah No Class | Chapter 4 |
6 | 10/7: Term Paper/Project proposal due Modal Logic | 10/9 Begin Semantic Networks Chapter 6 | Chapter 5 |
7 | 10/14 SNePS | 10/16: HW3
Due See answers | Chapter 5 |
8 | 10/21 Midterm Exam | 10/23 Go over Exam | 10/24: R Deadline Chapter 6 |
9 | 10/28 more on SNePS | 10/30 Conceptual Dependency | Chapter 6 |
10 | 11/4 Frames | 11/6 KL-ONE Family | Chapter 7 |
11 | 11/11 More on KL-ONE Family | 11/13: HW4 Due See answers Finish KL-ONE Family | Chapter 8 |
12 | 11/18 Levels of Representation | 11/20: HW5 Due See answers | Chapter 9 |
13 | 11/25: Follow Thursday schedule Formalizing English | 11/27: Fall Recess No class | Chapter 10 |
14 | 12/2 KIF | 12/4 Ontologies | Chapter 10 |
15 | 12/9 | 12/11: Last class | Conclusions |
FINALS WEEK | 12/18: Final
Exam 11:45-2:45 PM 221 Clemens |