Reasoning with Diagrams abd Sketches
Dynamic Visual Reasoning
Symmetry, Similarity, and Analogy
ooLTRE - an object oriented LTRE/LTMS system
Ideas I'm interested in
Building a Model Compiler
Could we build a compiler that would take a defined modeling language (or a specific instance of a model) and compile it into another computational substrate, such as a neural network?