Hai Wan

Identifiers

No identifiers captured yet.

Papers (7)

1. Representation Learning for Classical Planning from Partially Observed Traces cs.AI · 2019 · author #2
2. CoAPI: An Efficient Two-Phase Algorithm Using Core-Guided Over-Approximate Cover for Prime Compilation of Non-Clausal Formulae cs.AI · 2019 · author #2
3. Combining Reinforcement Learning and Configuration Checking for Maximum k-plex Problem cs.AI · 2019 · author #2
4. Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting -- Application to Belief Update and Conservative Extension cs.AI · 2018 · author #2
5. A General Multi-agent Epistemic Planner Based on Higher-order Belief Change cs.AI · 2018 · author #3
6. Adversarial Attribute-Image Person Re-identification cs.CV · 2017 · author #5
7. Query Answering with Inconsistent Existential Rules under Stable Model Semantics cs.AI · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Biqing Fang 2 shared papers
• Weilin Luo 2 shared papers
• Ancong Wu 1 shared papers
• Feiyue Huang 1 shared papers
• Hankui Hankz Zhuo 1 shared papers
• Haoran Huang 1 shared papers
• Heng Zhang 1 shared papers
• Hong-Xing Yu 1 shared papers
• Hongzhen Zhong 1 shared papers
• Jia Li 1 shared papers
• Jianhuang Lai 1 shared papers
• Jinxia Lin 1 shared papers
• Liangda Fang 1 shared papers
• Ou Wei 1 shared papers
• Peilin Chen 1 shared papers
• Peng Xiao 1 shared papers
• Shaowei Cai 1 shared papers
• Wei-Shi Zheng 1 shared papers
• Xianqiao Liu 1 shared papers
• Xiao Huang 1 shared papers