Forgetting auxiliary atoms in forks.

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

Published in: Artif. Intell. (2019)

Keyphrases

logic programs
incremental learning
linear combination
computer vision
database
information systems
three dimensional
multiscale
search algorithm
email
special case
logic programming