Frontiers in knowledge-based computing - Bhatkar, Vijay P.; Rege, Kiran M.