Ji Ruan

25 papers A* 4A 2Misc 1Journal 7Unranked 10
YearRankTypeTitle / Venue / Authors
2025 — conf
Interpreting Safety: A LLM and STPA Approach.
PRICAI (4)
Yi Qi, Shufeng Chen, Xiangyu Yin, Wenjie Ruan, Siddartha Khastgir, Ji Ruan, Xingyu Zhao, Xiaowei Huang
2023 — conf
Motif-based Graph Attention Network for Web Service Recommendation.
ACSW
Yuqi Zhang, Jian Yu, Ji Ruan, Nancy Wang, Sam Madanian, Guiling Wang
2022 A conf
A Graph Neural Network Reasoner for Game Description Language.
AAMAS
Alvaro Gunawan, Ji Ruan, Xiaowei Huang
2022 A* conf
A Graph Neural Network Reasoner for Game Description Language.
KR
Alvaro Gunawan, Ji Ruan, Xiaowei Huang
2020 Misc conf
Evaluating Random Walk-Based Network Embeddings for Web Service Applications.
ADC
Olayinka Adeleye, Jian Yu, Ji Ruan, Quan Z. Sheng
2020 — conf
Exploring a Learning Architecture for General Game Playing.
Australasian Conference on Artificial Intelligence
Alvaro Gunawan, Ji Ruan, Michael Thielscher, Ajit Narayanan
2017 A* conf
ATL Strategic Reasoning Meets Correlated Equilibrium.
IJCAI
Xiaowei Huang, Ji Ruan
2016 J jnl
Normative Multiagent Systems: A Dynamic Generalization.
CoRR
Xiaowei Huang, Ji Ruan, Qingliang Chen, Kaile Su
2016 A* conf
Normative Multiagent Systems: The Dynamic Generalization.
IJCAI
Xiaowei Huang, Ji Ruan, Qingliang Chen, Kaile Su
2015 — conf
A Multi-agent Framework for Dependable Adaptation of Evolving System Architectures.
EUROMICRO-SEAA
Kenneth Johnson, Roopak Sinha, Radu Calinescu, Ji Ruan
2014 J jnl
Logical-Epistemic Foundations of General Game Descriptions.
Stud Logica
Ji Ruan, Michael Thielscher
2013 J jnl
Connecting dynamic epistemic and temporal epistemic logics.
Log. J. IGPL
Hans van Ditmarsch, Wiebe van der Hoek, Ji Ruan
2013 — conf
Model Checking for Reasoning about Incomplete Information Games.
Australasian Conference on Artificial Intelligence
Xiaowei Huang, Ji Ruan, Michael Thielscher
2012 J jnl
Action emulation.
Synth.
Jan van Eijck, Ji Ruan, Tomasz Sadzik
2012 A conf
Strategic and Epistemic Reasoning for the Game Description Language GDL-II.
ECAI
Ji Ruan, Michael Thielscher
2011 — conf
A Logic for Knowledge Flow in Social Networks.
Australasian Conference on Artificial Intelligence
Ji Ruan, Michael Thielscher
2011 J jnl
Reasoning about Time, Action and Knowledge in Multi-Agent Systems.
Künstliche Intell.
Ji Ruan
2011 A* conf
The Epistemic Logic Behind the Game Description Language.
AAAI
Ji Ruan, Michael Thielscher
2010 — conf
Agent-Based Careflow for Patient-Centred Palliative Care.
eHealth
Ji Ruan, Wendy MacCaull, Heather Jewers
2010 — conf
Enhancing Patient-Centered Palliative Care with Collaborative Agents.
Web Intelligence/IAT Workshops
Ji Ruan, Wendy MacCaull, Heather Jewers
2009 J jnl
Verification of Games in the Game Description Language.
J. Log. Comput.
Ji Ruan, Wiebe van der Hoek, Michael J. Wooldridge
2008 — —
Reasoning about Time, Action and Knowledge in Multi-Agent Systems.
Ji Ruan
2008 J jnl
Sum and Product in Dynamic Epistemic Logic.
J. Log. Comput.
Hans P. van Ditmarsch, Ji Ruan, Rineke Verbrugge
2005 — conf
Model Checking Russian Cards.
MoChArt@CONCUR/SPIN
Hans P. van Ditmarsch, Wiebe van der Hoek, Ron van der Meyden, Ji Ruan
2005 — conf
Model Checking Sum and Product.
Australian Conference on Artificial Intelligence
Hans P. van Ditmarsch, Ji Ruan, L. C. Verbrugge