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
DBLP profile ↗ORCID search ↗
×1

Papers

  1. Incremental Maintenance of DatalogMTL Materialisations
    AAAI 2026 · Kaiyue Zhao
  2. Goal-Driven Reasoning in DatalogMTL with Magic Sets
    AAAI 2025 ·
    Shaoyu Wang
    DBLP profile ↗ORCID search ↗