knowledge representation techniques - Search