papers
Publications (7)
cs.AI2019
Representation Learning for Classical Planning from Partially Observed Traces
Zhanhao Xiao, Hai Wan, Hankui Hankz Zhuo +2
cs.CV2018
Adversarial Attribute-Image Person Re-identification
Zhou Yin, Wei-Shi Zheng, Ancong Wu +5
cs.AI2018
A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
Xiao Huang, Biqing Fang, Hai Wan +1
cs.AI2019
Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting -- Application to Belief Update and Conservative Extension
Liangda Fang, Hai Wan, Xianqiao Liu +2
cs.AI2019
Combining Reinforcement Learning and Configuration Checking for Maximum k-plex Problem
Peilin Chen, Hai Wan, Shaowei Cai +2
cs.AI2019
CoAPI: An Efficient Two-Phase Algorithm Using Core-Guided Over-Approximate Cover for Prime Compilation of Non-Clausal Formulae
Weilin Luo, Hai Wan, Hongzhen Zhong +1
cs.AI2016
Query Answering with Inconsistent Existential Rules under Stable Model Semantics
Hai Wan, Heng Zhang, Peng Xiao +2