Yves Lespérance
12 papers · 2013–2026 · 2 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓+3 more ↓ Show less ↑
🐣 Hot Topic Early Bird 🌍 Conference Polyglot · Bronze 🏃 Academic Marathon · Half 🌉 Interdisciplinary Bridge · Bronze 🗺️ Taxonomy Completionist (11)
🏆
Keyword Champion
(8)
💎
Century Club · Bronze
🚀
Conference Pioneer
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
Causal, Strategic, and Combined Responsibility Attribution in Situation Calculus Concurrent Game Structures
AAAI 2026
Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus
AAAI 2026
Reasoning About Actual Causes in Nondeterministic Domains
AAAI 2025
Reasoning About Causal Knowledge in Nondeterministic Domains
IJCAI 2025
Situation Calculus Temporally Lifted Abstractions for Generalized Planning
AAAI 2025
Abstraction of Situation Calculus Concurrent Game Structures
AAAI 2024
Abstraction of Nondeterministic Situation Calculus Action Theories
IJCAI 2023
A Modal Logic for Joint Abilities under Strategy Commitments
IJCAI 2020
ElGolog: A High-Level Programming Language with Memory of the Execution History
AAAI 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