Tags
- March 2012 (1)
- 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
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