Ji Ruan
Cited by
Cited by
Model checking russian cards
HP van Ditmarsch, W Van Der Hoek, R Van Der Meyden, J Ruan
Electronic Notes in Theoretical Computer Science 149 (2), 105-123, 2006
Action Emulation
J van Eijck, J Ruan, T Sadzik
Synthese 185 (1 (2012)), 131-151, 2012
Sum and product in dynamic epistemic logic
HP van Ditmarsch, J Ruan, R Verbrugge
Journal of Logic and Computation 18 (4), 563-588, 2008
Verification of games in the game description language
J Ruan, W Van Der Hoek, M Wooldridge
Journal of Logic and Computation 19 (6), 1127-1156, 2009
A Logic for Knowledge Flow in Social Networks
J Ruan, M Thielscher
The 24th Australasian Joint Conference in Artificial Intelligence (AI 2011 …, 2011
Model checking sum and product
HP Ditmarsch, J Ruan, LC Verbrugge
AI 2005: Advances in Artificial Intelligence: 18th Australian Joint …, 2005
Model checking sum and product
H Van Ditmarsch, J Ruan, L Verbrugge
AI 2005: Advances in Artificial Intelligence, 790-795, 2005
Connecting dynamic epistemic and temporal epistemic logics
H Van Ditmarsch, W van Der Hoek, J Ruan
Logic Journal of the IGPL 21 (3), 380-403, 2013
Exploring the update universe
J Ruan
Strategic and Epistemic Reasoning for the Game Description Language GDL-II
J Ruan, M Thielscher
The 20th European Conference on Artificial Intelligence (ECAI 2012), 696-701, 2012
The Epistemic Logic Behind the Game Description Language
J Ruan, M Thielscher
The 25th AAAI Conference on Artificial Intelligence (AAAI-11), 840-845, 2011
Enhancing patient-centered palliative care with collaborative agents
J Ruan, W MacCaull, H Jewers
2010 IEEE/WIC/ACM International Conference on Web Intelligence and …, 2010
Normative Multiagent Systems: A Dynamic Generalization
X Huang, J Ruan, Q Chen, K Su
The 25th International Joint Conference on Artificial Intelligence (IJCAI-16 …, 2016
A multi-agent framework for dependable adaptation of evolving system architectures
K Johnson, R Sinha, R Calinescu, J Ruan
41st Euromicro Conference on Software Engineering and Advanced Applications …, 2015
Reasoning about time, action and knowledge in multi-agent systems
J Ruan
Dept of Computer Science University of Liverpool, 2009
Model checking dynamic epistemics in branching time
H van Ditmarsch, J Ruan, W van der Hoek
Formal Approaches to Multi-agent Systems 2007 (FAMAS 2007), 2007
Strategy logics and the game description language
W van der Hoek, J Ruan, M Wooldridge
Proc. of the Workshop on Logic, Rationality and Interaction, 2007
Model checking for reasoning about incomplete information games
X Huang, J Ruan, M Thielscher
The 26th Australasian Joint Conference on Artificial Intelligence, 246-258, 2013
Evaluating random walk-based network embeddings for web service applications
O Adeleye, J Yu, J Ruan, QZ Sheng
Databases Theory and Applications: 31st Australasian Database Conference …, 2020
Data-aware monitoring for healthcare workflows using formal methods
J Ruan, W MacCaull
Proceedings of the Second Workshop Knowledge Representation for Health Care …, 2010
The system can't perform the operation now. Try again later.
Articles 1–20