Unification via Explicit Substitutions: The Case of Higher-Order Patterns.

Gilles Dowek Thérèse Hardin Claude Kirchner Frank Pfenning

Published in: JICSLP (1996)

Keyphrases

higher order
high order
pairwise
natural images
real world
information retrieval
search engine
evolutionary algorithm
information extraction
frequent patterns
pattern discovery
previously unknown