6. AAAI 1987:
Seattle,
WA
Proceedings AAAI-87 Sixth National Conference on Artificial Intelligence,
July 13-17, 1987, Seattle, WA. AAAI Press
AI Architecture
- Donald C. Allen, Seth A. Steinberg, Lawrence A. Stabile:
Recent Developments in Butterfly™ Lisp.
2-6
- David Billstrom, Joseph Brandenburg, John Teeter:
CCLISP™ on the iPSC™ Concurrent Computer.
7-12
- P. Daniel Cheng, J. Y. Yuang:
A Parallel Resolution Procedure Based on Connection Graph.
13-17
- Daniel D. Corkill, Kevin Q. Gallagher, Philip M. Johnson:
Achieving Flexibility, Efficiency, and Generality in Blackboard Architectures.
18-23
- Nicholas S. Flann, Thomas G. Dietterich, Dan R. Corpon:
Forward Chaining Logic Programming with the ATMS.
24-29
- M. Vaughan Johnson Jr., Barbara Hayes-Roth:
Integrating Diverse Reasoning Methods in the BB1 Blackboard Control Architecture.
30-35
- Michael A. Kelly, Rudolph E. Seviora:
A Multiprocessor Architecture for Production System Matching.
36-41
- Daniel P. Miranker:
TREAT: A Better Match Algorithm for AI Production System Matching.
42-47
- Steve Rowley, Howard E. Shrobe, Robert Cassels, Walter Hamscher:
Joshua: Uniform Access to Heterogeneous Knowledge Structures, or why Joshing Is Better than Conniving or Planning.
48-52
- Vijay A. Saraswat:
CP as a General-Purpose Constraint-Language.
53-58
- Ramin Zabih, David A. McAllester, David Chapman:
Non-Deterministic Lisp with Dependency-directed Backtracking.
59-65
AI & Education
Automated Reasoning
- Bruce Abramson, Richard E. Korf:
A Model of Two-Player Evaluation Functions.
90-94
- Thierry Boy de la Tour, Ricardo Caferra:
Proof Analogy in Interactive Theorem Proving: A Method to Express and Use It via Second Order Pattern Matching.
95-99
- Ping-Ching Chi, Dana S. Nau:
Comparing Minimax and Product in a Variety of Games.
100-104
- Avi Dechter, Rina Dechter:
Removing Redundancies in Constraint Networks.
105-109
- Alan Garvey, Craig Cornelius, Barbara Hayes-Roth:
Computational Costs versus Benefits of Control Reasoning.
110-115
- Raymond D. Gumb:
Filming a Terrain under Uncertainty Using Temporal and Probahilistic Reasoning.
116-120
- David Heckerman, Eric Horvitz:
On the Expressiveness of Rule-based Systems for Reasoning with Uncertainty.
121-126
- Van E. Kelly, Uwe Nonnenmann:
Inferring Formal Software Specifications from Episodic Descriptions.
127-132
- Richard E. Korf:
Real-Time Heuristic Search: First Results.
133-138
- Fangzhen Lin:
Reasoning in the Presence of Inconsistency.
139-143
- Peiya Liu, Ruey-Juin Chang:
A New Structural Induction Scheme for Proving Properties of Mutually Recursive Concepts.
144-148
- Robert McCartney:
Synthesizing Algorithms with Performance Constraints.
149-154
- Zohar Manna, Richard J. Waldinger:
The Deductive Synthesis of Imperative LISP Programs.
155-160
- Neil V. Murray, Erik Rosenthal:
Path Dissolution: A Strongly Complete Rule of Inference.
161-166
- Charles J. Petrie:
Revised Dependencydirected Backtracking for Default Reasoning.
167-172
- Gregory M. Provan:
Efficiency Analysis of Multiple-Context TMSs in Scene Representation.
173-177
- V. Nageshwara Rao, Vipin Kumar, K. Ramesh:
A Parallel Implementation of Iterative-Deepening-A*.
178-182
- Raymond Reiter, Johan de Kleer:
Foundations of Assumption-based Truth Maintenance Systems: Preliminary Report.
183-189
Planning
Cognitive Modeling
Default Reasoning
Knowledge Representation
Machine Learning & Knowledge Acquisition
- Margaret E. Connell, Paul E. Utgoff:
Learning to Control a Dynamic Physical System.
456-460
- Douglas H. Fisher:
Improving Inference through Conceptual Clustering.
461-465
- David Haussler:
Learning Conjunctive Concepts in Structural Domains.
466-470
- Max Henrion, Daniel R. Cooley:
An Experimental Comparison of Knowledge Engineering for Expert Systems and for Decision Analysis.
471-476
- Smadar T. Kedar-Cabelli:
Formulating Concepts According to Purpose.
477-481
- Richard M. Keller:
Defining Operationality for Explanation-based Learning.
482-487
- Georg Klinker, Casey Boyd, Serge Genetet, John P. McDermott:
A KNACK for Knowledge Acquisition.
488-493
- Armand Prieditis, Jack Mostow:
PROLEARN: Towards a Prolog Interpreter that Learns.
494-498
- Paul S. Rosenbloom, John E. Laird, Allen Newell:
Knowledge Level Learning in Soar.
499-504
- Stuart J. Russell, Benjamin N. Grosof:
A Declarative Approach to Bias in Concept Learning.
505-510
- Jeffrey C. Schlimmer:
Learning and Representation Change.
511-515
- Jude W. Shavlik, Gerald DeJong:
BAGGER: An EBL System that Extends and Generalizes Explanations.
516-520
- Sholom M. Weiss, Robert S. Galen, Prasad Tadepalli:
Optimizing the Predictive Value of Diagnostic Decision Rules.
521-527
Natural Language
Engineering Problem Solving
Robotics
Vision
- John L. Barron, Allan D. Jepson, John K. Tsotsos:
The Sensitivity of Motion and Structure Computations.
700-705
- Pascal Fua, Andrew J. Hanson:
Using Generic Geometric Models for Intelligent Shape Extraction.
706-711
- Andres Huertas, William Cole, Ramakant Nevatia:
Detecting Runways in Aerial Images.
712-717
- Jonathan J. Hull:
Hypothesis Testing in a Computational Theory of Visual Word Recognition.
718-722
- Mark L. Moerdler, John R. Kender:
An Integrated System that Unifies Multiple Shape from Texture Algorithms.
723-727
- K. Prasdny:
Similitude-Invariant Pattern Recognition Using Parallel Distributed Processing.
728-732
- Franc Solina, Ruzena Bajcsy:
Range Image Interpretation of Mail Pieces with Superquadrics.
733-737
- Minas E. Spetsakis, Yiannis Aloimonos:
Closed Form Solution to the Structure from Motion Problem from Line Correspondences.
738-743
- Muralidhara Subbarao:
Bounds on Translational and Angular Velocity Components from First Order Derivatives of Image Flow.
744-748
- Richard Szeliski:
Regularization Uses Fractal Priors.
749-754
- Demetri Terzopoulos, Andrew P. Witkin, Michael Kass:
Energy Constraints on Deformable Models: Recovering Shape and Non-Rigid Motion.
755-760
- William B. Thompson, Michael T. Checky, William Kaemmerer:
Shadow Stereo-Locating Object Boundaries Using Shadows.
761-766
- Deborah Walters, Ganapathy Krishnan:
Perceptual Significance Hierarchy: A Computer Vision Theory for Color Separation.
767-771
- William M. Wells III:
Visual Estimation of 3-D Line Segments from Motion - A Mobile Robot Vision System.
772-777
Expert Systems
- B. Chandrasekaran, William F. Punch III:
Data Validation during Diagnosis: A Step beyond Traditional Sensor Validation.
778-782
- Paul R. Cohen, Michael Greenberg, Jefferson DeLisio:
MU: A Development Environment for Prospective Reasoning Systems.
783-788
- Keith L. Downing:
Diagnostic Improvement through Qualitative Sensitivity Analysis and Aggregation.
789-793
- O. Eliyahu, L. Zaidenberg, Moshe Ben-Bassat:
CAMEX - An Expert System for Process Planning on CNC Machines.
794-798
- Robert J. Hall, Richard H. Lathrop, Robert S. Kirk:
A Multiple Representation Approach to Understanding the Time Behavior of Digital Circuits.
799-803
- H. Craig Howard, Daniel R. Rehak:
KADBASE - A Prototype Expert System-Database Interface for Integrated CAE Environments.
804-808
- William Kaemmerer, James R. Allard:
An Automated Reasoning Technique for Providing Moment-by-Moment Advice Concerning the Operation of a Process.
809-813
- Gary S. Kahn, Al Kepner, Jeff Pepper:
TEST: A Model-driven Application Shell.
814-818
- Sharon J. Laskowski, Emily J. Hofmann:
Script-based Reasoning for Situation Monitoring.
819-823
- Elliot Soloway, Judy Bachant, Keith Jensen:
Assessing the Maintainability of XCON-in-RIME: Coping with the Problems of a VERY Large Rule-Base.
824-829
- Louis I. Steinberg:
Design as Refinement Plus Constraint Propagation: The VEXED Experience.
830-835
Copyright © Sun Mar 14 22:54:07 2010
by Michael Ley (ley@uni-trier.de)
