5. AAAI 1986:
Philadelphia,
PA
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia,
PA, August 11-15, 1986. Morgan Kaufmann, 1986, Two Volumes, Volume 2:
Engineering
AI and Education
AI Language and Architectures
Applications
- Narinder Singh:
Saturn: An Automatic Test Generation System for Digital Circuits.
778-783 BibTeX
- Kemal Ebcioglu:
An Expert System for Chorale Harmonization.
784-788 BibTeX
- Debashish Niyogi, Sargur N. Srihari:
A Rule-Based System for Document Understanding.
789-793 BibTeX
- John Mohammed, Reid G. Simmons:
Qualitative Simulation of Semiconductor Fabrication.
794-799 BibTeX
- Richard Herrod, Jeff Rickel:
Knowledge-Based Simulation of a Glass Annealing Process: An AI Application in the Glass Industry.
800-804 BibTeX
- Jerome Azarewicz, Glenn Fala, Ralph Fink, Christof Heithecker:
Plan Recognition for Airborne Tactical Decision Making.
805-811 BibTeX
- Hal Brand, Carla Wong:
Application of Knowledge Based Systems Technology to Triple Quadrupole Mass Spectrometry.
812-819 BibTeX
- A. R. Kilhoffer, Karl G. Kempf:
Designing for Manufacturability in Riveted Joints.
820-824 BibTeX
- Giovanni Guida, Marco Guida, Sergio Gusmeroli, Marco Somalvico:
Design and Experimentation of an Expert System for Programming In-the-Large.
1155- BibTeX
- William Kaemmerer, James Larson:
A Graph-Oriented Knowledge Representation and Unification Technique for Automatically Selecting and Invoking Software Functions.
825-830 BibTeX
- S. Barra, O. Ghisio, F. Manucci:
SCAT: An Automatic-Programming Tool for Telecommunications Software.
831-835 BibTeX
- Jeff Yung-Choa Pan, Jay M. Tenenbaum:
PIES: An Engineers Do-lt-Yourself Knowledge System for Interpretation of Parametric Test Data.
843 BibTeX
- Ronald Siemmens, Marilyn Golden, Jay C. Ferguson:
StarPlan II: Evolution of an Expert System.
844-850 BibTeX
- Christopher Powell, Cynthia Pickering, Keith Wescourt:
System Integration of Knowledge-Based Maintenance Aids.
851-855 BibTeX
- Sanjay Mittal, Agustin A. Araya:
A Knowledge-Based Framework for Design.
856-865 BibTeX
- W. H. Wolf, Thaddeus J. Kowalski, Michael C. McFarland:
Knowledge Engineering Issues in VLSI Synthesis.
866-871 BibTeX
- John Dixon:
Artificial Intelligence and Design: A Mechanical Engineering View.
872-871 BibTeX
- Michael D. Rychener, Ingemar A. E. Hulthage, Mark S. Fox, Martha L. Farinacci:
Integration of Multiple Knowledge Sources in ALADIN: An Alloy Design System.
878-883 BibTeX
Automated Reasoning
- Mark Harper Shirley:
Generating Tests by Exploiting Designed Behavior.
884-890 BibTeX
- Thomas Fall:
Evidential Reasoning with Temporal Aspects.
891-895 BibTeX
- John D. Lowrance, Thomas D. Garvey, Thomas M. Strat:
A Framework for Evidential-Reasoning Systems.
896-903 BibTeX
- Barbara Hayes-Roth, Bruce G. Buchanan, Olivier Lichtarge, Mike Hewitt, Russ B. Altman, James F. Brinkley, Craig Cornelius, Bruce S. Duncan, Oleg Jardetzky:
PROTEAN: Deriving Protein Structure from Constraints.
904-909 BibTeX
- Johan de Kleer, Brian C. Williams:
Back to Backtracking: Controlling the ATMS.
910-917 BibTeX
- Philip Schaefer, H. Isil Bozma, Randall D. Beer:
Knowledge-Based Validity Maintenance for Production Systems.
918-922 BibTeX
- Jack Minker, Donald Perlis, Krishnan Subramanian:
A Parallel Self-Modifying Default Reasoning System.
923-927 BibTeX
- Jack Mostow, William R. Swartout:
Towards Explicit Integration of Knowledge in Expert Systems: An Analysis of MYCIN's Therapy Selection Algorithm.
928-935 BibTeX
- William R. Swartout, Robert Neches:
The Shifting Terminological Space: An Impediment to Evolvability.
936-941 BibTeX
- Chidanand Apté, Se June Hong:
Using Qualitative Reasoning to Understand Financial Arithmetic.
942-949 BibTeX
Knowledge Acquisition
Knowledge Representation
Learning
Natural Language
Robotics
Vision and Signal Understanding
Invited Talks
Raymond Reiter: Survey: On Default Reasoning.
Barbara J. Grosz, C. Ray Perrault: Survey: Natural Language Communication With Software Systems.
Gerald DeJong: Survey: An Overview of Explanation-Based Learning.
Kenneth D. Forbus: Survey: Qualitative Reasoning: Past Present and Future.
Tomás Lozano-Perez: Invited Talk: The State-of-the-Art in Robotics and Vision.
Daniel G. Bobrow: Invited Talk: Integrated Programming Paradigms.
Bruce G. Buchanan: Invited Talk: What's Doable in Knowledge-Based Systems?
Howard Schrobe: Invited Talk: Symbolic Computing - Where We Are and Where Are Going?
Panels
- Drew V. McDermott, Geoffrey E. Hinton:
Learning in Massively Parallel Nets (Panel).
1149 BibTeX
- Patrick H. Winston:
President's Panel: Past Present and Future Presidents Look at the Past Present and Future.
1150 BibTeX
- Peter Friedland, Brian P. McCune, Edward H. Shortliffe:
Panel: Are AI Systems Ready to Be Trusted in Critical Applications? (Will They Ever Be?).
1150 BibTeX
- Elliot Soloway, John Seely Brown, Andy Molner, Lauren Resnick, Roger C. Schank:
Panel: AI and Education.
1150 BibTeX
- Janice S. Aikins, Frederick Hayes-Roth, John P. McDermott, Herbert Schorr, Reid G. Smith:
Panel: Directions for Expert Systems.
1150 BibTeX
- Michael R. Fehling, Malcolm Acock, James F. Allen, Michael P. Georgeff, Victor R. Lesser, Robert C. Moore:
Panel: Real-Time Performance in Problem Solving.
1150 BibTeX
- Peter E. Hart, Norton Greenfeld, Walter Reitman, Chuck Williams:
Panel: Financial Expert Systems.
1150 BibTeX
- Thomas Kaczmarek, Robert Neches, John Seely Brown, Phil Hayes, Thomas W. Malone, Dic Waters, Robert Wilensky, Mike Williams:
Panel: Where Should the Intelligence in Intelligent Interfaces be Placed?
1151 BibTeX
- Robert Neches, Richard Fikes, Casimir A. Kulikowski, John P. McDermott, Ramesh S. Patil:
Panel: Knowledge Representation Meets Knowledge Acquisition: What Are the Needs and Where Is the Leverage?
1153 BibTeX
Copyright © Sat May 16 22:55:27 2009
by Michael Ley (ley@uni-trier.de)
