Academy of Finland
Funding decision
Name Kontinen, Juha
Organisation University of Helsinki
Project title Dependence Logic: Theory and Applications
Decision No. 308712
Decision date 20.06.2017
Funding,period 01.09.2017 - 31.08.2021
Funding 547 552
WebFOCUS Report
Project description
Dependence logic is a logical framework for formalizing and studying various notions of dependence and independence pervasive in science. The goal of the proposed research is to generalize the theory of dependence logic to cover probabilistic and approximate notions of dependence and independence and to apply dependence logic in the areas of database theory and Bayesian networks.