A logic program transformation for strongly persistent forgetting

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

DOI: 10.4204/EPTCS.345.11 GOOGLE SCHOLAR lock_openOpen access editor