|
EXPERT SYSTEMS 4 |
|
|
0NC0C1N: An Expert
System for Oncology Protocol Management
Edward H. Shortliffe, A. Carlisle
Scott, Miriam B. Bischoff, A. Bruce Campbell, William van Melle, Charlotte
D. Jacobs . |
876 |
|
A Rule-Based Task
Generation System D.H. Sleeman |
882 |
|
Application Design:
Issues in Expert System Architecture Harry C. Reinstein, Janice S. Aikins |
888 |
|
MEDICAL APPLICATIONS |
|
|
Causal Understanding of
Patient Illness in Medical Diagnosis
Ramesh S. Patil, Peter Szolovits, |
893 |
|
Temporal Event
Recognition: An Application to Left Ventricular Performance |
900 |
|
A Precedence Scheme for Selection and
Explanation of Therapies |
908 |
|
Time-Oriented Features
for Medical Consultation Systems
T. Koyama, S. Kaihara, T. Minamikava |
910 |
|
PROGRAMMING ENVIRONMENTS 1 |
|
|
Layered Networks as a
Tool for Software Development
Ira P. Goldstein, Daniel G. Bobrow |
913 |
|
A Knowledge-Based
Program Editor |
920 |
|
Overview of a
Display-Oriented Editor for INTERLISP |
927 |
|
PEARL - A Package for
Efficient Access to Representations in LISP
Michael Deering, Joseph Faletti, |
930 |
|
PROGRAMMING ENVIRONMENTS 2 |
|
|
UNIFORM: A Language
Based upon Unification which Unifies (Much of) LISP, PROLOG, and ACT 1 |
933 |
|
Brand X: LISP Suport
for Semantic Networks |
940 |
|
Last Steps Towards an
Ultimate PROLOG A. Colmerauer, H. Kanoui, M. Van Caneghem |
947 |
|
HARDWARE |
|
|
Concurrent LISP on a
Multi-Micro-Processor System Shigeo Sugimoto, Koichi Tabata, Tabata, Kiyoshi
Agusa, Yutaka Ohno |
949 |
|
ZMOB: A New Computing
Engine for AI
Chuck Rieger, Randy Trigg, Bob Bane |
955 |
|
NON-VON: A Parallel
Machine Architecture for Knowledge-Based Information Processing
David Elloit
Shaw |
961 |
|
COMPUTER AIDED INSTRUCTION |
|
|
Domain Specific
Debugging Aids for Novice Programmers
Joachim Laubsch, Hare Eisenstadt |
964 |
|
LOGO as an Information
Prosthetic for Communication and Control
Sylvia Weir |
970 |
|
Meno-II: An Intelligent
Tutoring System for Novice Programmers
Elliot M. Soloway, Beverly Woolf,
Eric Rubin, Paul Barth |
975 |
|
MAN-MACHINE INTERACTION |
|
|
An Information
Presentation System
Frank Zdybel, Norton R, Greenfeld, Martin D, Yonke, Jeff
Gibbons |
976 |
|
Large Human-Machine
Information Spaces Chuck
Rieger, Richard Wood, Elizabeth Allen |
985 |
|
ZAPSIB Linguistics Processors: Modularity and
Adaptability D.Ya. Levin, A.S. Narun'yani-NA |
*** |
|
AUTOMATIC PROGRAMMING 1 |
|
|
The Conceptual Calculus
For Automatic Program Understanding
D. Goossens |
992 |
|
Automatic Synthesis of
Numerical Computer Programs
Richard H. Brown |
996 |
|
PAPE: An On-Line System
for Inferring Procedures from Sets of Their Traces
F.Y. Villemin |
1004 |
|
Inversion of
Applicative Programs |
1007 |
|
AUTOMATIC PROGRAMMING |
|
|
Use of Data
Representation Mapping in Automatic Generation of Data Base Access
Procedures
Koichi Furukawa |
1010 |
|
Algebraic Manipulations
as a Unification and Matching Strategy for Linear Equations in Signed
Binary Trees C. Kirchner, H, Kirchner, J.P. Jouannaud
|
1016 |
|
Algebraic
Approximations
David A. McAllester |
1024 |
|
A Design for an
Automatic Programming System
Douglas R. Smith |
1027 |
|
FROGRAM SYNTHESIS |
|
|
An Advisory System for
Developing Data Representations
Shmuel Katz, Ruth Zimmerman |
1030 |
|
APE: An Expert System
for Automatic Programming from Abstract Specifications of Data Types and
Algorithms
Ulrich Bartels, Walter Olthoff, Peter
Raulef |
1037 |
|
A. Formal
Representation for Plans in the Programmer's Apprentice
Charles Rich |
1044 |
|
FROGRAM DEMONSTRATIONS |
|
|
STAMMER2: A Rule-Based
Application
Robert J. Bechtel |
1053 |
|
A Set of APL Functions
to Play New Eleusis
Michael J. A. Berry |
1054 |
|
MDX and Related Medical
Decision-Making Systems
B. Chandrasekaran, S. Mittal, J. W. Smith
|
1055 |
|
Demonstrating PROLOG on
APPLF TT
A. Colmerauer, H, Kanoui, M. van Caneghem M. van Caneghem
|
1056 |
|
BORIS — An In-Dept
Understander of Narratives
Michael G. Dyer, Thomas C. Wolf, Martin Korsin |
1057 |
|
Factory Modelling,
Simulation, and Scheduling in the Intelligent Management System
Mark S. Fox |
1058 |
|
1PP Program Description |
1059 |
|
Tinker: Example-Based
Programming for Artificial Intelligence
Henry Lieberman
|
1060 |
|
Compound: A Program
that Understands Noun Compounds
David B. McDonald |
1061 |
|
HUMBLE: A Flexible
System for Language Production
David D. McDonald |
1062 |
|
Physics Problem
Solving: ISAAC-II
Gordon S. Novak Jr |
1063 |
|
The Use of Interactive Graphics in a
Knowledge-Based Systems Harry C. Reinstein, Janice S. Aikins |
*** |
|
The Model Inference
System
Ehud Y. Shapiro |
1064 |
|
FILMS |
|
|
MARK 1 Robot
John K. Dixon, Susan A. Bouchard, William G.
Kennedy, James R. Slagle |
1065 |
|
KEYSIGHT: Computer
Vision Inspection of Valve Spring Assemblies on Engine Heads
W.A. Perkins
|
1066 |
|
Knowledge Sources In
Vision
Steven Rubin
|
1067 |
|
Parameter Networks:
Towards a Theory of Low-Level Vision
Dana H. Ballard
|
1068 |
|
Six Topics in Search of
a Parser: An Overview of Al Language Research
Eugene Charniak
|
1079 |
|
Shape Representation in
Parallel Systems
Geoffrey E. Hinton |
1088 |
|
A Psychologist Views
Human Processing: Human Errors and Other Phenomena Suggest Processing
Mechanisms Donald A. Norman |
1097 |
|
Computer Vision and
Human Perception : An Essay on the Discovery of Constraints Steven W. Zucker |
1102 |