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
57*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
372009
A Logic for Knowledge Flow in Social Networks
J Ruan, M Thielscher
The 24th Australasian Joint Conference in Artificial Intelligence (AI 2011 …, 2011
352011
Model checking sum and product
HP Ditmarsch, J Ruan, LC Verbrugge
AI 2005: Advances in Artificial Intelligence: 18th Australian Joint …, 2005
34*2005
Model checking sum and product
H Van Ditmarsch, J Ruan, L Verbrugge
AI 2005: Advances in Artificial Intelligence, 790-795, 2005
302005
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
252013
Exploring the update universe
J Ruan
232005
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
152012
The Epistemic Logic Behind the Game Description Language
J Ruan, M Thielscher
The 25th AAAI Conference on Artificial Intelligence (AAAI-11), 840-845, 2011
142011
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
142010
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
132016
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
102009
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
102007
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
92007
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
82013
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
72020
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20