Logic Engineering Vrije Universiteit Brussel
Binnen de context van de alliantieonderzoeksgroep willen we o.m. werken aan de studie van declaratieve formalismen die schaalbaar zijn tot het niveau van webtoepassingen. Door de uitdrukkingskracht van formalismen op een zinvolle manier te beperken tot wat effectief vereist is, kunnen soms verrassend efficiente systemen gevonden warden. We willen bv. onderzoeken ender welke voorwaarden het PageRank algoritme, dat door Google gebruikt wordt om ...