We introduce a framework for generating, organizing, and reasoning with computational knowledge. It is motivated by the observation that most problems in Computational Sciences Engineering (CSE) can be described as of completing (from data) graph (or hypergraph) representing dependencies between functions variables. In setting nodes represent variables edges hyperedges) functionals). Functions ...