Login / Signup

Abstract answer set solvers with backjumping and learning.

Yuliya Lierler
Published in: Theory Pract. Log. Program. (2011)
Keyphrases
  • learning algorithm
  • learning process
  • relational databases
  • programming language
  • human experts