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...
| Autor principal: | |
|---|---|
| Outros Autores: | |
| Formato: | conferenceObject |
| Idioma: | eng |
| Publicado em: |
2017
|
| Assuntos: | |
| Texto completo: | http://www.scopus.com/inward/record.url?scp=84921748565&partnerID=8YFLogxK |
| País: | Portugal |
| Oai: | oai:run.unl.pt:10362/21163 |