Yves Lespérance
12 papers · 2013–2026 · 2 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+5 more ↓ Show less ↑
🐝 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)
Papers
Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus
AAAI 2026
Causal, Strategic, and Combined Responsibility Attribution in Situation Calculus Concurrent Game Structures
AAAI 2026
Reasoning About Actual Causes in Nondeterministic Domains
AAAI 2025
Situation Calculus Temporally Lifted Abstractions for Generalized Planning
AAAI 2025
Reasoning About Causal Knowledge in Nondeterministic Domains
IJCAI 2025
Abstraction of Situation Calculus Concurrent Game Structures
AAAI 2024
Abstraction of Nondeterministic Situation Calculus Action Theories
IJCAI 2023
ElGolog: A High-Level Programming Language with Memory of the Execution History
AAAI 2020
A Modal Logic for Joint Abilities under Strategy Commitments
IJCAI 2020
Abstraction of Agents Executing Online and their Abilities in the Situation Calculus
IJCAI 2018
Online Agent Supervision in the Situation Calculus
IJCAI 2016
Bounded Epistemic Situation Calculus Theories
IJCAI 2013