Citation
Stickel, M. E. (1984). A Prolog technology theorem prover. New generation computing, 2(4), 371-383.
An extension of Prolog, based on the model elimination theorem-proving procedure, would permit production of a logically complete Prolog technology theorem prover capable of performing inference operations at a rate approaching that of Prolog itself.
IEEE’s Hard Tech Venture Summit convened innovators at SRI to refine strategies and build new networks.
Drawing on SRI’s unique innovation ecosystem, the startup Medical Devices Corner is seeking to improve cancer surgery by advancing MRI-safe teleoperation.
The Wall Street Journal tech columnist Christopher Mims and SRI Education’s Susan Patrick discuss how AI can strengthen human agency.