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 its simplicity and apparent efficiency.
Publications
A LISP Implementation of BIP
This document describes a LISP implementation of BIP (Basic Interface Package) on the PDP-10 computer.
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.
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 assessment.
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.
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 systems and compilers.
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 intelligence including automatic programming, theorem proving, and robot planning.