Vivek : a quarterly in artificial intelligence (Bombay, India : National center for software technology.)