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
×6
Shakil M. Khan
×4
Matteo Mancanelli
×3
Gianmarco Parretti
×3
Maryam Rostamigiv
×3
Fabio Patrizi
×2
Mohammad Hossein Karimian
×1
Renzo Schram
×1

Papers

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