A Hidden Herbrand Theorem.

Joseph A. Goguen Grant Malcolm Tom Kemp

Published in: PLILP/ALP (1998)

Keyphrases

logic programs
first order logic
image processing
logic programming
von neumann
computer vision
horn clauses
hidden information
genetic algorithm
learning algorithm
knowledge base
case study
high level