Forgetting Auxiliary Atoms in Forks.

Felicidad Aguado Pedro Cabalar Jorge Fandinno David Pearce Gilberto Pérez Concepción Vidal

Published in: ASPOCP@LPNMR (2017)

Keyphrases

logic programs
incremental learning
linear combination
answer set programs
answer sets
database
data sets
data structure
image retrieval
end users
logic programming