10 citations · 18 across the 11 of their papers we have counts for
11 papers
Gradient-Based Mixed Planning with Symbolic and Numeric Action Parameters
Kebing Jin, Hankz Hankui Zhuo, Zhanhao Xiao +2
Dealing with planning problems with both logical relations and numeric changes in real-world dynamic environments is challenging. Existing numeric planning systems for the problem…
How to Identify Boundary Conditions with Contrasty Metric?
Weilin Luo, Hai Wan, Xiaotong Song +3
The boundary conditions (BCs) have shown great potential in requirements engineering because a BC captures the particular combination of circumstances, i.e., divergence, in which t…
Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification
Hongzhen Zhong, Hai Wan, Weilin Luo +3
In goal-oriented requirements engineering, goal conflict identification is of fundamental importance for requirements analysis. The task aims to find the feasible situations which…
Refining HTN Methods via Task Insertion with Preferences
Zhanhao Xiao, Hai Wan, Hankui Hankz Zhuo +3
Hierarchical Task Network (HTN) planning is showing its power in real-world planning. Although domain experts have partial hierarchical domain knowledge, it is time-consuming to sp…
An Incremental Evaluation Mechanism for the Critical Node Problem
Biqing Fang, Hai Wan, Shaowei Cai +1
The Critical Node Problem (CNP) is to identify a subset of nodes in a graph whose removal maximally degrades pairwise connectivity. The CNP is an important variant of the Critical…
Representation Learning for Classical Planning from Partially Observed Traces
Zhanhao Xiao, Hai Wan, Hankui Hankz Zhuo +2
Specifying a complete domain model is time-consuming, which has been a bottleneck of AI planning technique application in many real-world scenarios. Most classical domain-model lea…