Yves Lespérance
12 papers
· 2013–2026
· 2 conferences
· across top CS/AI conferences
Achievements
🐝
Cross-Pollinator
(15)
🗺️
Taxonomy Completionist
(11)
🧭
Keyword Pioneer
🐣
Hot Topic Early Bird
🌍
Conference Polyglot
(2)
🏃
Academic Marathon
(12)
🌉
Interdisciplinary Bridge
🏆
Keyword Champion
(8)
💎
Century Club
(10)
🚀
Conference Pioneer
Conferences
AAAI (6)
IJCAI (6)
Top co-authors
Keywords
situation calculus
(8)
strategic reasoning
(3)
refinement mapping
(3)
multi-agent system
(3)
nondeterministic domain
(2)
game theory
(2)
causal reasoning
(2)
formal verification
(2)
temporal logic
(2)
modal logic
(1)
alternating-time temporal logic
(1)
responsibility attribution
(1)
plan synthesis
(1)
abstraction mapping
(1)
causal responsibility
(1)
actual causation
(1)
strategic abilities
(1)
execution history
(1)
strategic properties
(1)
strong fond planning
(1)