Publications
-
A Fuzzy Controller For Flakey, An Autonomous Mobile Robot
Through the use of fuzzy logic, goal-oriented behavior (e.g., trying to reach a given location) and reactive behavior (e.g., avoiding previously unknown obstacles on the way) are smoothly blended into…
-
Gemini: A Natural Language System For Spoken-Language Understanding
The paper describes the architecture of Gemini, paying particular attention to resolving the tension between robustness and overgeneration. Gemini features a broad-coverage unification-based grammar of English, fully interleaved syntactic and…
-
Automated Theorem-Proving Research In The Fifth Generation Computer Systems Project: Model Generation Theorem Provers
MGTPs have solved previously open problems in finite algebra, produced rapid proofs of condensed detachment problems, and are providing an inferential infrastructure for knowledge-processing research at ICOT. This paper describes…
-
Artificial intelligence in perspective: a retrospective on fifty volumes of the Artificial Intelligence Journal
To capture the intellectual highlights of the AIJ publication history, we decided to look at what has happened to ideas published in some of the most influential papers from the…
-
A view on qualitative physics
I will focus on some of the events and experiences which motivated me to become interested in qualitative physics and where it should be going.
-
Determining the fundamental matrix with planes: unstability and new algorithms
The fundamental matrix is a key concept when working with uncalibrated images and multiple viewpoints. It contains all the available geometric information and enables recovery of the epipolar geometry from…
-
A New Striatal Model and its Relationship to Basal Ganglia Diseases
A new model of the striatum has recently been proposed. This model suggests that the somatotopic regions of the striatum correspond to state spaces governing various aspects of organism behavior
-
Frame Representation and Relational Data Bases: Alternative Information-Management Technologies for Systematics
-
Deductive Foundations of Computer Programming
Book available online
-
Color in computer vision
The use of color in computer vision has received growing attention. This chapter gives the state-of-the-art in this subfield, and tries to answer the questions: What is color? Which are the…
-
A Qualitative Biochemistry and its Application to the Regulation of the Tryptophan Operon
This article is concerned with the general question of how to represent biological knowledge in computers such that it may be used in multiple problem solving tasks.
-
Misconceptions Reconceived: A Constructivist Analysis Of Knowledge In Transition
This article uses a critical evaluation of research on student misconceptions in science and mathematics to articulate a constructivist view of learning in which student conceptions play productive roles in…