From Rewrite to Bisimulation Congruences.

Published in: CONCUR (1998)

Keyphrases

query rewriting
equivalence relation
rewrite rules
clustering algorithm
neural network
information retrieval
knowledge base
feature extraction
computational complexity
object recognition
user interface
rough sets
domain independent
optimal planning