Extending Well-Founded Semantics with Clark’s Completion for Disjunctive Logic Programs
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 suitable integration of the well-founded semantics (WFS) and the Clark’s completion. D3-WFS-DCOM has the following appealing proper...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Hindawi Limited
2018-01-01
|
| Series: | Scientific Programming |
| Online Access: | http://dx.doi.org/10.1155/2018/4157030 |