CSCI-383 Lecture 13-16 Slides

No Comments

Tags

2007 2008 ATL CC China CS383 DEL Freesoft fun Game GDL GFW GGP Hans HealthCare HRights ILLC Jan Johan jpapers Legend Lessig Logic MAS Memory Mike model checking music news open Share Slides software Speech StFX Talk Think TL Tools Verification Web2 Why Wiebe wiki 工具

Archives

• September 2011 (5)
• July 2011 (2)
• May 2011 (1)
• April 2011 (1)
• February 2011 (1)
• October 2010 (1)
• August 2010 (1)
• June 2010 (3)
• March 2010 (1)
• December 2009 (1)
• November 2009 (2)
• October 2009 (4)
• September 2009 (6)
• August 2009 (2)
• July 2009 (2)
• June 2009 (2)
• May 2009 (6)
• April 2009 (1)
• March 2009 (4)
• February 2009 (1)
• January 2009 (6)
• December 2008 (18)
• November 2008 (9)
• October 2008 (6)
• September 2008 (4)
• August 2008 (2)
• July 2008 (1)
• June 2008 (4)
• May 2008 (5)
• April 2008 (5)
• March 2008 (4)
• February 2008 (10)
• January 2008 (4)
• September 2007 (1)
• May 2007 (1)
• December 2005 (1)
• July 2005 (1)
• October 2004 (1)

 

October 2009

M	T	W	T	F	S	S
« Sep				Nov »
			1	2	3	4
5	6	7	8	9	10	11
12	13	14	15	16	17	18
19	20	21	22	23	24	25
26	27	28	29	30	31

Meta

• Log in
• Entries RSS
• Comments RSS
• WordPress.org

RSS Subscribe

RSS(?)

Navigation

• About Me
• Contact Me
• Publication
• Research
• Teaching
  • CSCI-383 OOPD

Vistors

My Twitter:

• jiruan: 澳大利亚的价值观 http://t.co/wSCdmMsl
• jiruan: “活埋” http://t.co/oYBeg8BK
• jiruan: RT @lessig: SEN. RON WYDEN: My Letter to the Internet http://t.co/ONi55uGj

Receont Comments:

• Verification of Games in the Game Description Language - Jimagine - Information and Society on Verification of Games in the Game Description Language
• Groningen 格罗宁根 - jiPhoto – 吉软糖相册 - Sharing my vision with You … on Sum and Product in Dynamic Epistemic Logic
• Twitted by jiruan on My Coming talk in Liverpool: Connecting Dynamic Epistemic and Temporal Epistemic Logics For Multi-Agent Systems
• Ji on CSCI 383 Lecture 17-23 Slides
• 写在加拿大感恩节 - 想象吉软糖 - 台湾香港2.0 on Publication