Copy Link
Add to Bookmark
Report

AIList Digest Volume 4 Issue 221

eZine's profile picture
Published in 
AIList Digest
 · 1 year ago

AIList Digest            Friday, 17 Oct 1986      Volume 4 : Issue 221 

Today's Topics:
Bibliography - Leff Bibliography Continuation #2

----------------------------------------------------------------------

Date: WED, 20 apr 86 17:02:23 CDT
From: leff%smu@csnet-relay
Subject: Bibliography (continued)

%A R. Neches
%A P. Langley
%A D. Klahr
%T Learning, Development and Production Systems
%I Department of Information and Computer Science, University of California,
Irvine
%D JAN 1986
%R 86-01
%K AI01 AI04
%X 46 pages ($4.00)

%A R. P. Hall
%T Understanding Analogical Reasoning: Computational Approaches
%D MAY 1986
%I Department of Information and Computer Science, University of California,
Irvine
%R 86-11
%K AI04 AT09
%X 60 pages ($5.00)

%A P. Langley
%A J. G. Carbonell
%T Language Acquisition and Machine Learning
%D JUN 1986
%I Department of Information and Computer Science, University of California,
Irvine
%R 86-12
%K AI02 AI04
%X 41 pages $3.00

%A J. C. Schlimmer
%T A Note on Correlational Measures
%D MAY 1986
%I Department of Information and Computer Science, University of California,
Irvine
%R 86-13
%X determining the degree that two events are interrelated
14 pages $2.00

%A B. Nordhausen
%T Conceptual Clustering Using Relational Information
%D JUN 1986
%I Department of Information and Computer Science, University of California,
Irvine
%R 86-15
%K AI04 O06
%X 15 pages $2.00

%A Peter J. Denning
%T Expert Systems
%I Research Institute for Advanced Computer Science, NASA Ames Research Center
%R 85.17
%K AI01

%A Peter J. Denning
%T Will Machines Ever Think?
%I Research Institute for Advanced Computer Science, NASA Ames Research Center
%R 86.12
%K AI16

%A Ajay Rastogi
%A Sargur N. Srihari
%T Recognizing Textual Blocks in Document Images Using the Hough Transform
%I Department of Computer Science State University of New York at Buffalo
%R 86-01
%K AI06 AA14
%X 1.00 /1.50

%A Pudcode Swaminathan
%A Sargur N. Srihari
%T Document Image Binarization: Second Derivative Versus Adaptive Thresholding
%I Department of Computer Science State University of New York at Buffalo
%R 86-02
%K AI06
%X $1.00/ $1.50

%A William J. Rapaport
%T Philosophy of Artificial Intelligence: A Course Outline
%I Department of Computer Science State University of New York at Buffalo
%R 86-03
%K AI16 AT18
%X $1.00/$1.50

%A Shoshana L. Hardt
%A William J. Rapaport
%T Recent and Current Ai Research in the Department of Computer Science,
SUNY-Buffalo
%I Department of Computer Science State University of New York at Buffalo
%R 86-05
%K AT21
%X $1.00/$1.50

%A Kemal Eboioglu
%T An Expert System for Harmonization of Chorales in the Style of J. S. Bach
%I Department of Computer Science State University of New York at Buffalo
%R 86-09
%K AA25 AI01
%X $3.00/$4.00 289 pages

%A Stuart C. Shapiro
%T Symmetric Relations, Intensional Individuals, and Variable Binding
%I Department of Computer Science State University of New York at Buffalo
%R 86-10
%K AI16 AI02 AI01
%X dealing with relations such as "are adjacent" and "are related"

%A Sargur N. Srihari
%A Jonathan J. Hull
%A Paul W. Palumbo
%A Ching-Huei Wang
%T Automatic Address Block Locatino: Analysis of Images and Statistical Data
%I Department of Computer Science State University of New York at Buffalo
%R 86-11
%K AI06
%X finding the destination address on a letter, magazine or parcel for
the post office
63 pages $1.00/$1.50

