On the Herbrand content of LK.

Bahareh Afshari Stefan Hetzl Graham E. Leigh

Published in: CL&C (2016)

Keyphrases

logic programs
logic programming
database
computer vision
metadata
multimedia
expert systems
web content
real time
genetic algorithm
keywords
peer to peer
user experience
multimedia content