Conferences in DBLP
Beverly Park Woolf , Darrell Blegen , Johan Jansen , Arie Verloop Teaching a Complex Industrial Process. [Citation Graph (1, 0)][DBLP ] Conf ] Seth A. Steinberg , Donald C. Allen , Laura Bagnall , Curtis Scott The ButterflyTM Lisp System. [Citation Graph (0, 0)][DBLP ] Conf ] Guy E. Blelloch CIS: A Massively Concurrent Rule-Based System. [Citation Graph (1, 0)][DBLP ] Conf ] Roberto Bisiani A Software and Hardware Environment for Developing AI Applications on Parallel Processors. [Citation Graph (1, 0)][DBLP ] Conf ] Michael Drumheller Connection Machine Stereomatching. [Citation Graph (0, 0)][DBLP ] Conf ] Hervé Gallaire Merging Objects and Logic Programming: Relational Semantics. [Citation Graph (2, 0)][DBLP ] Conf ] Pascal Van Hentenryck , Mehmet Dincbas Domains in Logic Programming. [Citation Graph (1, 0)][DBLP ] Conf ] E. W. Elcock , P. Hoddinott Comments on Kornfeld's Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search Strategy. [Citation Graph (0, 0)][DBLP ] Conf ] Narinder Singh Saturn: An Automatic Test Generation System for Digital Circuits. [Citation Graph (0, 0)][DBLP ] Conf ] Kemal Ebcioglu An Expert System for Chorale Harmonization. [Citation Graph (0, 0)][DBLP ] Conf ] Debashish Niyogi , Sargur N. Srihari A Rule-Based System for Document Understanding. [Citation Graph (1, 0)][DBLP ] Conf ] John Mohammed , Reid G. Simmons Qualitative Simulation of Semiconductor Fabrication. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Herrod , Jeff Rickel Knowledge-Based Simulation of a Glass Annealing Process: An AI Application in the Glass Industry. [Citation Graph (0, 0)][DBLP ] Conf ] Jerome Azarewicz , Glenn Fala , Ralph Fink , Christof Heithecker Plan Recognition for Airborne Tactical Decision Making. [Citation Graph (0, 0)][DBLP ] Conf ] Hal Brand , Carla Wong Application of Knowledge Based Systems Technology to Triple Quadrupole Mass Spectrometry. [Citation Graph (0, 0)][DBLP ] Conf ] A. R. Kilhoffer , Karl G. Kempf Designing for Manufacturability in Riveted Joints. [Citation Graph (0, 0)][DBLP ] Conf ] William Kaemmerer , James Larson A Graph-Oriented Knowledge Representation and Unification Technique for Automatically Selecting and Invoking Software Functions. [Citation Graph (1, 0)][DBLP ] Conf ] S. Barra , O. Ghisio , F. Manucci SCAT: An Automatic-Programming Tool for Telecommunications Software. [Citation Graph (0, 0)][DBLP ] Conf ] Jeff Yung-Choa Pan , Jay M. Tenenbaum PIES: An Engineers Do-lt-Yourself Knowledge System for Interpretation of Parametric Test Data. [Citation Graph (0, 0)][DBLP ] Conf ] Ronald Siemmens , Marilyn Golden , Jay C. Ferguson StarPlan II: Evolution of an Expert System. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher Powell , Cynthia Pickering , Keith Wescourt System Integration of Knowledge-Based Maintenance Aids. [Citation Graph (0, 0)][DBLP ] Conf ] Sanjay Mittal , Agustin A. Araya A Knowledge-Based Framework for Design. [Citation Graph (1, 0)][DBLP ] Conf ] W. H. Wolf , Thaddeus J. Kowalski , Michael C. McFarland Knowledge Engineering Issues in VLSI Synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] John Dixon Artificial Intelligence and Design: A Mechanical Engineering View. [Citation Graph (0, 0)][DBLP ] Conf ] Michael D. Rychener , Ingemar A. E. Hulthage , Mark S. Fox , Martha L. Farinacci Integration of Multiple Knowledge Sources in ALADIN: An Alloy Design System. [Citation Graph (0, 0)][DBLP ] Conf ] Mark Harper Shirley Generating Tests by Exploiting Designed Behavior. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Fall Evidential Reasoning with Temporal Aspects. [Citation Graph (0, 0)][DBLP ] Conf ] John D. Lowrance , Thomas D. Garvey , Thomas M. Strat A Framework for Evidential-Reasoning Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara Hayes-Roth , Bruce G. Buchanan , Olivier Lichtarge , Mike Hewitt , Russ B. Altman , James F. Brinkley , Craig Cornelius , Bruce Dunan , Oleg Jardetzky PROTEAN: Deriving Protein Structure from Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Johan de Kleer , Brian C. Williams Back to Backtracking: Controlling the ATMS. [Citation Graph (0, 0)][DBLP ] Conf ] Philip Schaefer , H. Isil Bozma , Randall D. Beer Knowledge-Based Validity Maintenance for Production Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Jack Minker , Donald Perlis , Krishnan Subramanian A Parallel Self-Modifying Default Reasoning System. [Citation Graph (0, 0)][DBLP ] Conf ] Jack Mostow , William R. Swartout Towards Explicit Integration of Knowledge in Expert Systems: An Analysis of MYCIN's Therapy Selection Algorithm. [Citation Graph (0, 0)][DBLP ] Conf ] William R. Swartout , Robert Neches The Shifting Terminological Space: An Impediment to Evolvability. [Citation Graph (1, 0)][DBLP ] Conf ] Chidanand Apté , Se June Hong Using Qualitative Reasoning to Understand Financial Arithmetic. [Citation Graph (1, 0)][DBLP ] Conf ] Larry J. Eshelman , John P. McDermott MOLE: A Knowledge Acquisition Tool that Uses its Head. [Citation Graph (0, 0)][DBLP ] Conf ] Paul Kline , Steven Dolins Problem Features that Influence the Design of Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] James H. Alexander , Michael J. Freiling , Sheryl Shulman , Jeffery Staley , Steven Rehfuss , Steven Messick Knowledge Level Engineering Ontological Analysis. [Citation Graph (1, 0)][DBLP ] Conf ] Jacob Friedman , Atul Jain Framework for Prototyping Expert Systems for Financial Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Kaczmarek , Raymond Bates , Gabriel Robins Recent Developments in NIKL. [Citation Graph (5, 0)][DBLP ] Conf ] David Harris A Hybrid Structured Object and Constraint Representation Language. [Citation Graph (0, 0)][DBLP ] Conf ] Jeff Pierick A Knowledge Representation Technique for Systems Dealing with Hardware Configuration. [Citation Graph (0, 0)][DBLP ] Conf ] James R. Slagle , Michael R. Wick , Marius O. Poliac AGNESS: A Generalized Network-based Expert System Shell. [Citation Graph (0, 0)][DBLP ] Conf ] René Reboh , Tore Risch SYNTELTM : Knowledge Programming Using Functional Representations. [Citation Graph (1, 0)][DBLP ] Conf ] Daniel D. Corkill , Kevin Q. Gallagher , Kelly Murray GBB: A Generic Blackboard Development System. [Citation Graph (2, 0)][DBLP ] Conf ] Harry Wu , Hon Wai Chun , Alejandro Mimo ISCS-A Tool Kit for Constructing Knowledge-based System Configurators. [Citation Graph (0, 0)][DBLP ] Conf ] Richard H. Lathrop , Robert S. Kirk A System Which Uses Examples to Learn VLSI Structure Manipulations. [Citation Graph (0, 0)][DBLP ] Conf ] Michael J. Pazzani Refining the Knowledge Base of a Diagnostic Expert System: An Application of Failure-Driven Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Masamichi Shimura , Seiichiro Sakurai Learning Arithmetic Problem Solver. [Citation Graph (0, 0)][DBLP ] Conf ] Ryszard S. Michalski , Igor Mozetic , Jiarong Hong , Nada Lavrac The Multi-Purpose Incremental Learning System AQ15 and Its Testing Application to Three Medical Domains. [Citation Graph (4, 0)][DBLP ] Conf ] Edward P. Stabler Jr. Restricting Logic Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Kent Wittenburg A Parser for Portable NL Interfaces Using Graph-Unification-Based Grammars. [Citation Graph (0, 0)][DBLP ] Conf ] Long Ji Lin , Lin-Shan Lee , James Huang , Keh-Jiann Chen A Chinese Natural Language Processing System Based Upon the Theory of Empty Categories. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Rubinoff Adapting MUMBLE: Experience with Natural Language Generation. [Citation Graph (0, 0)][DBLP ] Conf ] Ping-Yang Li , Martha W. Evens , Daniel B. Hier Generating Medical Case Reports with the Linguistic String Parser. [Citation Graph (0, 0)][DBLP ] Conf ] Samuel Bayer A Relational Representation of Modification. [Citation Graph (0, 0)][DBLP ] Conf ] Gavan Duffy Categorical Disambiguation. [Citation Graph (0, 0)][DBLP ] Conf ] Deborah A. Dahl Focusing and Reference Resolution in PUNDIT. [Citation Graph (0, 0)][DBLP ] Conf ] Steven L. Lytinen , Anatole Gershman ATRANS Automatic Processing of Money Transfer Messages. [Citation Graph (0, 0)][DBLP ] Conf ] Rodney A. Brooks , Jon Connell , Anita Flynn A Mobile Robot with Onboard Parallel Processor and Large Workspace Arm. [Citation Graph (0, 0)][DBLP ] Conf ] B. John Oommen , S. Sitharama Iyengar , Nageswara S. V. Rao , Rangasami L. Kashyap Robot Navigation in Unknown Terrains of Convex Polygonal Obstacles Using Learned Visibility Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Michael A. Peshkin , Arthur C. Sanderson Planning Sensorless Robot Manipulation of Sliding Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Luiz Homem de Mello , Arthur C. Sanderson And/Or Graph Representation of Assembly Plans. [Citation Graph (0, 0)][DBLP ] Conf ] Aviv Bergman , Gregg Cowan Noise-Tolerant Range Analysis for Autonomous Navigation. [Citation Graph (0, 0)][DBLP ] Conf ] Darwin T. Kuan , Gary Phipps , A-Chuan Hsueh A Real-Time Road Following and Road Junction Detection Vision System for Autonomous Vehicles. [Citation Graph (0, 0)][DBLP ] Conf ] Ching-Huei Wang , Sargur N. Srihari Object Recognition in Structured and Random Environments: Locating Address Blocks on Mail Pieces. [Citation Graph (0, 0)][DBLP ] Conf ] B. G. Lee , V. T. Tom , Mark J. Carlotto A Signal-Symbol Approach to Change Detection. [Citation Graph (0, 0)][DBLP ] Conf ] Lindley Darden Invited Talk: Viewing History of Science as Compiled Hindsight. [Citation Graph (0, 0)][DBLP ] Conf ] Gary G. Hendrix Invited Talk: What's Practical When in Natural Language Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Drew V. McDermott , Geoffrey E. Hinton Learning in Massively Parallel Nets (Panel). [Citation Graph (0, 0)][DBLP ] Conf ] Patrick H. Winston President's Panel: Past Present and Future Presidents Look at the Past Present and Future. [Citation Graph (0, 0)][DBLP ] Conf ] Elliot Soloway , John Seely Brown , Andy Molner , Lauren Resnick , Roger C. Schank Panel: AI and Education. [Citation Graph (0, 0)][DBLP ] Conf ] Janice S. Aikins , Frederick Hayes-Roth , John P. McDermott , Herbert Schorr , Reid G. Smith Panel: Directions for Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Michael R. Fehling , Malcolm Acock , James F. Allen , Michael P. Georgeff , Victor R. Lesser , Robert C. Moore Panel: Real-Time Performance in Problem Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Peter E. Hart , Norton Greenfeld , Walter Reitman , Chuck Williams Panel: Financial Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Friedland , Brian P. McCune , Edward H. Shortliffe Panel: Are AI Systems Ready to Be Trusted in Critical Applications? (Will They Ever Be?). [Citation Graph (0, 0)][DBLP ] Conf ] 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? [Citation Graph (0, 0)][DBLP ] Conf ] 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? [Citation Graph (0, 0)][DBLP ] Conf ] Giovanni Guida , Marco Guida , Sergio Gusmeroli , Marco Somalvico Design and Experimentation of an Expert System for Programming In-the-Large. [Citation Graph (0, 0)][DBLP ] Conf ] 