%A S. L. Hardt
%A D. H. Macfadden
%A M. Johnson
%A T. Thomas
%A S. Wroblewski
%T The Dune Shell Manual: Version 1
%I Department of Computer Science State University of New York at Buffalo
%R 86-12
%K AI01 AA11 AA18 T03 common sense
%X DUNE is Diagnostic Understanding of Natural Events, a shell that has
been applied to threat assessment, personality assessment and common sense
reasoning
$1.00/$1.50

%A Janyce M. Wiebe
%A William J. Rapaport
%T Representing de re and de dicto belief reports in discourse and narrative
%I Department of Computer Science State University of New York at Buffalo
%R 86-14
%K AI02 AI16
%X $1.00/$1.50

%A William J. Rapaport
%A Stuart C. Shapiro
%A Janyce M. Wiebe
%T Quasi-Indicators, Knowledge Reports, and Discourse
%I Department of Computer Science State University of New York at Buffalo
%R 86-15
%K AI02 AI16 de re de dicto
%X $1.00/$1.50

%A David E. Rumenhart
%A James L. McClelland
%T Parallel Distributed Processing:
Explorations in the Microstructures of Cognition,
%I Library of Computer Science
%K AT15 AI04 AI03 AI08
%X Two volume set for $35.95. Volume I: Foundations
Volume II: Psychological Models

%A Christian Lengauer
%T A View of Automated Proof Checking and Proving
%R TR-86-16
%D JUN 1986
%I University of Texas at Austin, Department of Computer Sciences
%K AI11
%X $1.50

%A Manuel V. Hermengildo
%T An Abstract Machine Based Execution Model for Computer Architecture
Design and Efficient Implementation of Logic Programs in Parallel
%R TR-86-20
%D JUN 1986
%I University of Texas at Austin, Department of Computer Sciences
%K AI10 H03
%X $5.00

%A Nicholas V. Findler
%A Timothy W. Bickmore
%A Robert F. Cromp
%T A General-Purpose Man-Machine Environment to Aid in Decision Making
and Planning with Special Reference to Air Traffic Control
%I Arizona State University, Computer Science Department
%R TR-84-001
%K AI13 AI09 O01

%A Nicholas V. Findler
%A Timothy W. Bickmore
%A Robert F. Cromp
%T A General-Purpose Man-machine Environment with Special Reference to
Air Traffic Control
%I Arizona State University, Computer Science Department
%R TR-84-002
%K AI13 AI09 O01

%A Nicholas V. Findler
%A Ron Lo
%T An Examination of Distributed Planning in the World of Air Traffic
Control
%I Arizona State University, Computer Science Department
%R TR-84-004
%K AI13 AI09 O01

%A Ben Huey
%T Using Register Transfer Languages for Knowledge-Based Automatic
Test Generation
%I Arizona State University, Computer Science Department
%R TR-84-011
%K AA04

%A F. Golshani
%T Tools for the Construction of Expert Database Systems
%I Arizona State University, Computer Science Department
%R TR-84-013
%K AA09 AI01

%A Ben M. Huey
%T The Heuristic State Search Algorithm
%I Arizona State University, Computer Science Department
%R TR-84-018
%K AI03

%A F. Golshani
%A A. Faustin
%T The Eductive (sic) Knowledge Engine-Preliminary Investigations
%I Arizona State University, Computer Science Department
%R TR-84-023
%K AI16

%A A. L. Pai
%A J. W. Pan
%T A Computer Graphics Kinematic Simulation System for Robot
Manipulators
%I Arizona State University, Computer Science Department
%R TR-85-003
%K AI07

%A Nicholas V. Findler
%T Air Traffic Control, A Challenge for Artificial Intelligence
%I Arizona State University, Computer Science Department
%R TR-85-006
%K AI16

%A Richard L. Madarasz
%A Loren C. Heiny
%A Norm E. Berg
%T The Design of an Autonomous Vehicle for the Handicapped
%I Arizona State University, Computer Science Department
%R TR-85-010
%K AI07 AA19

