在ASP中直接编码声明约束

本研究解决了现有ASP解决方案在编码Declare约束时需要中间表示的问题。提出了一种新颖的方法，直接将Declare约束的语义建模为ASP规则。对此方法进行评估的结果表明，其在处理过程挖掘任务时的效果优于其他替代方案，具有显著的实际应用潜力。