5. AAAI 1986:
Philadelphia,
PA
Tom Kehler, Stan J. Rosenschein (Eds.):
Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, PA, August 11-15, 1986. Volume 2: Engineering.
Morgan Kaufmann 1986 
AI and Education
AI Language and Architectures
Applications
- Narinder Singh:
Saturn: An Automatic Test Generation System for Digital Circuits.
778-783
- Kemal Ebcioglu:
An Expert System for Chorale Harmonization.
784-788
- Debashish Niyogi, Sargur N. Srihari:
A Rule-Based System for Document Understanding.
789-793
- John Mohammed, Reid G. Simmons:
Qualitative Simulation of Semiconductor Fabrication.
794-799
- Richard Herrod, Jeff Rickel:
Knowledge-Based Simulation of a Glass Annealing Process: An AI Application in the Glass Industry.
800-804
- Jerome Azarewicz, Glenn Fala, Ralph Fink, Christof Heithecker:
Plan Recognition for Airborne Tactical Decision Making.
805-811
- Hal Brand, Carla Wong:
Application of Knowledge Based Systems Technology to Triple Quadrupole Mass Spectrometry.
812-819
- A. R. Kilhoffer, Karl G. Kempf:
Designing for Manufacturability in Riveted Joints.
820-824
- Giovanni Guida, Marco Guida, Sergio Gusmeroli, Marco Somalvico:
Design and Experimentation of an Expert System for Programming In-the-Large.
1155-
- William Kaemmerer, James Larson:
A Graph-Oriented Knowledge Representation and Unification Technique for Automatically Selecting and Invoking Software Functions.
825-830
- S. Barra, O. Ghisio, F. Manucci:
SCAT: An Automatic-Programming Tool for Telecommunications Software.
831-835
- Jeff Yung-Choa Pan, Jay M. Tenenbaum:
PIES: An Engineers Do-lt-Yourself Knowledge System for Interpretation of Parametric Test Data.
843
- Ronald Siemmens, Marilyn Golden, Jay C. Ferguson:
StarPlan II: Evolution of an Expert System.
844-850
- Christopher Powell, Cynthia Pickering, Keith Wescourt:
System Integration of Knowledge-Based Maintenance Aids.
851-855
- Sanjay Mittal, Agustin A. Araya:
A Knowledge-Based Framework for Design.
856-865
- Wayne Hendrix Wolf, Thaddeus J. Kowalski, Michael C. McFarland:
Knowledge Engineering Issues in VLSI Synthesis.
866-871
- John Dixon:
Artificial Intelligence and Design: A Mechanical Engineering View.
872-871
- 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
Automated Reasoning
- Mark Harper Shirley:
Generating Tests by Exploiting Designed Behavior.
884-890
- Thomas Fall:
Evidential Reasoning with Temporal Aspects.
891-895
- John D. Lowrance, Thomas D. Garvey, Thomas M. Strat:
A Framework for Evidential-Reasoning Systems.
896-903
- 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
- Johan de Kleer, Brian C. Williams:
Back to Backtracking: Controlling the ATMS.
910-917
- Philip Schaefer, H. Isil Bozma, Randall D. Beer:
Knowledge-Based Validity Maintenance for Production Systems.
918-922
- Jack Minker, Donald Perlis, Krishnan Subramanian:
A Parallel Self-Modifying Default Reasoning System.
923-927
- Jack Mostow, William R. Swartout:
Towards Explicit Integration of Knowledge in Expert Systems: An Analysis of MYCIN's Therapy Selection Algorithm.
928-935
- William R. Swartout, Robert Neches:
The Shifting Terminological Space: An Impediment to Evolvability.
936-941
- Chidanand Apté, Se June Hong:
Using Qualitative Reasoning to Understand Financial Arithmetic.
942-949
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.
- Lindley Darden:
Invited Talk: Viewing History of Science as Compiled Hindsight.
1146-1147
Tomás Lozano-Perez: Invited Talk: The State-of-the-Art in Robotics and Vision.
Daniel G. Bobrow: Invited Talk: Integrated Programming Paradigms.
- Gary G. Hendrix:
Invited Talk: What's Practical When in Natural Language Applications.
1148
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
- Patrick H. Winston:
President's Panel: Past Present and Future Presidents Look at the Past Present and Future.
1150
- Peter Friedland, Brian P. McCune, Edward H. Shortliffe:
Panel: Are AI Systems Ready to Be Trusted in Critical Applications? (Will They Ever Be?).
1150
- Elliot Soloway, John Seely Brown, Andy Molner, Lauren Resnick, Roger C. Schank:
Panel: AI and Education.
1150
- Janice S. Aikins, Frederick Hayes-Roth, John P. McDermott, Herbert Schorr, Reid G. Smith:
Panel: Directions for Expert Systems.
1150
- 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
- Peter E. Hart, Norton Greenfeld, Walter Reitman, Chuck Williams:
Panel: Financial Expert Systems.
1150
- 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
- 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
Last update Tue Feb 14 03:46:52 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
