Logic Engineering Vrije Universiteit Brussel
Within the context of the Alliance Research Group we want to work on the study of declarative formalisms that are scalable to the level of web applications. By restricting the expression of formalism to what is required effectively, sometimes surprisingly efficient systems can be found. For example, we want to investigate what conditions the PageRank algorithm, used by Google to estimate the quality of webpages, can provide comprehensive ward ...