• Skip to main content
  • Skip to primary sidebar
AAAI

AAAI

Association for the Advancement of Artificial Intelligence

    • AAAI

      AAAI

      Association for the Advancement of Artificial Intelligence

  • About AAAIAbout AAAI
    • News
    • Officers and Committees
    • Staff
    • Bylaws
    • Awards
      • Fellows Program
      • Classic Paper Award
      • Dissertation Award
      • Distinguished Service Award
      • Allen Newell Award
      • Outstanding Paper Award
      • AI for Humanity Award
      • Feigenbaum Prize
      • Patrick Henry Winston Outstanding Educator Award
      • Engelmore Award
      • AAAI ISEF Awards
      • Senior Member Status
      • Conference Awards
    • Partnerships
    • Resources
    • Mailing Lists
    • Past Presidential Addresses
    • AAAI 2025 Presidential Panel on the Future of AI Research
    • Presidential Panel on Long-Term AI Futures
    • Past Policy Reports
      • The Role of Intelligent Systems in the National Information Infrastructure (1995)
      • A Report to ARPA on Twenty-First Century Intelligent Systems (1994)
    • Logos
  • aaai-icon_ethics-diversity-line-yellowEthics & Diversity
  • Conference talk bubbleConferences & Symposia
    • AAAI Conference
    • AIES AAAI/ACM
    • AIIDE
    • EAAI
    • HCOMP
    • IAAI
    • ICWSM
    • Spring Symposia
    • Summer Symposia
    • Fall Symposia
    • Code of Conduct for Conferences and Events
  • PublicationsPublications
    • AI Magazine
    • Conference Proceedings
    • AAAI Publication Policies & Guidelines
    • Request to Reproduce Copyrighted Materials
    • Contribute
    • Order Proceedings
  • aaai-icon_ai-magazine-line-yellowAI Magazine
  • MembershipMembership
    • Member Login
    • Chapters

  • Career CenterAI Jobs
  • aaai-icon_ai-topics-line-yellowAITopics
  • aaai-icon_contact-line-yellowContact

  • Twitter
  • Facebook
  • LinkedIn
Home / Proceedings / Proceedings of the AAAI Conference on Artificial Intelligence, 5 /

Engineering

AI and Education

  • Teaching a Complex Industrial Process

    Beverly Woolf, Darrell Blegen, Johan Jansen, Arie Verloop

    722

    PDF

AI Language and Architectures

  • The Butterfly(TM) Lisp System

    Seth Steinberg, Don Allen, Laura Bagnall, Curtis Scott

    730

    PDF
  • CIS: A Massively Concurrent Rule-Based System

    Guy E. Blelloch

    735

    PDF
  • A Software and Hardware Environment for Developing AI Applications on Parallel Processors

    R. Bisiani

    742

    PDF
  • Connection Machine Stereomatching

    Michael Drumheller

    748

    PDF
  • Merging Objects and Logic Programming: Relational Semantics

    Herve Gallaire

    754

    PDF
  • Domains in Logic Programming

    P. Van Hentenryck, M. Dincbas

    759

    PDF
  • Comments on Kornfeld’s Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search Strategy

    E. W. Elcock, O. Hoddinott

    766

    PDF

