A logic program transformation for strongly persistent forgetting
- Aguado, F.
- Cabalar, P.
- Fandinno, J.
- Pérez, G.
- Vidal, C.
Proceedings:
Electronic Proceedings in Theoretical Computer Science, EPTCS
ISSN: 2075-2180
Year of publication: 2021
Volume: 345
Pages: 11-13
Type: Conference paper