Ruiqi Jin

2 accepted papers

2026

Enhancing Strategy Logic with Procedural Rationality

AAAI 2026technical

ATL and Strategy Logic (SL) are important languages for representation and reasoning about strategic abilities of coalitions in multi-agent systems. In analyzing strategies of agents in multi-agent systems, an important concept to consider is rationality. Strategy Logic can express rationality conce

Cited by 0 Source ↗PDF ↗Scholar ↗

2025

A Modal Logic for Joint Abilities of Structured Strategies with Bounded Complexity

Ruiqi Jin, Yongmei Liu, Liping Xiong

AAAI 2025technical

Coordination and joint ability are important topics in representation and reasoning about multi-agent systems. The modal logic JAADL proposed by Liu et al. extends ATL with joint abilities, which enables reasoning about whether a coalition of agents can coordinate and achieve a goal without communic…

Cited by 0 Source ↗PDF ↗Scholar ↗