PPaperPicks

Daxin Liu

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

DBLP profile ↗ORCID search ↗

Venues

AAAI ×2AAMAS ×2IJCAI ×1

Frequent coauthors

Jens Claßen
×2
Vaishak Belle
×2
Gerhard Lakemeyer
×1

Papers

  1. A Framework for Belief-based Programs and Their Verification (Abstract Reprint)
    AAAI 2026 · Daxin Liu,
    Gerhard Lakemeyer
  2. On Action Theories with Iterable First-Order Progression
    AAAI 2025 · Daxin Liu,
    Jens Claßen
  3. What Is a Counterfactual Cause in Action Theories?
    AAMAS 2025 · Daxin Liu,
    Vaishak Belle
  4. First-Order Progression beyond Local-Effect and Normal Actions
    IJCAI 2024 · Daxin Liu,
    Jens Claßen
  5. Progression with Probabilities in the Situation Calculus: Representation and Succinctness
    AAMAS 2024 · Daxin Liu,
    Vaishak Belle