WASP: A Native ASP Solver Based on Constraint Learning.

Mario Alviano Carmine Dodaro Wolfgang Faber Nicola Leone Francesco Ricca

Published in: LPNMR (2013)

Keyphrases

knowledge acquisition
learning systems
learning algorithm
learning process
supervised learning
prior knowledge
online learning
real time
machine learning
background knowledge
learning tasks
incremental learning
elementary school