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