A Local Algorithm for Incremental Evaluation of Tabled Logic Programs.

Diptikalyan Saha C. R. Ramakrishnan

Published in: ICLP (2006)

Keyphrases

logic programs
optimal solution
computational complexity
object oriented
logic programming
background knowledge
answer sets
prolog programs
search space
expectation maximization
orders of magnitude
answer set programming
recursive programs