Citation
Israel, D. J. Lucid and Intensional Logic, in Proceedings of the Fifth International Symposium on Lucid and Intensional Programming Languages,, Apr 1992.
Lucid and Intensional Logic
Read more from SRI
-
SRI and University of Houston receive $3.6M to develop a microreactor to convert carbon dioxide to methanol using renewable energy
By recycling carbon dioxide into methanol, this science supports U.S. climate goals and helps reduce greenhouse gases.
-
Teaching machines to learn like humans could help autonomous systems deal with unfamiliar environments
SRI is spearheading a way for autonomous systems, such as self-driving vehicles and drones, to effectively operate in evolving and adversarial environments such as war zones.
-
Office of Special Education Programs extends SRI’s funding for the Center for IDEA Early Childhood Data Systems
The U.S. Department of Education issues a third five-year cooperative agreement to SRI to lead The DaSy Center.