The top documents tagged [foundations of ai13cs6705]