Citation
Israel, D. J. Some Remarks on the Place of Logic in Knowledge Representation. IEEE Computer, vol. 16, no. 10, Oct 1983.
What is the place of logic in knowledge representation? It is argued that the answer to this question depends on what one means by logic. Various alternative conceptions are briefly scouted, with an eye to separating out what are, in fact, separate issues.
By recycling carbon dioxide into methanol, this science supports U.S. climate goals and helps reduce greenhouse gases.
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.
The U.S. Department of Education issues a third five-year cooperative agreement to SRI to lead The DaSy Center.