TY - JOUR A2 - Riguzzi, Fabrizio AU - Nieves, Juan Carlos AU - Osorio, Mauricio PY - 2018 DA - 2018/03/01 TI - Extending Well-Founded Semantics with Clark’s Completion for Disjunctive Logic Programs SP - 4157030 VL - 2018 AB - In this paper, we introduce new semantics (that we call D3-WFS-DCOMP) and compare it with the stable semantics (STABLE). For normal programs, this semantics is based on 合适的结合有充分的语义（WFS）和克拉克完成的整合。D3-WFS-DCOM具有以下吸引人的属性：首先，它与稳定性一致，因为它从未定义非最小模型或非最小程度支持的模型。其次，对于普通程序，它扩展了WFS。第三，分离程序的每个稳定模型 p 是D3-WFS-DCOM模型 p 。第四，它是使用稳定接受的转换规则来构建的。我们还介绍了我们称为D2-WFS-DOMP的第二种语义。我们表明，D2-WFS-DOMP等于普通程序的D3-WFS-DOMP，但对于分离程序并非如此。我们还介绍了支持隐性析取的第三个新语义。我们说明如何将这些语义扩展到包括明确的否定，子句中的默认否定以及A l 你 b 操作员，这是聚合操作员的概括 setof超过任意完整的晶格。SN -1058-9244 UR -https：//doi.org/10.1155/2018/4157030 do -10.1155/2018/2018/4157030 JF-科学编程PB- Hindawi KW- hindawi kw -er--er- er- er-