Computing with Lattices: An Application of Type Classes.

Published in: J. Funct. Program. (1992)

Keyphrases

information retrieval
search algorithm
artificial intelligence
rough approximations
knowledge base
reinforcement learning
multiresolution
object detection
concept lattice
multiple types