e, MIT Press, Cambridge, MA (1979). (20.) M. Shanahan, Solving the Frame Problem, MIT Press, Cambridge, MA (1997). (21.) D.A. Randell, Z. Cui, and A. G. Cohn, "A Spatial Logic Based on Regions and Connection," Proceedings of the Third International Conference on Knowledge Representation and Reasoning, Mor

ge, MIT Press, Cambridge, MA (1979). (20.) M. Shanahan, Solving the Frame Problem, MIT Press, Cambridge, MA (1997). (21.) D.A. RandeU, Z. Cui, and A. G. Cohn, "A Spatial Logic Based on Regions and Connection," Proceedings of the Third International Conference on Knowledge Representation and Reasoning, Mor

ations Program. Homology Type Theory: Univalent Foundations of Mathe- matics. Institute for Advanced Study, 2013. RCC93. D. A. Randell, Z. Cui, and A. G. Cohn. A spatial logic based on regions and connection. 1993. Rcs99. J. Reece. Genetic programming acquires solutions by combining top-down and bottom-up

e, MIT Press, Cambridge, MA (1979). (20.) M. Shanahan, Solving the Frame Problem, MIT Press, Cambridge, MA (1997). (21.) D.A. Randell, Z. Cui, and A. G. Cohn, "A Spatial Logic Based on Regions and Connection," Proceedings of the Third International Conference on Knowledge Representation and Reasoning, Mor