Courses/CS 460/Fall 2006/Kim, Joan

From CSWiki

Contents 1 Week One 2 Week Two 3 Week Three 4 Week Four 5 Week Five 6 Week Six 7 Week Seven 8 Week Eight 9 Week Nine 10 Week Ten

[edit] Week One

• Crytarithmetic Puzzles

[edit] Week Two

• Logic Puzzles ( )

[edit] Week Three

• Other Puzzles( )

[edit] Week Four

• Unknown States Puzzles

[edit] Week Five

• A*

[edit] Week Six

• missed class. something about a wedding...

[edit] Week Seven

• JCHR ( )

[edit] Week Eight

• JCHR continued

[edit] Week Nine

• JCHR continued

Would you guys keep me informed of how things are going with JCHR. Next class period is the final week of classes. I'd like to make it as informative as possible about JCHR. Thanks. Russ Abbott 17:46, 18 November 2006 (PST)

In class I suggested that JCHR may be understood as a blackboard system. Here is a brief introduction to blackboard systems. Blackboard systems used to be quite fashionable, but they have pretty much disappeared from generic use. Perhaps they are coming back in the guise of constraint systems. Russ Abbott 11:10, 19 November 2006 (PST)

Topic to covered in JCHR (Java Constraint Handling Rules )

	JCHR    Introduction 
	CHR
		Introduction 
		Syntax
		Operational Semantics
		Example
	CHR-v
		Introduction 
		Operational Semantics
		Example
	
	Constraint Program Solvers
	        Introduction 
		Syntax
		Example
        JCHR simple example : Less than or Equal 	
        JCHR complex example : Sudoku 	
        Help 
            JCHR Installation
            References

[edit] Week Ten

• Finals Week