The following pages link to Ji Ruan (Q375311):
Displaying 8 items.
- Action emulation (Q375313) (← links)
- Logical-epistemic foundations of general game descriptions (Q2016080) (← links)
- (Q2852032) (← links)
- (Q3455601) (← links)
- Sum and Product in Dynamic Epistemic Logic (Q3520235) (← links)
- Verification of Games in the Game Description Language (Q3656768) (← links)
- Connecting dynamic epistemic and temporal epistemic logics (Q4925178) (← links)
- AI 2005: Advances in Artificial Intelligence (Q5898072) (← links)