Logic Representation in LF.

Robert Harper Donald Sannella Andrzej Tarlecki

Published in: Category Theory and Computer Science (1989)

Keyphrases

multi valued
image representation
logical representation
feature representation
horn logic
neural network
image sequences
face recognition
modal logic
symbolic representation
defeasible logic