%A N. V. Findler
%A P. Bhaskaran
%A Ron Lo
%T Two Theoretical Issues Concerning Expert Systems
%I Arizona State University, Computer Science Department
%R TR-85-012
%K AI01

%A Richard Madarasz
%A Kathleen M. Mutch
%A Loren C. Heiny
%T A Low-Cost Binocular Imaging System for Research and Education
%I Arizona State University, Computer Science Department
%R TR-85-013
%K AI06 AT18

%A Robert F. Cromp
%T The Task, Design and Approach of the Advice Taker/Inquirer
System
%I Arizona State University, Computer Science Department
%R TR-85-014
%K AI16

%A Kathleen M. Mutch
%T The Perception of Translation in Depth Using Stereoscopic Motion
%I Arizona State University, Computer Science Department
%R TR-85-015
%K AI06

%A Ron Lo
%A Cher Lo
%A N. V. Findler
%T A Pattern Search Technique for the Optimization Module of a
Morph-Fitting Package
%I Arizona State University, Computer Science Department
%R TR-86-001
%K AI03

%A N. V. Findler
%A Laurie Igrif
%T Analogical Reasoning by Intelligent Robots
%I Arizona State University, Computer Science Department
%R TR-86-003
%K AI07 AI16

%A Nicholas V. Findler
%T The Past, Present and Future of Artificial Intelligence -
A Personal View
%I Arizona State University, Computer Science Department
%R TR-86-004
%K AT14

%A Stephen Fickas
%T Automating the Transformational Development of Software
%R CIS-TR-85-01
%I Computer and Information Science Department, University of Oregon
%C Eugene, OR
%D 1985
%K AA08

%A John S. Conery
%A Dennis F. Kibler
%T AND Parallelism and Nondeterminism in Logic Programs
%R CIS-TR-85-02
%I Computer and Information Science Department, University of Oregon
%C Eugene, OR
%D 1985
%K H03 AI10

%A Stephen Fickas
%A David Novick
%A Rob Reesor
%T Building Control Strategies in a Rule-Based System
%R CIS-TR-85-04
%I Computer and Information Science Department, University of Oregon
%C Eugene, OR
%D 1985
%K AI01 metaknowledge

%A Stephen Fickas
%A David Novick
%T Control Knowledge in Expert Systems: Relaxing Restrictive Assumptions
%R CIS-TR-85-05
%I Computer and Information Science Department, University of Oregon
%C Eugene, OR
%D 1985
%K AI01 metaknowledge

%A Stephen Fickas
%T Design Issues in a Rule-Based System
%R CIS-TR-85-06
%I Computer and Information Science Department, University of Oregon
%C Eugene, OR
%D 1985
%K AI01 metaknowledge

%A Kent A. Stevens
%A Allen Brookes
%T The Concave Cusp as a Determiner of Figure Ground
%R CIS-TR-85-08
%I Computer and Information Science Department, University of Oregon
%C Eugene, OR
%D 1985
%K AI06
%X (of interest to researchers on texture perception )

%A Stephen Fickas
%A David Novick
%A Rob Reesor
%T An Environment for Building Rule-Based Systems: An Overview
%R CIS-TR-85-10
%I Computer and Information Science Department, University of Oregon
%C Eugene, OR
%D 1985
%K AI01 T03

%A Stephen Fickas
%T A Knowledge-Based Approach to Specification Acquisition and Construction
%R CIS-TR-85-13
%I Computer and Information Science Department, University of Oregon
%C Eugene, OR
%D 1985
%K AA08

%A Kazem Taghva
%T Constructive Fully Abstract Models of Typed Lambda-Calculi
%R CSR 159
%I Computer Science Department, New Mexico Tech
%C Socorro, NM
%D DEC 1983
%K AA08

