research
∙
09/21/2023
A Switch Architecture for Time-Triggered Transmission with Best-Effort Delivery
In Time-Triggered (TT) or time-sensitive networks, the transmission of a...
share
research
∙
09/09/2023
How to Evaluate Semantic Communications for Images with ViTScore Metric?
Semantic communications (SC) have been expected to be a new paradigm shi...
research
∙
04/24/2023
Reinforcement Learning with Knowledge Representation and Reasoning: A Brief Survey
Reinforcement Learning(RL) has achieved tremendous development in recent...
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
∙
11/25/2022
Learning Visual Planning Models from Partially Observed Images
There has been increasing attention on planning model learning in classi...
research
∙
10/19/2021
Gradient-Based Mixed Planning with Discrete and Continuous Actions
Dealing with planning problems with both discrete logical relations and ...
research
∙
04/12/2021
View-Guided Point Cloud Completion
This paper presents a view-guided solution for the task of point cloud c...
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
∙
11/29/2019
Refining HTN Methods via Task Insertion with Preferences
Hierarchical Task Network (HTN) planning is showing its power in real-wo...
research
∙
07/19/2019
Representation Learning for Classical Planning from Partially Observed Traces
Specifying a complete domain model is time-consuming, which has been a b...
research
∙
06/11/2019
An Incremental Evaluation Mechanism for the Critical Node Problem
The Critical Node Problem (CNP) is to identify a subset of nodes in a gr...
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
Combining Reinforcement Learning and Configuration Checking for Maximum k-plex Problem
The Maximum k-plex Problem is an important combinatorial optimization pr...
research
∙
06/29/2018
Dependence in Propositional Logic: Formula-Formula Dependence and Formula Forgetting -- Application to Belief Update and Conservative Extension
Dependence is an important concept for many tasks in artificial intellig...
research
∙
06/29/2018
A General Multi-agent Epistemic Planner Based on Higher-order Belief Change
In recent years, multi-agent epistemic planning has received attention f...
research
∙
02/18/2016