Applications

  • Design and Experimentation of an Expert System for Programming In-the-Large

    Giovanni Guida, Marco Guida, Sergio Gusmeroli, Marco Somalvico

    1155

    PDF
  • Integration of Multiple Knowledge Sources in ALADIN: An Alloy Design System

    M. D. Rychener, I. Hulthage, M. S. Fox, M. L. Farinacci

    878

    PDF
  • Artificial Intelligence and Design: A Mechanical Engineering View

    John R. Dixon

    872

    PDF
  • Knowledge Engineering Issues in VLSI Synthesis

    W. H. Wolf, T. J. Kowalski, M. C. McFarland

    866

    PDF
  • A Knowledge-Based Framework for Design

    Sanjay Mittal, Agustin Araya

    856

    PDF
  • SCAT: An Automatic-Programming Tool for Telecommunications Software

    S. Barra, O. Ghisio, F. Manucci

    831

    PDF
  • System Integration of Knowledge-Based Maintenance Aids

    Christopher A. Powell, Cynthia K. Pickering, Keith T. Wescourt

    851

    PDF
  • StarPlan II: Evolution of an Expert System

    Ronald W. Siemens, Marilyn Golden, Jay C. Ferguson

    844

    PDF
  • PIES: An Engineers Do-lt-Yourself Knowledge System for Interpretation of Parametric Test Data

    Jeff Yung-Choa Pan, Jay M. Tenenbaum

    836

    PDF
  • Saturn: An Automatic Test Generation System for Digital Circuits

    Narinder Singh

    778

    PDF
  • A Graph-Oriented Knowledge Representation and Unification Technique for Automatically Selecting and Invoking Software Functions

    William F. Kaemmerer, James A. Larson

    825

    PDF
  • Designing for Manufacturability in Riveted Joints

    A. R. Kilhoffer, K. G. Kempf

    820

    PDF
  • Application of Knowledge Based Systems Technology to Triple Quadrupole Mass Spectrometry

    Hal Brand, Carla Wong

    812

    PDF
  • Plan Recognition for Airborne Tactical Decision Making

    Jerome Azarewicz, Glenn Fala, Ralph Fink, Christof Heithecker

    805

    PDF
  • Knowledge-Based Simulation of a Glass Annealing Process: An AI Application in the Glass Industry

    Richard A. Herrod, Jeff Rickel

    800

    PDF
  • Qualitative Simulation of Semiconductor Fabrication

    John Mohammed, Reid Simmons

    795

    PDF
  • A Rule-Based System for Document Understanding

    Debashish Niyogi, Sargur N. Srihari

    789

    PDF
  • An Expert System for Chorale Harmonization

    Kemal Ebcioglu

    784

    PDF

Automated Reasoning

  • Generating Tests by Exploiting Designed Behavior

    Mark Harper Shirley

    884

    PDF
  • Evidential Reasoning with Temporal Aspects

    Thomas C. Fall

    891

    PDF
  • A Framework for Evidential-Reasoning Systems

    John D. Lowrance, Thomas D. Garvey, Thomas M. Strat

    896

    PDF
  • PROTEAN: Deriving Protein Structure from Constraints

    Barbara Hayes-Roth, Bruce Buchanan, Olivier Lichtarge, Mike Hewitt, Russ Altman, James Brinkley, Craig Cornelius, Bruce Duncan, Oleg Jardetzky

    904

    PDF
  • Back to Backtracking: Controlling the ATMS

    Johan de Kleer, Brian Williams

    910

    PDF
  • Knowledge-Based Validity Maintenance for Production Systems

    Philip R. Schaefer, Isil H. Bozma, Randall D. Beer

    918

    PDF
  • A Parallel Self-Modifying Default Reasoning System

    Jack Minker, Donald Perlis, Krishnan Subramanian

    923

    PDF
  • Towards Explicit Integration of Knowledge in Expert Systems: An Analysis of MYClN’s Therapy Selection Algorithm

    Jack Mostow, William Swartout

    928

    PDF
  • The Shifting Terminological Space: An Impediment to Evolvability

    William Swartout, Robert Neches

    936

    PDF
  • Using Qualitative Reasoning to Understand Financial Arithmetic

    Chidanand Apte, SeJune Hong

    942

    PDF

Knowledge Acquisition

  • MOLE: A Knowledge Acquisition Tool that Uses its Head

    Larry Eshelman, John McDermott

    950

    PDF
  • Problem Features that Influence the Design of Expert Systems

    Paul J. Kline, Steven B. Dolins

    956

    PDF
  • Knowledge Level Engineering: Ontological Analysis

    James H. Alexander, Michael J. Freiling, Sheryl J. Shulman, Jeffery L. Staley, Steven Rehfuss, Steven L. Messick

    963

    PDF
  • Framework for Prototyping Expert Systems for Financial Applications

    Jacob Y. Friedman, Atul Jain

    969

    PDF

