A logic program transformation for strongly persistent forgetting

  1. Aguado, F.
  2. Cabalar, P.
  3. Fandinno, J.
  4. Pérez, G.
  5. 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

DOI: 10.4204/EPTCS.345.11 GOOGLE SCHOLAR lock_openAcceso aberto editor