Stop the war!

Остановите войну!

• solidarity - (ua) - (ru)
• news - (ua) - (ru)
• donate - donate - donate

for scientists:

• ERA4Ukraine
• Assistance in Germany
• Ukrainian Global University
• #ScienceForUkraine

default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches

• 

Venues:

• no matches

• 

Publications:

• no matches

• 

ask others

• Google
• Google Scholar
• Semantic Scholar
• Internet Archive Scholar
• CiteSeerX
• ORCID

Refine list

refinements active!

zoomed in on ?? of ?? records

dismiss all constraints

view refined list in

dblp search

export refined list as

XML

JSON

JSONP

BibTeX

showing all ?? records

• 
  Tom Kehler, Stanley J. Rosenschein:
  Proceedings of the 5th National Conference on Artificial Intelligence. Philadelphia, PA, USA, August 11-15, 1986. Volume 2: Engineering. Morgan Kaufmann 1986

• 
  Beverly Park Woolf, Darrell Blegen, Johan Jansen, Arie Verloop:
  Teaching a Complex Industrial Process. 722-729

• 
  Seth A. Steinberg, Donald C. Allen, Laura Bagnall, Curtis Scott:
  The Butterfly^TM Lisp System. 730-734
• 
  Guy E. Blelloch:
  CIS: A Massively Concurrent Rule-Based System. 735-741
• 
  Roberto Bisiani:
  A Software and Hardware Environment for Developing AI Applications on Parallel Processors. 742-747
• 
  Michael Drumheller:
  Connection Machine Stereomatching. 748-753
• 
  Hervé Gallaire:
  Merging Objects and Logic Programming: Relational Semantics. 754-758
• 
  Pascal Van Hentenryck, Mehmet Dincbas:
  Domains in Logic Programming. 759-765
• 
  Edward W. Elcock, P. Hoddinott:
  Comments on Kornfeld's Equality for Prolog: E-Unification as a Mechanism for Augmenting the Prolog Search Strategy. 766-777

• 
  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 T. 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

• 
  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

• 
  Larry J. Eshelman, John P. McDermott:
  MOLE: A Knowledge Acquisition Tool that Uses its Head. 950-955
• 
  Paul Kline, Steven Dolins:
  Problem Features that Influence the Design of Expert Systems. 956-962
• 
  James H. Alexander, Michael J. Freiling, Sheryl Shulman, Jeffery Staley, Steven Rehfuss, Steven Messick:
  Knowledge Level Engineering Ontological Analysis. 963-968
• 
  Jacob Friedman, Atul Jain:
  Framework for Prototyping Expert Systems for Financial Applications. 969-977

• 
  Thomas Kaczmarek, Raymond Bates, Gabriel Robins:
  Recent Developments in NIKL. 978-985
• 
  David R. Harris:
  A Hybrid Structured Object and Constraint Representation Language. 986-990
• 
  Jeff Pierick:
  A Knowledge Representation Technique for Systems Dealing with Hardware Configuration. 991-995
• 
  James R. Slagle, Michael R. Wick, Marius O. Poliac:
  AGNESS: A Generalized Network-based Expert System Shell. 996-1002
• 
  René Reboh, Tore Risch:
  SYNTEL^TM: Knowledge Programming Using Functional Representations. 1003-1007
• 
  Daniel D. Corkill, Kevin Q. Gallagher, Kelly Murray:
  GBB: A Generic Blackboard Development System. 1008-1014
• 
  Harry Wu, Hon Wai Chun, Alejandro Mimo:
  ISCS-A Tool Kit for Constructing Knowledge-based System Configurators. 1015-1023

• 
  Richard H. Lathrop, Robert S. Kirk:
  A System Which Uses Examples to Learn VLSI Structure Manipulations. 1024-1028
• 
  Michael J. Pazzani:
  Refining the Knowledge Base of a Diagnostic Expert System: An Application of Failure-Driven Learning. 1029-1035
• 
  Masamichi Shimura, Seiichiro Sakurai:
  Learning Arithmetic Problem Solver. 1036-1040
• 
  Ryszard S. Michalski, Igor Mozetic, Jiarong Hong, Nada Lavrac:
  The Multi-Purpose Incremental Learning System AQ15 and Its Testing Application to Three Medical Domains. 1041-1047

• 
  Edward P. Stabler Jr.:
  Restricting Logic Grammars. 1048-1052
• 
  Kent Wittenburg:
  A Parser for Portable NL Interfaces Using Graph-Unification-Based Grammars. 1053-1058
• 
  Long Ji Lin, Lin-Shan Lee, James Huang, Keh-Jiann Chen:
  A Chinese Natural Language Processing System Based Upon the Theory of Empty Categories. 1059-1062
• 
  Robert Rubinoff:
  Adapting MUMBLE: Experience with Natural Language Generation. 1063-1068
• 
  Ping-Yang Li, Martha W. Evens, Daniel B. Hier:
  Generating Medical Case Reports with the Linguistic String Parser. 1069-1073
• 
  Samuel Bayer:
  A Relational Representation of Modification. 1074-1078
• 
  Gavan Duffy:
  Categorical Disambiguation. 1079-1082
• 
  Deborah A. Dahl:
  Focusing and Reference Resolution in PUNDIT. 1083-1088
• 
  Steven L. Lytinen, Anatole Gershman:
  ATRANS Automatic Processing of Money Transfer Messages. 1089-1095

• 
  Rodney A. Brooks, Jon Connell, Anita M. Flynn:
  A Mobile Robot with Onboard Parallel Processor and Large Workspace Arm. 1096-1100
• 
  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. 1101-1106
• 
  Michael A. Peshkin, Arthur C. Sanderson:
  Planning Sensorless Robot Manipulation of Sliding Objects. 1107-1112
• 
  Luiz Homem de Mello, Arthur C. Sanderson:
  And/Or Graph Representation of Assembly Plans. 1113-1121

• 
  Aviv Bergman, Gregg Cowan:
  Noise-Tolerant Range Analysis for Autonomous Navigation. 1122-1126
• 
  Darwin T. Kuan, Gary Phipps, A-Chuan Hsueh:
  A Real-Time Road Following and Road Junction Detection Vision System for Autonomous Vehicles. 1127-1132
• 
  Ching-Huei Wang, Sargur N. Srihari:
  Object Recognition in Structured and Random Environments: Locating Address Blocks on Mail Pieces. 1133-1137
• 
  B. G. Lee, Victor T. Tom, Mark J. Carlotto:
  A Signal-Symbol Approach to Change Detection. 1138-

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?

• 
  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. AAAI 1986: 1150
• 
  Peter Friedland, Brian P. McCune, Edward H. Shortliffe:
  Panel: Are AI Systems Ready to Be Trusted in Critical Applications? (Will They Ever Be?). AAAI 1986: 1150
• 
  Elliot Soloway, John Seely Brown, Andy Molner, Lauren B. Resnick, Roger C. Schank:
  Panel: AI and Education. AAAI 1986: 1150
• 
  Janice S. Aikins, Frederick Hayes-Roth, John P. McDermott, Herbert Schorr, Reid G. Smith:
  Panel: Directions for Expert Systems. AAAI 1986: 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. AAAI 1986: 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

a service of  

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

last updated on 2024-05-06 20:12 CEST by the dblp team

 all metadata released as open data under CC0 1.0 license

see also: Terms of Use | Privacy Policy | Imprint

dblp was originally created in 1993 at:

 

since 2018, dblp has been operated and maintained by:

 

the dblp computer science bibliography is funded and supported by: