CSCE 990-06, Spring 2003: Class schedule

Your  catch: Under this item, web pages of interest to the class will be listed. Every student is welcome to propose a link he or she find of interest. The student's name will be mentioned.

Ryan Kinworthy: how to evaluate your peers by Deb Derrick

Ryan Kinworthy: a paper on the use of CSPs in Software Engineering "Architecture-Centric Software Evolution by Software Metrics and Designs Patterns. "

Handouts:

1. Syllabus and grading strategy
2. Binary vs. non-binary representations of constraint-- Bacchus and Van Beek, 98, F. Bacchus and P. van Beek, National Conference on Artificial Intelligence (AAAI-98),  pages 311-318, 1998.
3. Binary vs. non-binary representations of constraint-- Instructor's slides
4. Synthesizing constraint expressions--Freuder'78
5. Synthesizing constraint expressions--instructor's slides
6. Eric's minutes of discussion
7. Dechter Chapter 3--
1. instructor's slides - partial coverage of chapter, powerpoint format
2. Cate's minutes (ps , pdf )
8. Dechter Chapter 4 (partial coverage of chapter)
1. instructor's slides (powerpoint format)
2. COMMING SOON... Eric's notes (ASCII file)
3. Anagh's s minutes (ps , pdf )
9. Dechter Chapter 4: Section 4.4
1. Slides by Madeline (powerpoint)
2. Cate's minutes (ps , pdf )
10. Dechter Chapter 7, part 1
1. Ryan's slides ( ppt)
2. Nurzhan minutes (pdf)
11. Dehcter Chapter 7, part2
1. Ryan's slides (ppt)
2. Hui Zou's slides (ppt)
3. Jane's minutes (doc)
12. Dechter Chapter 12
1. Chao's slides (ppt)
2. Tibor's minutes (doc , ps )
3.  Yaling's minutes ( doc , ps )
13. Dechter, Chapter 8
1. Yaling's slides (powerpoint )
2. Nurzhan's minutes
3. Eric's slides: Section 8.4 , Section 8.5 , and Section 8.6 (pdf)
4. Anagh's minutes of Eric's talk
14. Dechter, Chapter 9
1. Anagh's slides: Part 1
2. Jane's minutes
3. Anagh's slides: Part 2
4. Madeline's minutes
15. Dechter, Chapter 10
1. Jane's slides (powerpoint)
2. Chao's minutes (draft, MSWord)
16. Dechter, Chapter 12
1. Ryan's slides (powerpoint)
   

Plan for future presentations:
 

Topic	Speaker	Scribe
Chapter 12, Temporal reasoning	Chao Chen, 2 talks	??
Chapter  8, consistency methods	Yaling, and Eric	Nurzhan, Anagh
Chapter 9, Tree decomposition methods	Anagh, 2 talks.	Jane, Madeleine
Chpater 10, Hybrids of search and inference	Jane, and ??	??
Constraint Logic Programming	Ryan K and??	??


 

