Publications
-
Research on Automatic Program-Synthesis Systems
We mean to 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.
-
A LISP Implementation of BIP
This document describes a LISP implementation of BIP (Basic Interface Package) on the PDP-10 computer.
-
AROS Algorithms for Partitioning a Picture
This one-pass algorithm is rather complex in nature, and several alternatives have been suggested, one of which (a two-pass algorithm) we have chosen for use for comparison purposes because of…
-
Pointing to Places in a Deductive Geospatial Theory
Issues in the description of places are discussed in the context of a logical geospatial theory.
-
A Question Answering System for AP Chemistry: Assessing KR Technologies
In this paper, we present a knowledge-based question-answering system that we developed as part of a broader effort by Vulcan Inc. to assess KR&R technologies, and the result of its…
-
Deductive Coordination of Multiple Geospatial Knowledge Sources
This theory lies at the core of the system GeoLogica, which deduces answers to geographical questions based on knowledge provided by multiple agents.
-
OKBC: A Foundation for Knowledge Base Interoperability
Open Knowledge Base Connectivity is an application programming interface for accessing KRSs, and was developed to enable the construction of reusable KB tools.
-
A Lisp-Fortran-Macro Interface for The PDP-10 Computer
A considerable effort has been made to endow the interface with generality and ease of use, as much as could be achieved without tampering with the FORTRAN and LISP operating…
-
Development and Application of Question-Answering Techniques for a Remote-Access Medical-Information Retrieval System
The objective of the proposed research program is to further develop the application of Q-A theory and techniques to practical medical information-retrieval systems.
-
Research in Advanced Formal Theorem-Proving Techniques
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…
-
A Region-Oriented Data Structure
This technical note describes a region-based data structure that is easily obtained, lends itself to description of the data in a rich manner by a process of pointer reduction, and…
-
A Mobile Automation: an Application of Artificial Intelligence Techniques
A research project applying artificial intelligence techniques to development of integrated robot systems is described.