Citation
Karp P.D. Hypothesis Formation as Designin Computational Models of Discovery and Theory Formation, Morgan Kaufmann Publishers, 1990.
Hypothesis Formation as Design
Read more from SRI
-
SRI’s Natarajan Shankar named a 2025 ACM Fellow
The accolade from the Association of Computing Machinery recognizes Shankar’s fundamental contributions in areas such as formal methods and system assurance.
-
SRI robotics innovations featured in Silicon Valley mini-doc
Angel investor and media producer Will Phillips explores two groundbreaking SRI-born projects in his mini-documentary on the Bay Area startup scene.
-
Chris Cowart: Activating Japan’s intrapreneurial superheroes
At the Nomura-SRI Innovation Center, Cowart leads a team that equips corporate innovators to create technology-driven change.