Disjunctive LP + Integrity Constraints = Stable Model Semantics.评价结果

评估详情

3