A logic program transformation for strongly persistent forgetting
- Aguado, F.
- Cabalar, P.
- Fandinno, J.
- Pérez, G.
- Vidal, C.
Actas:
Electronic Proceedings in Theoretical Computer Science, EPTCS
ISSN: 2075-2180
Ano de publicación: 2021
Volume: 345
Páxinas: 11-13
Tipo: Achega congreso