PPaperPicks

Yves Lespérance

9 papers at tracked venues · 5 at CORE A* · active 2024–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×5KR ×2AAMAS ×1IJCAI ×1

Frequent coauthors

Giuseppe De Giacomo
DBLP profile ↗ORCID search ↗
×5
Shakil M. Khan
DBLP profile ↗ORCID search ↗
×2
Mohammad Hossein Karimian
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Causal, Strategic, and Combined Responsibility Attribution in Situation Calculus Concurrent Game Structures
    AAAI 2026 ·
    Mohammad Hossein Karimian
    DBLP profile ↗ORCID search ↗
  2. Reactive Synthesis for Golog Specifications in the Propositional Situation Calculus
    KR 2026 ·
    Giuseppe De Giacomo
    DBLP profile ↗ORCID search ↗
  3. Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus
    AAAI 2026 ·
    Giuseppe De Giacomo
    DBLP profile ↗ORCID search ↗
  4. Synthesis Foundations for Online LTLf Goal Management
    KR 2026 ·
    Giuseppe De Giacomo
    DBLP profile ↗ORCID search ↗
  5. Managing an Agent's Changing Intentions Using ltlf Synthesis
    AAMAS 2025 ·
    Giuseppe De Giacomo
    DBLP profile ↗ORCID search ↗
  6. Reasoning About Actual Causes in Nondeterministic Domains
    AAAI 2025 ·
    Shakil M. Khan
    DBLP profile ↗ORCID search ↗
  7. Reasoning About Causal Knowledge in Nondeterministic Domains
    IJCAI 2025 ·
    Shakil M. Khan
    DBLP profile ↗ORCID search ↗
  8. Situation Calculus Temporally Lifted Abstractions for Generalized Planning
    AAAI 2025 ·
    Giuseppe De Giacomo
    DBLP profile ↗ORCID search ↗
  9. Abstraction of Situation Calculus Concurrent Game Structures
    AAAI 2024 · Yves Lespérance