Tags
- 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)
Archives
| M | T | W | T | F | S | S |
|---|---|---|---|---|---|---|
| « Sep | ||||||
| 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 | ||||
RSS Subscribe
Navigation
Vistors
- 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