research
∙
04/24/2023
Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey
Reinforcement Learning(RL) has achieved tremendous development in recent...
share
research
∙
12/01/2022
A Noise-tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving
We study the problem of learning a single occurrence regular expression ...
research
∙
05/27/2021
Learning to Optimize Industry-Scale Dynamic Pickup and Delivery Problems
The Dynamic Pickup and Delivery Problem (DPDP) is aimed at dynamically s...
research
∙
03/03/2021
How to Identify Boundary Conditions with Contrasty Metric?
The boundary conditions (BCs) have shown great potential in requirements...
research
∙
02/23/2021
Structural Similarity of Boundary Conditions and an Efficient Local Search Algorithm for Goal Conflict Identification
In goal-oriented requirements engineering, goal conflict identification ...
research
∙
06/07/2019
CoAPI: An Efficient Two-Phase Algorithm Using Core-Guided Over-Approximate Cover for Prime Compilation of Non-Clausal Formulae
Prime compilation, i.e., the generation of all prime implicates or impli...
research
∙
06/06/2019