Forgetting in Answer Set Programming with Anonymous Cycles

FORGET (PTDC/CCI-INF/32219/2017). NOVA LINCS (UID/CEC/04516/2019).

Detalhes bibliográficos
Autor principal: Berthold, Matti (author)
Outros Autores: Gonçalves, Ricardo (author), Knorr, Matthias (author), Leite, João (author)
Formato: conferenceObject
Idioma:eng
Publicado em: 2020
Assuntos:
Theoretical Computer Science
Computer Science(all)
Texto completo:http://hdl.handle.net/10362/93657
País:Portugal
Oai:oai:run.unl.pt:10362/93657

Texto Completo

http://hdl.handle.net/10362/93657

Registros relacionados