Preserving strong equivalence while forgetting
A variety of proposals for forgetting in logic programs under different semantics have emerged that satisfy differing sets of properties considered desirable. Despite the achieved progress in devising approaches that capture an increasing number of these properties, the idea that the result of forge...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | conferenceObject |
| Language: | eng |
| Published: |
2017
|
| Subjects: | |
| Online Access: | http://www.scopus.com/inward/record.url?scp=84921748565&partnerID=8YFLogxK |
| Country: | Portugal |
| Oai: | oai:run.unl.pt:10362/21163 |