Publications Search

54 results

Efficient Calculations on Points and Lines in the Euclidean Plane
John H. Munson

Calculations involving points and lines in Euclidean spaces are often subject to annoying anomalies when the trigonometric functions are invoked. This paper illustrates a method by which use of these functions may often be avoided.

Oct, 1971 Journal Download PDF Details
Equipment for Artificial Intelligence Research
B. Meyer

Under the terms of National Science Foundation, Grant GK 36487, the Stanford Research Institute has been studying equipment needs for artificial intelligence research. SRI proposes a two-year program to design, fabricate, and test a prototype system consisting of the vehicle, arm, and vision system.

Sep, 1973 Journal Download PDF Details
Experimental Evaluation of Subject Matter Expert-oriented
R. Schrag, M. Pool, Vinay K. Chaudhri, R.C. Kahlert, J. Powers, Philip R. Cohen, J. Fitzgerald, & S. Mishra

We describe a large-scale experiment in which non-artificial intelligence subject matter experts - with neither artificial intelligence background nor extensive training in the task - author knowledge bases following a challenge problem specification with a strong question-answering component.

Sep, 2001 Journal Download PDF Details
Fundamentals Of Deductive Program Synthesis
Zohar Manna, & Richard J. Waldinger

An informal tutorial is presented for program synthesis, with an emphasis on deductive methods.

Aug, 1992 Journal Download PDF Details
Gemini: A Natural Language System For Spoken-Language Understanding
John Dowding, Jean Mark Gawron, Douglas E. Appelt, John Bear, Lynn Cherny, Robert C. Moore, & Douglas Moran

Gemini is a natural language understanding system developed for spoken language applications. The paper describes the architecture of Gemini, paying particular attention to resolving the tension between robustness and overgeneration.

Mar, 1993 Journal Download PDF Details
Global Skills for College Completion: Tools and Routines
Diane Woolis, Gail Mellow, Louise Yarnall, & Marisa Klages

Less than 30 percent of students complete an associates degree, and 60-80 percent need developmental education. How do we change this?

Feb, 2011 Article Download PDF Details
Topics: Community College: Transitions Community College: Reform to Support Real-World Learning Learning Technologies
Handling Complex Queries In A Distributed Data Base
Robert C. Moore

We have substantially expanded the capabilities of the data base access component that serves as the interface between the natural-language front end of LADDER and the data base management systems on which the data is actually stored.

Oct, 1979 Journal Download PDF Details
How To Clear A Block: A Theory Of Plans
Zohar Manna, & Richard J. Waldinger

Problems in commonsense and robot planning are approached by methods adapted from program synthesis research; planning is regarded as an application of automated deduction.

Dec, 1986 Journal Download PDF Details
Interpretation As Abduction
Jerry R. Hobbs, Mark E. Stickel, Douglas E. Appelt, & Paul Martin

Abduction is inference to the best explanation. In the TACITUS project at SRI we have developed an approach to abductive inference, called "weighted abduction," that has resulted in a significant simplification of how the problem of interpreting texts is conceptualized.

Mar, 1990 Journal Download PDF Details
Is "Sometimes" Sometimes Better Than "Always"?; Intermittent, Assertion In Proving Program Correctness
Zohar Manna, & Richard J. Waldinger

This paper explores a technique for proving the correctness and termination of programs simultaneously.

Jun, 1976 Journal Download PDF Details