Publications Search

26 results

A Computational Model Of Referring
Amichai Kronfeld, & Douglas E. Appelt

In this paper we present a theory of referring. This theory is presented within the framework of a general theory of speech acts and rationality advanced by Cohen and Levesque.

Jan, 1987 Journal Download PDF Details
A Decade of Public Charter Schools
Lee Anderson, Nancy Adelman, Kara Finnigan, Lynyonne Cotton, Mary Beth Donnelly, & Tiffany Price

Researchers at SRI conducted the first national evaluation of the Public Schools Charter Program for the U.S. Department of Education.

Nov, 2002 Technical Report Download PDF Details
Topics: Educational Impact Evaluation
A Descriptive Model Of Reference Using Defaults
Amichai Kronfeld, & Douglas E. Appelt

In this article we try to answer the following question: how do we let our audience know what we are talking about? How, in other words, do a speaker and hearer form an agreement as to which entities are the subject of the conversation?

May, 1988 Journal Download PDF Details
A Plan for a Unified Program of Research in Artificial Intelligence at SRI
Applied Physics Laboratory, Stanford Research Institute Artificial Intelligence Group

The AI research program described here has as its long term, unifying goal the task of building intelligent machines to perform useful tasks.

Oct, 1967 Journal Download PDF Details
A Practical Nonmonotonic Theory For Reasoning About Speech Acts
Douglas E. Appelt, & Kurt G. Konolige

A prerequisite to a theory of the way agents understand speech acts is a theory of how their beliefs and intentions are revised as a consequence of events.

Apr, 1988 Journal Download PDF Details
A Team User's Guide
Armar A. Archbold, Barbara J. Grosz, & Daniel Sagalowicz

TEAM (Transportable English Data Access Manager) is a computer system designed to acquire information about a (local or remote) database, and subsequently to interpret and answer questions addressed to the database in a subset of natural language.

Mar, 1981 Journal Download PDF Details
Alternative Certification: Design for a National Study
Daniel Humphrey, Marjorie Wechsler, Kristin Bosetti, & Nancy Adelman

Description of SRI's design for a comprehensive study of alternative teacher certification programs, to determine the characteristics of those that were effective.

Oct, 2002 Article Download PDF Details
Topics: Teacher Quality + Learning
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
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