An Algorithm for Sophisticated Code Matching in Logic Programs.

Wim Vanhoof François Degrave

Published in: ICLP (2008)

Keyphrases

logic programs
matching algorithm
optimal solution
logic programming
computational complexity
prolog programs
search space
np hard
expectation maximization
expert systems
answer sets
autoepistemic logic