Publications Search

105 results

Applying Learning Curves to Modeling Future Coal and Gas Power Generation Technologies
Ripudaman Malhotra, John Chase, Chris Ordowich, Daniel Steele, Michiaki Harada, & Keiji Makino

To forecast competing technologies under various scenarios of electricity demand, fuel cost, and research investment, SRI International researchers and partners have created a Power Technology Futures Model (PTFM).

Jan, 2012 Journal Details
Topics: Carbon Capture + Separation Economic + Technical Analysis Energy + Sustainability Energy Efficiency Industry Competitiveness + Positioning
Artificial Intelligence - Research and Applications
Nils J. Nilsson, Thomas D. Garvey, J.M. Agin, Barbara G. Deutsch, D.C. Lynch, H.G. Barrow, Richard E. Fikes, & Earl D. Sacerdoti

Our research program concentrates especially on the development of systems that can automatically generate and execute complex plans and that can obtain information about their environment through the sense of vision.

May, 1974 Journal Download PDF Details
Artificial Intelligence - Research and Applications
Nils J. Nilsson, A.E. Brain, Thomas D. Garvey, J.M. Tenenbaum, J.M. Agin, Barbara G. Deutsch, D.C. Lynch, H.G. Barrow, Richard E. Fikes, & Earl D. Sacerdoti

Our research program concentrates especially on the development of systems that can automatically generate and execute complex plans and that can obtain information about their environment through the sense of vision.

Apr, 1974 Journal Download PDF Details
Automated Deduction By Theory Resolution
Mark E. Stickel

Theory resolution constitutes a set of complete procedures for incorporating theories into a resolution theorem-proving program, thereby making it unnecessary to resolve directly upon axioms of the theory.

Oct, 1984 Journal Download PDF Details
Automated Theorem-Proving Research In The Fifth Generation Computer Systems Project: Model Generation Theorem Provers
Mark E. Stickel

One of the successful outcomes of the Fifth Generation Computer Systems Project is the development of Model Generation Theorem Provers (MGTPs).

Mar, 1993 Journal Download PDF Details
Caching and Lemmaizing In Model Elimination Theorem Provers
Owen L. Astrachan, & Mark E. Stickel

Theorem provers based on the model elimination theorem-proving procedure have exhibited extremely high inference rates but have lacked a redundancy control mechanism such as subsumption.

Dec, 1991 Journal Download PDF Details
California's Teaching Force 2010: Key Issues and Trends
Jennifer Bland, Juliet Tiffany-Morales, Patrick Shields, Katrina Woodworth, & Ashley Campbell

One of a series of SRI reports for policymakers about how California’s teacher workforce has been credited with increasing investments in teacher development and improving workforce quality.

Dec, 2010 Technical Report Download PDF Details
Topics: Teacher Quality + Learning
Cl-Patr Reference Manual
Stuart M. Shieber

The PATR-II grammar formalism has been developed over the last few years at SRI International as a grammar formalism for codifying fragments of natural language.

Feb, 1989 Journal Download PDF Details
Configurational Variation In English: A Study Of Extraposition and Related Matters
Susan U. Stucky

Natural languages typically permit more than one order of words or phrases, though they differ with respect to both the amount of order variation allowed and the kind of information carried by these differences in order.

Mar, 1985 Journal Download PDF Details
Criteria For Designing Computer Facilities For Linguistic Analysis
Stuart M. Shieber

In the natural-language-processing research community, the usefulness of computer tools for testing linquistic analyses is often taken for granted. Linguists, on the other hand, have generally been unaware of or ambivalent about such devices.

Apr, 1985 Journal Download PDF Details