Liu, Daxin

4 publications

JAIR 2025 A Framework for Belief-Based Programs and Their Verification Daxin Liu, Gerhard Lakemeyer

AAAI 2025 On Action Theories with Iterable First-Order Progression Daxin Liu, Jens Claßen

IJCAI 2024 First-Order Progression Beyond Local-Effect and Normal Actions Daxin Liu, Jens Claßen

IJCAI 2021 Reasoning About Beliefs and Meta-Beliefs by Regression in an Expressive Probabilistic Action Logic Daxin Liu, Gerhard Lakemeyer