Sergio Pissanetzky

Learn More
Many tools that analyze, refactor or otherwise evolve source code use ad-hoc, task-specific representations because the detailed information they need is hidden in the code and difficult to extract and organize. This leads to limited capabilities and interoperability. To address the problem, we propose the Relational Model of Computation (RMC), a(More)
The recently introduced Turing-complete Matrix Model of Computation (MMC) is a con-nectionist, massively parallel, formal mathematical model that can be set up as a network of artificial neurons and represent any other ANN. The model is hierarchically structured and has a natural ontology determined by the information stored in the model. The MMC is(More)
A logic is a mathematical model of knowledge used to study how we reason, how we describe the world, and how we infer the conclusions that determine our behavior. The logic presented here is natural. It has been experimentally observed, not designed. It represents knowledge as a causal set, includes a new type of inference based on the minimization of an(More)
  • 1