Citation
Pack Kaelbling, L., & Wilson, N. J. (1988). Rex Programmer’s Manual. SRI INTERNATIONAL MENLO PARK CA ARTIFICIAL INTELLIGENCE CENTER.
This manual describes Rex, a programming language for specifying machines by declaratively describing their behavior. The Rex language consists of a set of Lisp functions that define primitive Rex machines and provides methods for building complex machines out of simpler components.
Spotlighting Douglas Engelbart’s invention of the computer mouse, Stanford Magazine revisits a moment when SRI transformed computing forever.
New SRI research seeks to secure the future of quantum innovation by extending software assurance capabilities from classical computers to quantum information systems.
Silicon Valley is paying close attention to the defense sector. SRI convened a conversation exploring new opportunities to advance security through innovation.