Liping Xiong
4 papers · 2016–2025 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
🌉 Interdisciplinary Bridge 🧭 Keyword Pioneer 🌍 Conference Polyglot (2) 🏃 Academic Marathon (9) 🐝 Cross-Pollinator (4)
🐣
Hot Topic Early Bird
Conferences
IJCAI (3)
AAAI (1)
Top co-authors
Keywords
multi-agent system
(2)
strategic reasoning
(2)
modal logic
(2)
model checking
(2)
impartial game
(1)
winning strategy
(1)
combinatorial game
(1)
alternating-time temporal logic
(1)
joint abilities
(1)
structured strategies
(1)
norm synthesis
(1)
strategic abilities
(1)
impartial combinatorial game
(1)
linear integer arithmetic
(1)
game theory
(1)
joint ability
(1)
temporal logic
(1)
smt solver
(1)
strategy synthesis
(1)
Papers
A Modal Logic for Joint Abilities of Structured Strategies with Bounded Complexity
AAAI 2025
Automatic Synthesis of Generalized Winning Strategies of Impartial Combinatorial Games Using SMT Solvers
IJCAI 2020
A Modal Logic for Joint Abilities under Strategy Commitments
IJCAI 2020
Strategy Representation and Reasoning for Incomplete Information Concurrent Games in the Situation Calculus
IJCAI 2016