Publications

Journal Articles:
  • J. Ruan and M. Thielscher. Logical-Epistemic Foundations of General Game Descriptions. Special Issue of Studia Logica on Logic and Games, Volume 102, Issue 2, Pages: 321-338, 2014.
  • H. van Ditmarsch, W. van der Hoek and J. Ruan . Connecting Temporal Epistemic and Dynamic Epistemic Logics. The Logic Journal of the IGPL, Volume 21, Issue 3, Pages: 380- 403, June 2013.
  • J. van Eijck, J. Ruan and T. Sadzik. Action Emulation. Journal of Synthese, Volume 185, Issue 1, Pages:131-151, May 2012.
  • J. Ruan . Reasoning about Time, Action and Knowledge in Multi-Agent Systems. Journal of KI - Kunstliche Intelligenz. Volume 25, Number 1, Pages 75-76. March 2011.
  • J. Ruan , W. van der Hoek and M. Wooldridge. Verification of Games in the Game Description Language. Journal of Logic and Computation, Volume 19 , Issue 6, Pages: 1127-1156, December 2009.
  • H. van Ditmarsch, J. Ruan and R. Verbrugge. Sum and Product in Dynamic Epistemic Logic. Journal of Logic and Computation, Volume 18, Number 4, Pages: 563-588, August 2008.

Conference/Workshop Papers: 
  • P. Xia, J. Ruan, D. Parry. Virtual Reality for Emergency Healthcare Training. In the Proceedings of ISCRAM Asia Pacific 2018, Wellington, New Zealand, November 2018.
  • X. Huang and J. Ruan. ATL Strategic Reasoning Meets Correlated Equilibrium. Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI-17). Pages 1102-1108. Melbourne, Australia, August 2017. 
  • X. Huang, J. Ruan, Q. Chen, K. Su. Normative Multiagent Systems: A Dynamic Generalization. Proceedings of the 25th International Joint Conference on Artificial Intelligence (IJCAI-16), Pages 1123-1129, New York City, USA, July 2016. 
  • K. Johnson, R. Sinha, R. Calinescu and J. Ruan. A Multi-Agent Framework for Dependable Adaptation of Evolving System Architectures. Proceedings of the 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2015), Pages 159-166, Madeira, Portugal, August 2015.
  • X. Huang, J. Ruan and M. Thielscher. Model Checking for Reasoning about Incomplete Information Games. Proceedings of the 26th Australisian Joint Conference on Artificial Intelligence (AI2013), Pages 246-258, Dunedin, New Zealand, December 2013.
  • J. Ruan and M. Thielscher. Strategic and Epistemic Reasoning for the Game Description Language GDL-II. Proceedings of the 20th European Conference on Artificial Intelligence (ECAI’12), Pages: 696-701, Montpellier, France, August 2012.
  • J. Ruan and M. Thielscher. Model Checking Games in GDL-II. Proceedings of the Computer Game Workshop at ECAI’12, Pages: 71-83, Montpellier, France, August 2012.
  • J. Ruan and M. Thielscher. A Logic for Knowledge Flow in Social Networks. Proceedings of the 24th Australasian Joint Conference on Artificial Intelligence, Perth, Australia, December 2011.
  • J. Ruan and M. Thielscher. The Epistemic Logic Behind the Game Description Language. Proceedings of the 25th AAAI Conference on Artificial Intelligence, Pages: 840-845, San Francisco, USA, August 2011.
  • J. Ruan and M. Thielscher. On the Comparative Expressiveness of Epistemic Logic and GDL-II. Proceedings of the 2nd International General Game Playing Workshop - GIGA 2011, Pages: 53-60, Barcelona, Spain, July 2011.
  • J. Ruan , W. MacCaull and H. Jewers. Agent-based Careflow and Monitoring for Patient-centered Palliative Care. Proceedings of VI Workshop on Agents Applied in Healthcare - A2HC 2010 (Co-located with eHealth International Conference 2010), Casablanca, 2010.
  • J. Ruan and W. MacCaull. Data-Aware Monitoring For Healthcare Workflows Using Formal Methods. Proceedings of the Second International Workshop on Knowledge Representation for Health Care, Pages: 51-60, Lisbon, Portugal, 2010.
  • J. Ruan , W. MacCaull and H. Jewers. Enhancing Patient-centered Palliative Care With Collaborative Agents. Proceedings of the 2010 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology (WI-IAT) - Workshops, Pages: 356-360, Toronto, Canada, 2010.
  • H. van Ditmarsch, J. Ruan and W. van der Hoek. Model Checking Dynamic Epistemics in Branching Time. Proceedings of Workshop on Formal Approaches to Multi-Agent Systems (FAMAS’007), Durham, UK, September, 2007.
  • W. van der Hoek, J. Ruan and M. Wooldridge. Strategy Logics and the Game Description Language. Proceedings of Workshop on Logic, Rationality and Interaction (LORI), Beijing, Texts in Computer Science, College Publications Vol. 8, Pages: 259-274, August 2007.
  • H. van Ditmarsch and J. Ruan . Model Checking Logic Puzzles. Proceedings of Quatriemes Journees Francophones MODELES FORMELS de l’INTERACTION (MFI07), Pages: 139- 150, Annales du Lamsade, Universit Paris Dauphine, May 2007.
  • H. van Ditmarsch, W. van der Hoek, R. van der Meyden and J. Ruan . Model Checking Russian Cards. Electronic Notes in Theoretical Computer Science, Volume 149 , Issue 2, Pages: 105-123, February 2006. (Presented in the Workshop of Model Checking and Artificial Intelligence.)
  • H. van Ditmarsch, J. Ruan and L.C. Verbrugge. Model Checking Sum and Product. Proceedings of the 18th Australian Joint Conference on Artificial Intelligence, Pages: 790-795. Springer Lecture Notes in Artificial Intelligence, December 2005.
Others: 
  • J. Ruan . Translation of the chapter of Temporal Logic for the book Logic, Epistemology, and Methodology. (Published by China Science Press in 2011).

Subscribe to: Posts (Atom)