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 ...
share
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/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