PPaperPicks

Kaiyue Zhao

2 papers at tracked venues · 2 at CORE A* · active 2025–2026

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2

Frequent coauthors

Shaoyu Wang
×2
Pan Hu
×2
Dingqi Chen
×1
Dongliang Wei
×1
Przemyslaw Andrzej Walega
×1
Dingmin Wang
×1
Hongming Cai
×1

Papers

  1. Incremental Maintenance of DatalogMTL Materialisations
    AAAI 2026 · Kaiyue Zhao,
    Dingqi Chen
    ,
    Shaoyu Wang
    ,
    Pan Hu
  2. Goal-Driven Reasoning in DatalogMTL with Magic Sets
    AAAI 2025 ·
    Shaoyu Wang
    , Kaiyue Zhao,
    Dongliang Wei
    ,
    Przemyslaw Andrzej Walega
    ,
    Dingmin Wang
    ,
    Hongming Cai
    ,
    Pan Hu