Volgen
Ji Ruan
Titel
Geciteerd door
Geciteerd door
Jaar
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
692006
Action Emulation
J van Eijck, J Ruan, T Sadzik
Synthese 185 (1 (2012)), 131-151, 2012
54*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
422008
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
362009
Model checking sum and product
HP Ditmarsch, J Ruan, LC Verbrugge
AI 2005: Advances in Artificial Intelligence: 18th Australian Joint …, 2005
35*2005
Model checking sum and product
H Van Ditmarsch, J Ruan, L Verbrugge
AI 2005: Advances in Artificial Intelligence, 790-795, 2005
312005
A Logic for Knowledge Flow in Social Networks
J Ruan, M Thielscher
The 24th Australasian Joint Conference in Artificial Intelligence (AI 2011 …, 2011
302011
Exploring the update universe
J Ruan
232005
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
202013
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
142012
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
132010
The Epistemic Logic Behind the Game Description Language
J Ruan, M Thielscher
The 25th AAAI Conference on Artificial Intelligence (AAAI-11), 840-845, 2011
122011
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
102015
Reasoning about time, action and knowledge in multi-agent systems
J Ruan
Dept of Computer Science University of Liverpool, 2009
92009
Model checking dynamic epistemics in branching time
H van Ditmarsch, J Ruan, W van der Hoek
Informal) proceedings of FAMAS, 2007
92007
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
82016
Strategy logics and the game description language
W van der Hoek, J Ruan, M Wooldridge
82007
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
Data-aware monitoring for healthcare workflows using formal methods
J Ruan, W MacCaull
Proceedings of the Second Workshop Knowledge Representation for Health Care …, 2010
62010
Model checking logic puzzles
H Van Dimarsch, J Ruan
52007
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20