Publications
-
Detection Of Rivers In Low-Resolution Aerial Imagery
This paper describes an operator for detecting rivers in low-resolution aerial imagery. The operator provides results that would allow graph-traversing routines to delineate these structures.
-
Test-Score Semantics for Natural Languages and Meaning Representation via PRUF
In test-score semantics, predicates, propositions and other types of linguistic entities are treated as collections of elastic constraints on a set of objects or relations in a universe of discourse.
-
Transportable Natural-Language Interfaces To Databases
This paper describes initial work on a methodology for creating natural-language processing capabilities for new databases without the need for intervention by specially trained experts. A prototype system using this…
-
Automatic Deduction For Commonsense Reasoning: An Overview
This article provides an overview of the issues involved in drawing conclusions by means of deductive inference from bodies of commonsense knowledge represented by logical formulas.
-
Problems In Logical Form
This paper surveys some of the key problems that arise in defining a system of representation for the logical forms of English sentences and suggests possible approaches to their solution…
-
A Team User’s Guide
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…
-
Natural Language Access To Medical Text
This paper describes research on the development of a methodology for representing the information in texts and of procedures for relating the linguistic structure of a request to the corresponding…
-
Computational Structures For Machine Perception
This note discusses the adequacy of current computer architectures to serve as a base for building machine vision systems.
-
A First-Order Formalization Of Knowledge and Action For A Multiagent, Planning System
We are interested in constructing a computer agent whose behavior will be intelligent enough to perform cooperative tasks involving other agents like itself. The construction of such agents has been…
-
An Approach To Acquiring and Applying Knowledge
The problem addressed in this paper is how to enable a computer system to acquire facts about new domains from tutors who are experts in their respective fields, but who…
-
Mockingbird Forum Talk
This was the first public presentation of the Mockingbird Composer's Amanuensis, the first WYSIWYG music notation editor.
-
Klaus: A System For Managing Information and Computational Resources
These systems, which we call Knowledge Learning and Using Systems (KLAUS), are intended to act as brokers between the user’s needs, as expressed in the user’s terms, and the resources…