Publication

My Thesis:

• PhD Thesis: Reasoning about Time, Action and Knowledge in Multi-Agent Systems. 2009, Computer Science, University of Liverpool.
• MSc Thesis: Exploring the Update Universe. 2004 ILLC Publications, Master of Logic Thesis (MoL) Series.

Published papers: @DBLP

Refereed Journal Articles:

• Connecting Temporal Epistemic and Dynamic Epistemic Logics.
  H. van Ditmarsch, W. van der Hoek, J. Ruan. The Logic Journal of the IGPL, October 2011
• Reasoning about Time, Action and Knowledge in Multi-Agent Systems.
  J. Ruan. Journal of KI – Kunstliche Intelligenz. Volume 25, Number 1, Pages: 75-76. March 2011.
• Verification of Games in the Game Description Language.
  J. Ruan, W. van Der Hoek and M. Wooldridge. Journal of Logic and Computation, Volume 19 , Issue 6, Pages: 1127-1156, December 2009.
• Sum and Product in Dynamic Epistemic Logic.
  H. van Ditmarsch, J. Ruan and R. Verbrugge, Journal of Logic and Computation, Volume 18, Number 4, Pages: 563-588, August 2008.

Refereed Conference/Workshop Papers:

• A Logic for Knowledge Flow in Social Networks.
  J. Ruan and M. Thielscher. Proceedings of the 24th Australasian Joint Conference on Artificial Intelligence (AI2011), Pages: 511-520, Perth Australia, December 2011
• The Epistemic Logic Behind the Game Description Language.
  J. Ruan and M. Thielscher. Proceedings of the 25th AAAI Conference on Artificial Intelligence, Pages: 840-845, San Francisco, USA, August 2011.
• On the Comparative Expressiveness of Epistemic Logic and GDL- II.
  J. Ruan and M. Thielscher. Proceedings of the 2nd International General Game Playing Workshop – GIGA 2011, Pages: 53-60, Barcelona, Spain, July 2011.
• Agent-based Careflow and Monitoring for Patient-centered Palliative Care.
  J. Ruan, W. MacCaull and H. Jewers. Proceedings of  eHealth International Conference 2010 (VI Workshop on Agents Applied in Healthcare - A2HC 2010), Pages:  285-294, Casablanca, December 2010.
• Data-Aware Monitoring For Healthcare Workflows Using Formal Methods.
  J. Ruan and W. MacCaull.  The Second International Workshop on Knowledge Representation for Health Care (KR4HC-2010), Pages: 51-60, Lisbon, Portugal, August 2010.
• Enhancing Patient-centered Palliative Care With Collaborative Agents.
  J. Ruan, W. MacCaull and H. Jewers. The Second International Workshop on Collaborative Agents – REsearch and Development (CARE 2010), Pages: 356-360, Toronto, Canada, August 2010.
• Model checking Dynamic Epistemics in Branching Time.
  H. van Ditmarsch, J. Ruan and W. van der Hoek. Formal Approaches to Multi-Agent Systems (FAMAS’007), Durham, UK, September 2007.
• Strategy Logics and the Game Description Language.
  W. van der Hoek, J. Ruan and M. Wooldridge. Proceedings of Workshop on Logic, Rationality and Interaction (LORI), Beijing, Texts in Computer Science, College Publications Vol. 8, Pages: 259–274, August 2007.
• Model Checking Logic Puzzles.
  H. van Ditmarsch and J. Ruan. Proceedings of Quatriemes Journees Francophones MODELES FORMELS de l’INTERACTION (MFI07), Paris, May 2007.
• Model Checking Russian Cards.
  H. van Ditmarsch, W. van der Hoek, R. van der Meyden, J. Ruan. Presented in the Workshop of Model Checking and Artificial Intelligence (2005). Electronic Notes in Theoretical Computer Science, Volume 149 , Issue 2, Pages: 105-123, February 2006. (source of programs mentioned).
• Model Checking Sum and Product.
  H. van Ditmarsch, J. Ruan, and L.C. Verbrugge. Proceedings of the 18th Australian Joint Conference on Artificial Intelligence, Pages: 790-795. Springer Lecture Notes in Artificial Intelligence, December 2005. ( source / output of programs mentioned in this article).

Unpublished papers (Under review):

• Action Emulation, J. van Eijck, J. Ruan, and T. Sadzik. (Journal paper, Submitted, 2010).
• Model Checking GDL through MOCHA: A Case Study. J. Ruan, W. van der Hoek and M. Wooldridge. (Technical Report ULCS-09-014, 2009).

Thank you for your interest in my work. Please comment on respective blog pages, or send me an email.

Last update: Dec 12, 2011.