Publications Search

83 results

QLISP Reference Manual
B.M. Wilber

A mature version of QLISP is described. QLISP permits free intermingling of advanced language constructs with those of INTERLISP. It provides an associative data base, viewed from perspectives controlled by a powerful context mechanism.

Mar, 1976 Journal Download PDF Details
Qlisp: A Language For The Interactive Development Of Complex Systems
Earl D. Sacerdoti, Richard E. Fikes, Rene Reboh, Daniel Sagalowicz, Richard J. Waldinger, & B.M. Wilber

This paper presents a functional overview of the features and capabilities of QLISP, one of the newest of the current generation of very high level languages developed for use in artificial intelligence (AI) research.

Mar, 1976 Journal Download PDF Details
Ready Schools Miami: A Systems Change Effort to Improve Children's Outcomes (Year 3 Evaluation)
Shari Golan, Marjorie Wechsler, Dana Petersen, Nyema Mitchell, C.J. Park, & Mario Snow

Ready Schools is a radical systems change effort to improve the academic, health, and social outcomes of historically underserved children in one of this country’s largest and most diverse communities, Miami-Dade County. This report presents Year 3 findings of SRI's evaluation.

Feb, 2011 Technical Report Download PDF Details
Topics: Case Studies in Education Early Childhood Educational Impact Evaluation Implementation Evaluation School + Community Partnerships School Improvement: Student Success
Ready Schools Miami: Year 2 Evaluation Findings
Shari Golan, Marjorie Wechsler, Ashley Campbell, C.J. Park, Dana Petersen, & Tracy Huang

Since receiving support from the W.K. Kellogg Foundation in 2007, Ready Schools partners have made significant progress toward improving the systems in Miami-Dade that contribute to school readiness and success. This report presents findings of the second year of evaluation.

Jan, 2010 Technical Report Download PDF Details
Topics: Case Studies in Education Early Childhood Educational Impact Evaluation Implementation Evaluation School + Community Partnerships School Improvement: Student Success
Reasoning About Control: An Evidential Approach
Leonard P. Wesley, John D. Lowrance , & Thomas D. Garvey

Expert systems that operate in complex domains are continually confronted with the problem of deciding what to do next. Being able to reach a decision requires, in part, having the capacity to "reason" about a set of alternative actions.

Jul, 1984 Journal Download PDF Details
Reasoning About Programs
Richard J. Waldinger, & K.N. Levitt

This paper describes a theorem prover that embodies knowledge about programming constructs, such as numbers, arrays, lists, and expressions. The program can reason about these concepts and is used as part of a program verification system that uses the Floyd-Naur explication of program semantics.

Mar, 1974 Journal Download PDF Details
Research in Advanced Formal Theorem-Proving Techniques
Bertram Raphael, Richard E. Fikes, & Richard J. Waldinger

This report summaries the results of a three-year project aimed at the design and implementation of computer languages to aid in expressing problem solving procedures in several areas of artificial intelligence including automatic programming, theorem proving, and robot planning.

Aug, 1973 Journal Download PDF Details
Research on Automatic Program-Synthesis Systems
Richard J. Waldinger, Johns F. Rulifson, & Nils J. Nilsson

The objective of the proposed research is to establish design criteria for an automatic program-synthesizing system. We will devise a natural way to define program-writing problems and describe programming languages, and then improve the known methods of program synthesis and investigate new ones.

Feb, 1970 Journal Download PDF Details
Rex Programmer's Manual
Leslie Pack Kaelbling, & Nathan J. Wilson

This manual describes Rex, a programming language for specifying machines by declaratively describing their behavior. The Rex language consists of a set of Lisp functions that define primitive Rex machines and provides methods for building complex machines out of simpler components.

Jul, 1988 Journal Download PDF Details
San Francisco Bay Area KIPP Schools, A Study of Early Implementation and Achievement: Final Report
Katrina Woodworth, Jane L, Bay Area Research Group David, Roneeta Guha, Haiwen Wang, & Alejandra Lopez-Torkos

This report describes the implementation and impact of the Knowledge Is Power Program (KIPP) in five Bay Area middle schools.

Aug, 2008 Article Download PDF Details
Topics: Educational Impact Evaluation