Ji Ruan
Title
Cited by
Cited by
Year
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
642006
Action Emulation
J van Eijck, J Ruan, T Sadzik
Synthese 185 (1 (2012)), 131-151, 2012
49*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
362008
Model checking sum and product
HP Ditmarsch, J Ruan, LC Verbrugge
AI 2005: Advances in Artificial Intelligence: 18th Australian Joint …, 2005
34*2005
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
322009
Model checking sum and product
H Van Ditmarsch, J Ruan, L Verbrugge
AI 2005: Advances in Artificial Intelligence, 790-795, 2005
302005
Exploring the update universe
J Ruan
242005
A Logic for Knowledge Flow in Social Networks
J Ruan, M Thielscher
The 24th Australasian Joint Conference in Artificial Intelligence (AI 2011 …, 2011
232011
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
182013
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
132012
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
122010
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
112007
The Epistemic Logic Behind the Game Description Language
J Ruan, M Thielscher
The 25th AAAI Conference on Artificial Intelligence (AAAI-11), 840-845, 2011
102011
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
92015
Reasoning about time, action and knowledge in multi-agent systems
J Ruan
Dept of Computer Science University of Liverpool, 2009
82009
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
72013
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
72007
Data-aware monitoring for healthcare workflows using formal methods
J Ruan, W MacCaull
Proceedings of the Second Workshop Knowledge Representation for Health Care …, 2010
52010
Logical-Epistemic Foundations of General Game Descriptions
J Ruan, M Thielscher
Studia Logica 102 (2 - A Special Issue on Logic and Games), 321–338, 2014
42014
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
32016
The system can't perform the operation now. Try again later.
Articles 1–20