%A Allan M. Stavely
%T Inference From Models of Software Systems
%R CSR 162
%I Computer Science Department, New Mexico Tech
%C Socorro, NM
%D MAY 1984
%K AA08

%A Raymond D. Gumb
%A Sarah Bottomley
%A Alex Trujillo
%T Sandia National Laboratories SURP Grant 95-2931 Final Report:
Filming a Terrain Under Uncertainty Using Temporal and Probabilistic Reasoning
%R CSR 172
%I Computer Science Department, New Mexico Tech
%C Socorro, NM
%D AUG 1986
%K AI06 O04

%A Andrew W. Appel
%T Garbage Collection Can Be Faster than Stack Allocation
%R TR-045-86
%D JUN 1986
%I Princeton University, Department of Computer Science
%K H02 T01

%A Richard J. Lipton
%A Daniel Lopresti
%A J. Douglas Welsh
%T The Total DNA Homology Experiment
%R TR-020-86
%I Princeton University, Department of Computer Science
%K AA10 O06
%X plan to compare all known DNA sequences with each other to find homologies
They will be using a systolic array for DNA sequence matching and hope
to complete the project within one years time.

%A Bernard Nadel
%T Representation-Selection for Constraint Satisfaction Problems: A Case
Study Using n-Queens
%D MAR 1986
%R CRL-TR-5-86
%I University of Michigan, Computer Research Laboratory
%K AI03 AA17

%A Bernard Nadel
%T Theory-Based Search-Order Selection for Constraint Satisfaction Problems
%D APR 1986
%R CRL-TR-6-86
%I University of Michigan, Computer Research Laboratory
%K AI03

%A J. T. Park
%A T. J. Teory
%T Heuristics for Data Allocation in Local Area
%D MAY 1986
%R CRL-TR-7-86
%I University of Michigan, Computer Research Laboratory
%K AA09
%X describes heuristics for allocating data where update is done by
broadcast

%A K. Shin
%A P. Ramanathan
%T Diagnosis of Malicious Processors in a Distributed Computing System
%D MAY 1986
%R CRL-TR-8-86
%I University of Michigan, Computer Research Laboratory
%K AA21




%A Hary H. Porter, III
%T Earley Deduction
%R CS/E 86-002
%I Oregon Graduate Center
%D 1986
%K T02 Datalog

%A Clifford Walinsky
%T Constructive Negation in Horn-Clause Programs
%R CS/E 86-003
%I Oregon Graduate Center
%D 1986
%K AI10

%A Dennis M. Volpano
%T Translating an FP Dialect to L - A Proof of Correctness
%R CS/E 85-001
%I Oregon Graduate Center
%D 1985
%K AA08

%A Richard B. Kieburtz
%T The G-Machine: A Fast, Graph-Reduction Evaluator
%R CS/E 85-002
%I Oregon Graduate Center
%D 1985

%A Richard B. Kieburtz
%T Incremental Collection of Dynamic, List-Structured Memories
%I Oregon Graduate Center
%D 1985
%R CS/E 85-008
%K T01 H03
%X incremental garbage collection

%A Ashoke Deb
%T An Efficient Garbage Collector for Graph Machines
%I Oregon Graduate Center
%D 1984
%R CS/E 84-003
%K H03

%A John S. Givler
%T Pattern Recognition in FP Programs
%I Oregon Graduate Center
%D 1983
%R CS/E 83-003
%K O06 AI06

------------------------------

End of AIList Digest
********************

← previous
next →
loading
sending ...
New to Neperos ? Sign Up for free
download Neperos App from Google Play
install Neperos as PWA

Let's discover also

Recent Articles

Recent Comments

Neperos cookies
This website uses cookies to store your preferences and improve the service. Cookies authorization will allow me and / or my partners to process personal data such as browsing behaviour.

By pressing OK you agree to the Terms of Service and acknowledge the Privacy Policy

By pressing REJECT you will be able to continue to use Neperos (like read articles or write comments) but some important cookies will not be set. This may affect certain features and functions of the platform.
OK
REJECT