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.
To chart the future of human-machine teaming, SRI’s COLLEAGUE project is building an AI-based system designed to act as a true collaborative partner.
SRI CEO David Parekh among top global leaders contributing expertise on how technology will impact the future.
A collaborative project that crosses multiple SRI labs and divisions is refining an application designed to take the drudgery out of scientific literature reviews.