An Automatic Composition Algorithm for Functional Logic Programs.

María Alpuente Moreno Falaschi Ginés Moreno Germán Vidal

Published in: SOFSEM (2000)

Keyphrases

logic programs
np hard
expectation maximization
optimal solution
logic programming
answer set programming
search space
inductive logic programming
inside outside algorithm
natural language
computational properties
answer set programs