Knowledge Representation

  • A Knowledge Representation Technique for Systems Dealing with Hardware Configuration

    Jeff Pierick

    991

    PDF
  • AGNESS: A Generalized Network-based Expert System Shell

    James Slagle, Michael Wick, Marius Poliac

    996

    PDF
  • SYNTEL(TM): Knowledge Programming Using Functional Representations

    Rene Reboh, Tore Risch

    1003

    PDF
  • GBB: A Generic Blackboard Development System

    Daniel D. Corkill, Kevin Q. Gallagher, Kelly F, Murray

    1008

    PDF
  • ISCS-A Tool Kit for Constructing Knowledge-based System Configurators

    Harry Wu, Hon Wai Chun, Alejandro Mimo

    1015

    PDF
  • Recent Developments in NIKL

    Thomas S. Kaczmarek, Raymond Bates, Gabriel Robins

    978

    PDF
  • A Hybrid Structured Object and Constraint Representation Language

    David R. Harris

    986

    PDF

Learning

  • A System Which Uses Examples to Learn VLSI Structure Manipulation

    Richard H. Lathrop, Robert S. Kirk

    1024

    PDF
  • Refining the Knowledge Base of a Diagnostic Expert System: An Application of Failure-Driven Learning

    Michael Pazzani

    1029

    PDF
  • Learning Arithmetic Problem Solver

    Masamichi Shimura, Seiichiro Sakurai

    1036

    PDF
  • The Multi-Purpose Incremental Learning System AQ15 and Its Testing Application to Three Medical Domains

    Ryszard Michalski, Igor Mozetic, Jiarong Hong, Nada Lavrac

    1041

    PDF

Natural Language

  • Restricting Logic Grammars

    Edward P. Stabler

    1048

    PDF
  • A Parser for Portable NL Interfaces Using Graph-Unification-Based Grammars

    Kent Wittenburg

    1053

    PDF
  • A Chinese Natural Language Processing System Based Upon the Theory of Empty Categories

    Long Ji Lin, Lin-Shan Lee, James Huang, K. J. Chen

    1059

    PDF
  • Adapting MUMBLE: Experience with Natural Language Generation

    Robert Rubinoff

    1063

    PDF
  • Generating Medical Case Reports with the Linguistic String Parser

    Ping-Yang Li, Martha Evens, Daniel Hier

    1069

    PDF
  • A Relational Representation of Modification

    Samuel Bayer

    1074

    PDF
  • Categorical Disambiguation

    Gavan Duffy

    1079

    PDF
  • Focusing and Reference Resolution in PUNDIT

    Deborah A, Dahl

    1083

    PDF
  • ATRANS Automatic Processing of Money Transfer Messages

    Steven Lytinen, Anatole Gershman

    1089

    PDF

Robotics

  • Robot Navigation in Unknown Terrains of Convex Polygonal Obstacles Using Learned Visibility Graphs

    B. John Oommen, S. S. Iyengar, Nageswara S. V. Rao, R. L. Kashyap

    1101

    PDF
  • Planning Sensorless Robot Manipulation of Sliding Objects

    M. A. Peshkin, A. C. Sanderson

    1107

    PDF
  • And/Or Graph Representation of Assembly Plans

    Luiz Homem de Mello, A. C. Sanderson

    1113

    PDF
  • A Mobile Robot with Onboard Parallel Processor and Large Workspace Arm

    Rodney A. Brooks, Jon Connell, Anita Flynn

    1096

    PDF

Vision and Signal Understanding

  • Noise-Tolerant Range Analysis for Autonomous Navigation

    Aviv Bergman, Cregg K. Cowan

    1122

    PDF
  • A Real-Time Road Following and Road Junction Detection Vision System for Autonomous Vehicles

    Darwin Kuan, Gary Phipps, A-Chuan Hsueh

    1127

    PDF
  • Object Recognition in Structured and Random Environments: Locating Address Blocks on Mail Pieces

    Ching-Huei Wang, Sargur Srihari

    1133

    PDF
  • A Signal-Symbol Approach to Change Detection

    B. G. Lee, V. T. Tom, M. J. Carlotto

    1138

    PDF

Primary Sidebar