Dates	Material	Homework & Tests	Announcements and notifications
Mon, Jan 13	Topic: Rules of the game and introduction to the topic Required reading:  Recommended reading:
Wed, Jan 15	Topic: Conversion from non-binary to binary CSPs Required reading: Binary vs. non-binary representations of constraint-- Bacchus and Van Beek, 98, F. Bacchus and P. van Beek, National Conference on Artificial Intelligence (AAAI-98),  pages 311-318, 1998.  Recommended reading: l  O n forward checking for non-binary constraint satisfaction " C.Bessière and P. Meseguer and E.C. Freuder and J. Larrosa, Proceedings CP'99, Alexandria VA, pages 88-102.  Decomposable Constraints . Ian Gent, Kostas Stergiou and Toby Walsh. Artificial Intelligence, 123 (1-2), 133-156, 2000.
Mon, Jan 20	Martin Luther King Day
Wed, Jan 22	Topic: Constraint synthesis  Required reading:  Synthesizing constraint expressions--Freuder'78  Dechter's book chapter 3. Recommended reading:  Tsang, Sections 9.1 & 9.2
Mon, Jan 27	Topic: same as previous	Discussion leader: instructor Scribe: Eric Eric's minutes of discussion	From now on, we will meet in CBA 104. A big thanks to Cate for arranging the transfer.. Quiz 1, delayed
Wed, Jan 29	Topic:  Dechter Chapter 3-- instructor's slides - partial coverage of chapter, powerpoint format  Dechter Chapter 4-- instructor's slides - partial coverage of chapter, powerpoint format Required reading: Dechter's book, second half of chpater 3 first half of chapter 4 Recommended reading:	Scribe: Cate	Quiz 1 on previously discussed material (non-binary/binary, and constraint synthesis).
Mon, Feb 3	Topic: Dechter chapter 3, finish. Chapter 4 start.	Homework 1 (as Glossary 1)  assigned  Due: evaluations of Eric's minutes	Discussion leader: Instructor Scribe: Cate
Wed, Feb 5	Topic: Dechter Chapter 4 Required reading:  Recommended reading:		Discussion leader: Eric Scribe: No one
Mon, Feb 10	Topic: Dechter's Chapter 4 Required reading:  Recommended reading:	Homework 1 due.	Discussion leader: Eric Scribe: Anagh
Wed, Feb 12	Topic: Directional Consistency Required reading: Dechter's chapter 4, Sections 4.1, 4.2 and 4.3		Due: Definition of k-trees Evaluation of Eric's presentation Peer correction of HWK1   Discussion leader: Eric Scribe: Anagh
Mon, Feb 17	Topic: Directional Consistency Dechter, Chapter 4, Section 4.4 and 4.5	HWK2 assigned	Speaker: Madeline Scribe: Cate
Wed, Feb 19	Topic: Dechter, Directional Consistency Required reading: Dechter, Chapter 4, Section 4.4 and 4.5 Recommended reading:	HWK2 due	Speaker: Madeline Scribe: Cate
Mon, Feb 24	Topic: Dechter, Local search Required reading: Dechter, Chapter 7 Recommended reading: Tsang's book Chapter 8		Speaker: Ryan Scribe: Nurzhan
Wed, Feb 26	Topic: Dechter, Local search Required reading: Dechter, Chapter 7 Recommended reading: Tsang's book Chapter 8		Speaker: Ryan Scribe: Nurzhan
Mon, Mar 3	Topic: Temporal Reasoning Required reading: Chapter 12 Recommended reading:		Quiz 2 Speaker: Chao Scribe: Tibor
Wed, Mar 5	Topic: Temporal Reasoning Required reading: Chapter 12 Recommended reading:  Golumbic: " Reasoning About Time ." Mathematical Aspects ofArtificial Intelligence", Proc. Symp. in Appl.  Math. vol 55, 1998, pp. 19-53.		Speaker: Chao Scribe: Tibor
Mon, Mar10	Topic: Temporal Reasoning		Speaker: Chao Scribe: Yaling
Wed, Mar12	Topic: Temporal Reasoning		Speaker: Chao Scribe: Yaling
Mon, Mar 17	Spring vacation
Wed, Mar 19
Mon, Mar 24	Topic: Advanced Consistency Recommended reading: Chapter 8  (until Section 8.3)		Speaker: Yaling Scribe: Nurzhan Scribe helper: Tibor
Wed, Mar 26	Topic: Advanced Consistency Recommended reading: Chapter 8  (until Section 8.3)	Quiz 4 tunred into HWK3	Speaker: Yaling Scribe: Nurzhan Scribe helper: Tibor
Mon,  Mar 31	Topic: Advanced Consistency Recommended reading: Chapter 8  (until Section 8.3)	Qui4/HWK3 due	Speaker: Yaling Scribe: Nurzhan Scribe helper: Tibor
Wed, Apr 2	Topic: Advanced Consistency Recommended reading: Chapter 8  (until Section 8.3)		Speaker: Yaling Scribe: Nurzhan Scribe helper: Tibor
Mon, Apr 7	Topic: Advanced Consistency Required reading: Chapter 8 (starting Section 8.4)	Due: summary of chapter on temporal reasoning (optional)	Speaker: Eric Scribe: Anagh Scibe helper: Chao Opportunity:  Summarize paper by Xu Lin.
Wed, Apr 9	Topic: same as before		Speaker Eric     scribe Anagh
Mon, Apr 14	Topic: same as before and   tree decomposition methods (Chapter 9)		Speaker Eric Scribe Anagh Scribe helper: Chao AND Speaker Anagh Scribe: Jane Scribe helper: TBD
Wed, Apr 16	Topic:  Tree decomposition methods (Chapter 9) Required reading:  Chapter 9 Recommended reading:		Speaker: Anagh Scribe: Jane Scribe corrector: Cate
Mon, Apr 21	Topic: same as before		Speaker: Anagh Scribe: Madeleine Scribe corrector: TBD
Wed, Apr 23	Topic: Hybrids of Search and Inference, Time-Space Tradeoffs         Required reading:  Chapter 10		Speaker: Jane Scribe: Chao Scribe corrector: TBD
Mon, Apr 28	Topic: Hybrids of Search and Inference, Time-Space Tradeoffs Required reading: Chapter 10	.	Speaker: Jane Scribe: Chao Scribe corrector: TBD
Wed, Apr 30	Topic: Constraint Logic Programming Required reading: Chapter 12	.	Speaker: Ryan Scribe: TBD Scribe corrector: TBD
Wed, May 7	Final exam

---

Berthe Y. Choueiry

 

 
 
 
 
 
 

Last modified: