| 1981 | 3D Object Representation and Matching with B-Splines and Surface Patches. Bryant W. York, Allen R. Hanson, Edward M. Riseman |
| 1981 | A Belief Representation for Understanding Deception. Gregory B. Taylor, Stephen B. Whitehill |
| 1981 | A Computational Model of Analogical Problem Solving. Jaime G. Carbonell |
| 1981 | A Computer Model of Child Language Acquisition. Mallory Selfridge |
| 1981 | A Design for an Automatic Programming System. Douglas R. Smith |
| 1981 | A Deterministic Analyzer for the Interpretation of Natural Language Commands. Leonardo Lesmo, Daniela Magnani, Pietro Torasso |
| 1981 | A Feature-Based Scene Matcher. Donald B. Gennery |
| 1981 | A Formal Representation for Plans in the Programmers Apprentice. Charles Rich |
| 1981 | A General Semantic Analyser for Data Base Access. Branimir Boguraev, Karen Sparck Jones |
| 1981 | A Knowledge-Based Approach to Language Processing: A Progress Report. Robert Wilensky |
| 1981 | A Knowledge-Based Program Editor. Richard C. Waters |
| 1981 | A Locomotion Control System for Mobile Robots. Jun'ichi Iijima, Yutaka Kanayama, Shin'ichi Yuta |
| 1981 | A Metalanguage Representation of Relational Databases for Deductive Question-Answering Systems. Kurt Konolige |
| 1981 | A New Approach to the Problem of Acquiring Randomly Oriented Workpieces Out of a Bin. Jean-Daniel Boissonnat, F. Germain |
| 1981 | A New Method for Solving Constraint Satisfaction Problems. Raimund Seidel |
| 1981 | A Parallel Computation that Assigns Canonical Object-Based Frames of Reference. Geoffrey E. Hinton |
| 1981 | A Plot Understanding System on Reference to Both Image and Language. Norihiro Abe, Itsuya Soga, Saburo Tsuji |
| 1981 | A Precedence Scheme for Selection and Explanation of Therapies. John K. Kastmer, Sholom M. Weiss |
| 1981 | A Psychologist Views Human Processing: Human Errors and Other Phenomena Suggest Processing Mechanisms. Donald A. Norman |
| 1981 | A RANSAC-Based Approach to Model Fitting and Its Application to Finding Cylinders in Range Data. Robert C. Bolles, Martin A. Fischler |
| 1981 | A Rule-Based Task Generation System. Derek H. Sleeman |
| 1981 | A Set of APL Functions to Play New Eleusis. Michael J. A. Berry |
| 1981 | A Simple Method for Recovering a Relative Depth Map in the Case of a Translating Sensor. K. Prazdny |
| 1981 | A Structural Method of Scene Analysis. Zdenek Zdráhal |
| 1981 | A Theory of Language Acquisition Based on General Learning Principles. John R. Anderson |
| 1981 | APE: An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms. Ulrich Bartels, Walter G. Olthoff, Peter Raulefs |
| 1981 | AUTOPILOT: A Distributed Planner for Air Fleet Control. Perry W. Thorndyke, Dave McArtbur, Stephanie J. Cammarata |
| 1981 | Acquisition of Procedural Knowledge from Domain Experts. Peter Friedland |
| 1981 | Advanced Automaton For Space Missions. Robert A. Freitas Jr., Timothy J. Healy, James E. Long |
| 1981 | Algebraic Approximations. David A. McAllester |
| 1981 | Algebraic Manipulations as a Unification and Matching Strategy for Linear Equations in Signed Binary Trees. Claude Kirchner, Hélène Kirchner, Jean-Pierre Jouannaud |
| 1981 | Algorithms of the Complex Tactile Information Processing. Vladimír Marík |
| 1981 | An Advisory System for Developing Data Representations. Shmuel Katz, Ruth Zimmerman |
| 1981 | An Algorithm that Infers Theories from Facts. Ehud Y. Shapiro |
| 1981 | An Application of AI Techniques to Structuring Objects into an Optimal Conceptual Hierarchy. Ryszard S. Michalski, Robert E. Stepp |
| 1981 | An Examination of Brute Force Intelligence. Hans J. Berliner |
| 1981 | An Improved Filter for Literal Indexing in Resolution Systems. Lawrence J. Henschen, Shamim A. Naqvi |
| 1981 | An Inference Technique for Integrating Knowledge from Disparate Sources. Thomas D. Garvey, John D. Lowrance, Martin A. Fischler |
| 1981 | An Information Presentation System. Frank Zdybel, Norton Greenfeld, Martin D. Yonke, Jeff Gibbons |
| 1981 | An Interval-Based Representation of Temporal Knowledge. James F. Allen |
| 1981 | An Iterative Image Registration Technique with an Application to Stereo Vision. Bruce D. Lucas, Takeo Kanade |
| 1981 | An Object-Oriented Language for Constructing Simulations. David McArthur, Henry Sowizral |
| 1981 | Analogy-Based Acquisition of Utterances Relating to Temporal Aspects. V. Sembugamoorthy |
| 1981 | Anaphora for Limited Domain Systems. Philip J. Hayes |
| 1981 | Application Design: Issues in Expert System Architecture. Harry C. Reinstein, Janice S. Aikins |
| 1981 | Application of Automatic Transformations to Program Verification. Robert Veroff, Lawrence J. Henschen |
| 1981 | Automatic Synthesis of Numerical Computer Programs. Richard H. Brown |
| 1981 | BACON.5: The Discovery of Conservation Laws. Pat Langley, Gary L. Bradshaw, Herbert A. Simon |
| 1981 | BORIS - An In-Dept Understander of Narratives. Michael G. Dyer, Thomas C. Wolf, Martin Korsin |
| 1981 | Beverly Park Woolf, Eric Rubin, Paul Barth: Meno-II: An Intelligent Tutoring System for Novice Programmers. Elliot Soloway |
| 1981 | Branch & Bound Formulation for Sequential and Parallel Game Tree Searching: Preliminary Results. Laveen N. Kanal, Vipin Kumar |
| 1981 | Brand X: LISP Suport for Semantic Networks. Peter Szolovits, William A. Martin |
| 1981 | Building the Inference Component of an Historical Information Retrieval System. Gian Piero Zarri |
| 1981 | Cancellation in a Parallel Semantic Network. Scott E. Fahlman, David S. Touretzky, Walter van Roggen |
| 1981 | Cancelled Due To Lack Of Interest. Michael Lebowitz |
| 1981 | Causal Understanding of Patient Illness in Medical Diagnosis. Ramesh S. Patil, Peter Szolovits, William B. Schwartz |
| 1981 | Character Tracking and the Understanding of Narratives. Brian J. Reiser |
| 1981 | Compound: A Program that Understands Noun Compounds. David B. McDonald |
| 1981 | Computational Methods for a Mathematical Theory of Evidence. Jeffrey A. Barnett |
| 1981 | Computer Vision and Human Perception: An Essay on the Discovery of Constraints. Steven W. Zucker |
| 1981 | Computing Optic Flow. Frank Claser |
| 1981 | Computing a Map from Michi-Annai-Bun or Written Descriptions. Teiji Furugori |
| 1981 | Concept Learning by Experiment. Claude Sammut |
| 1981 | Concept Learning by Structured Examples - An Algebraic Approach. Fritz Wysotzki, Werner Kolbe, Joachim Selbig |
| 1981 | Concurrent LISP on a Multi-Micro-Processor System. Shigeo Sugimoto, Koichi Tabata, Kiyoshi Agusa, Yutaka Ohno |
| 1981 | Consistency and Completeness of OMEGA, a Logic for Knowledge Representation. Giuseppe Attardi, Maria Simi |
| 1981 | Constrained Example Generation: A Testbed for Studying Issues in Learning. Edwina L. Rissland, Elliot Soloway |
| 1981 | Control of Inference: Role of Some Aspects of Discourse Structure-Centering. Aravind K. Joshi, Scott Weinstein |
| 1981 | DART: An Expert System for Computer Fault Diagnosis. James S. Bennett, Clifford R. Hollander |
| 1981 | Decision Trees For Optimizing Pattern - Matching Algorithms in Production Systems. Malik Ghallab |
| 1981 | Decomposition Ordering as a Tool to Prove the Termination of Rewriting Systems. Pierre Lescanne |
| 1981 | Deductive Modeling of Human Cognition. Göran Hagert, Sten-Åke Tärnlund |
| 1981 | Demonstrating PROLOG on APPLE II. Alain Colmerauer, Henry Kanoui, Michel Van Caneghem |
| 1981 | Depth from Edge and Intensity Based Stereo. H. Harlyn Baker, Thomas O. Binford |
| 1981 | Design Characteristics of a Machine Translation System. Margaret King |
| 1981 | Design Concept of Direct-Drive Manipulators Using Rare-Earth DC Torque Motors. Haruhiko Asada, Takeo Kanade |
| 1981 | Design Of A Highly Parallel Visual Recognition System. Daniel Sabbah |
| 1981 | Determining Velocity Map By 3-D Iterative Estimation. Masahiko Yachida |
| 1981 | Developing Microprocessor Based Expert Models for Instrument Interpretation. Sholom M. Weiss, Casimir A. Kulikowski, Robert S. Galen |
| 1981 | Directing And Re-Directing Inference Pursuit: Extra-Textual Influences on Text Interpretation. Richard H. Granger |
| 1981 | Distinctions and Confusions: A Catalogue Raisonne. David J. Israel, Ronald J. Brachman |
| 1981 | Domain Specific Debugging Aids for Novice Programmers. Joachim H. Laubsch, Marc Eisenstadt |
| 1981 | Don't Be Stupid. Dennis F. Kibler, Paul Morris |
| 1981 | Dynamically Quantized Pyramids. Kenneth R. Sloan Jr. |
| 1981 | Dynamically Quantized Spaces for Focusing the Hough Transform. Joseph O'Rourke |
| 1981 | Experiments In Knowledge-Driven Interpretation of Natural Scenes. Terry E. Weymouth |
| 1981 | Explaining and Justifying Expert Consulting Programs. William R. Swartout |
| 1981 | Extended Plausible Inference. Leonard Friedman |
| 1981 | Extending a Knowledge-Based System to Deal with Ad Hoc Constraints. John P. McDermott, Barbara Steele |
| 1981 | Factory Modelling, Simulation, and Scheduling in the Intelligent Management System. Mark S. Fox |
| 1981 | Failure-Driven Reminding for Incremental Learning. Christopher Riesbeck |
| 1981 | Figuring Out What the User Wants: Steps Toward an Automatic Yellow Pages Assistant. Anatole Gershman |
| 1981 | GARI: A Problem Solver That Plans How to Machine Mechanical Parts. Yannick Descotte, Jean-Claude Latombe |
| 1981 | GLP: A General Linguistic Processor. G. Goerx |
| 1981 | Generalizations Based on Explanations. Gerald DeJong |
| 1981 | HPM: A Computational Formalism for Heuristic Procedure Modification. Robert Neches |
| 1981 | Heuristic Search Theory: Survey of Recent Results. Judea Pearl |
| 1981 | Hierarchical Description of Textures. Fumiaki Tomita |
| 1981 | High Level Memory Structures and Text Coherence in Translation. C. J. Yang |
| 1981 | Homogenization: Preparing Equations for Change of Unknown. Alan Bundy, Bernard Silver |
| 1981 | How Expert Should an Expert System Be? Roger T. Hartley |
| 1981 | How to Search Efficiently. Cynthia A. Brown, Paul Walton Purdom Jr. |
| 1981 | IPP Program Description. Michael Lebowitz |
| 1981 | Inductive Learning of Pronunciation Rules by hypothesis Testing and Correction. S. Oakey, R. C. Cawthorn |
| 1981 | Inexact Inference for Rule-Based Damage Assessment of Existing Structures. Mitsuru Ishizuka, King-Sun Fu, James T. P. Yao |
| 1981 | Inferential Region Extraction in TV-Sequences. Bernd Radig |
| 1981 | Integration, Unification, Reconstruction, Modification: An Eternal Parsing Braid. Michael C. Dyer |
| 1981 | Intensity Discontinuity Location to SubPixel Precision. P. J. MacVicar-Whelan, Thomas O. Binford |
| 1981 | Inversion of Applicative Programs. Richard E. Korf |
| 1981 | KEYSIGHT: Computer Vision Inspection of Valve Spring Assemblies on Engine Heads. Walton A. Perkins |
| 1981 | Knowledge Acquisition in the Consul System. David Wilczynski |
| 1981 | Knowledge Representation of Design in Many-Sorted Logic. Zsuzsanna Markusz |
| 1981 | Knowledge Sources In Vision. Steven Rubin |
| 1981 | Knowledge Structure Definition for an Expert System in Primary Medical Care. Werner Horn, Walter Buchstaller, Robert Trappl |
| 1981 | Knowledge-Based Identification of Artery Branches in Cine-Angiograms. Saburo Tsuji, Hidetoshi Nakano |
| 1981 | LOGO as an Information Prosthetic for Communication and Control. Sylvia Weir |
| 1981 | Language Comprehension in a Problem Solver. Douglas Wong |
| 1981 | Large Human-Machine Information Spaces. Chuck Rieger, Richard J. Wood, Elizabeth Allen |
| 1981 | Last Steps Towards an Ultimate PROLOG. Alain Colmerauer, Henry Kanoui, Michel Van Caneghem |
| 1981 | Layered Networks as a Tool for Software Development. Ira P. Goldstein, Daniel G. Bobrow |
| 1981 | Learning (Complex) Structural Descriptions from Examples. Regine Loisel, Yves Kodratoff |
| 1981 | Learning And Abstraction In Simulation. Sarah E. Goldin, Philip Klahr |
| 1981 | Learning Problem-Solving Heuristics Through Practice. Tom M. Mitchell, Paul E. Utgoff, Bernard Nudel, Ranan B. Banerji |
| 1981 | Learning Racquetball by Constrained Example Generation. Leonard P. Wesley |
| 1981 | Learning of Sensory-Motor Schemas in a Mobile Robot. Alan H. Bond, David H. Mott |
| 1981 | MARK I Robot. John K. Dixon, Susan A. Bouchard, William G. Kennedy, James R. Slagle |
| 1981 | MDX and Related Medical Decision-Making Systems. B. Chandrasekaran, Sanjay Mittal, Jack W. Smith |
| 1981 | MUMBLE: A Flexible System for Language Production. David B. McDonald |
| 1981 | Metaphor Interpretation as Selective Inferencing. Jerry R. Hobbs |
| 1981 | Model-Based Three Dimensional Interpretations of Two Dimensional Images. Rodney A. Brooks |
| 1981 | Modeling Informal Debates. Rachel Reichman |
| 1981 | Multi-Processor Rotation and Comparison of Objects. Brian V. Funt |
| 1981 | Multi-Strategy Construction-Specific Parsing for Flexible Data Base Query and Update. Philip J. Hayes, Jaime G. Carbonell |
| 1981 | NEOMYCIN: Reconfiguring a Rule-Based Expert System for Application to Teaching. William J. Clancey, Reed Letsinger |
| 1981 | NON-VON: A Parallel Machine Architecture for Knowledge-Based Information Processing. David Elliot Shaw |
| 1981 | Natural Language Dialogue about Moving Objects in an Automatically Analyzed Traffic Scene. Heinz Marburger, Bernd Neumann, Hans-Joachim Novak |
| 1981 | Natural Language Interaction With Dynamic Knowledge Bases: Monitoring as Response. Eric Mays, Sitaram Lanka, Aravind K. Joshi, Bonnie L. Webber |
| 1981 | ONCOCIN: An Expert System for Oncology Protocol Management. Edward H. Shortliffe, A. Carlisle Scott, Miriam B. Bischoff, A. Bruce Campbell, William van Melle, Charlotte D. Jacobs |
| 1981 | Object Recognition Using Three-Dimensional Information. Masaki Oshima, Yoshiaki Shirai |
| 1981 | Obtaining Surface Orientation from Texels under Perspective Projection. Tu-ichi Ohta, Kiyoshi Maenobu, Toshiyuki Sakai |
| 1981 | Obvious Logical Inferences. Martin Davis |
| 1981 | On 3D Reconstruction from Two Perspective Views. Hans-Hellmut Nagel, Bernd Neumann |
| 1981 | On Interacting Defaults. Raymond Reiter, Giovanni Criscuolo |
| 1981 | On Shapes. Dana H. Ballard, Daniel Sabbah |
| 1981 | On the Definition of Specialization Hierarchies for Procedures. Alexander Borgida |
| 1981 | Opportunistic Processing in Arguments. Rod McGuire, Lawrence Birnbaum, Margot Flowers |
| 1981 | Optic Flow Field Structure And Processing Image Motion. Daryl T. Lawton |
| 1981 | Organization and Retrieval in a Conceptual Memory for Events or CON 54, Where Are You? Janet L. Kolodner |
| 1981 | Overview of a Display-Oriented Editor for INTERLISP. David R. Barstow |
| 1981 | PAPE: An On-Line System for Inferring Procedures from Sets of Their Traces. F.-Y. Villemin |
| 1981 | PARTS INFERENCE: Closed and Semi-Closed Partitioning Graphs. Mary Angela Papalaskaris, Lenhart K. Schubert |
| 1981 | PEARL - A Package for Efficient Access to Representations in LISP. Michael Deering, Joseph Faletti, Robert Wilensky |
| 1981 | Parameter Networks: Towards a Theory of Low-Level Vision. Dana H. Ballard |
| 1981 | Perceptual Problems in Analyzing Industrial Radiographs. Oscar Firschein, Martin A. Fischler |
| 1981 | Physics Problem Solving: ISAAC-II. Gordon S. Novak |
| 1981 | Plan Synthesis: A Logical Perspective. Stanley J. Rosenschein |
| 1981 | Polyhedra of Minimal Area as 3D Object Models. Joseph O'Rourke |
| 1981 | Proceedings of the 7th International Joint Conference on Artificial Intelligence, IJCAI '81, Vancouver, BC, Canada, August 24-28, 1981 Patrick J. Hayes |
| 1981 | Qualitative Reasoning about Physical Processes. Kenneth D. Forbus |
| 1981 | Real-Time Natural Scene Analysis for a Blind Prosthesis. Michael F. Peering, Carter Collins |
| 1981 | Reasoning About Images: Application to Aerial Image Understanding. Peter G. Selfridge, Kenneth R. Sloan Jr. |
| 1981 | Reasoning With Incomplete Knowledge in a Resource-Limited Environment: Integrating Reasoning and Knowledge Acquisition. Mark S. Fox |
| 1981 | Reasoning about Deduction with Unknown Constants. Andrew Eaas |
| 1981 | Recognition of 3-D Objects Using the Extended Gaussian Image. Katsushi Ikeuchi |
| 1981 | Recognizing Intended Meaning and Speakers' Plans. Candace L. Sidner, David J. Israel |
| 1981 | Representation and Inference in the Consul System. William Mark |
| 1981 | Representations for Reasoning about Digital Circuits. Tom M. Mitchell, Louis I. Steinberg, Reid G. Smith, Pat Schooley, Howard Jacobs, Van E. Kelly |
| 1981 | Representing Implicit And Explicit Time Relations In Narrative. Lynette Hirschman, Guy Story |
| 1981 | Rover Visual Obstacle Avoidance. Hans P. Moravec |
| 1981 | STAMMER2: A Rule-Based Application. Robert J. Bechtel |
| 1981 | Search Methods Using Heuristic Strategies. Michael P. Georgeff |
| 1981 | Shape Representation in Parallel Systems. Geoffrey E. Hinton |
| 1981 | Shape from Shading for Surfaces with Texture and Specularity. E. North Coleman Jr., Ramesh C. Jain |
| 1981 | Six Topics in Search of a Parser: An Overview of AI Language Research. Eugene Charniak |
| 1981 | Some Remarks on Heuristic Search Algorithms. László Méro |
| 1981 | Spatial Problems for a Simulated Robot. Richard S. Rosenberg, Peter F. Rowat |
| 1981 | Story Generation After TALE-SPIN. Natlie Dehn |
| 1981 | Strolling Down The Garden Path: Error Prone Tasks in Expert Problem Solving. Paul E. Johnson, William B. Thompson |
| 1981 | Structure from Motion of Rigid and Jointed Objects. Jon A. Webb, Jake K. Aggarwal |
| 1981 | Structuring Domain Knowledge For Visual Perception. Alan K. Mackworth, William S. Havens |
| 1981 | Subsumption And Connection Graphs. Norbert Eisinger |
| 1981 | Summarizing Narratives. Wendy G. Lehnert, John B. Black, Brian J. Reiser |
| 1981 | Symbolic Evaluation of LISP Functions with Side Effects for Verification. Dennis de Champeaux, Jos de Bruin |
| 1981 | Tactile Sensation for Robots. Kenneth J. Overton, Thomas Williams |
| 1981 | Temporal Event Recognition: An Application to Left Ventricular Performance. John K. Tsotsos |
| 1981 | Text Plans and World Plans in Natural Discourse. Jerry R. Hobbs, Michael Agar |
| 1981 | The Conceptual Calculus For Automatic Program Understanding. Daniel Goossens |
| 1981 | The DIPMETER ADVISOR: Interpretation of Geologic Signals. Randall Davis, Howard Austin, Ingrid Carlbom, Bud Frawley, Paul Pruchnik, Rich Sneiderman, J. A. Gilreath |
| 1981 | The Design Of A System For Designing Knowledge Representation Systems. James L. Weiner, Martha Palmer |
| 1981 | The Design and an Example Use of Hearsay-III. Lee D. Erman, Philip London, Stephen Fickas |
| 1981 | The Efficacy of RUE Resolution Experimental Results and Heuristic Theory. Vincent J. Digricoli |
| 1981 | The Framework for a Model of Psychoanalytic Inference. Virginia Teller, Hartvig Dahl |
| 1981 | The Interaction with Incomplete Knowledge Bases: A Formal Treatment. Hector J. Levesque |
| 1981 | The Interpretation of Three-Dimensional Structure from Image Curves. David G. Lowe, Thomas O. Binford |
| 1981 | The Markgraf Karl Refutation Procedure. Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther |
| 1981 | The Model Inference System. Ehud Y. Shapiro |
| 1981 | The Nature of Generalization in Understanding. Michael Lebowitz |
| 1981 | The Need for Referent Identification as a Planned Action. Philip R. Cohen |
| 1981 | The Representation of an Evolving System of Legal Concepts: II. Prototypes and Deformations. L. Thorne McCarty, N. S. Sridharan |
| 1981 | The Role of Roles: Some Aspects of Real World Knowledge Representation. Harald Trost, Ingeborg Steinacker |
| 1981 | The Superiority of Relative Criteria in Partial Matching and Generalization. Paul J. Kline |
| 1981 | The Use of Parallelism to Implement a Heuristic Search. William A. Kornfeld |
| 1981 | Time-Oriented Features for Medical Consultation Systems. Teruo Koyama, Shigekoto Kaihara, Tadatoshi Minamikawa, Toshiaki Kurokawa |
| 1981 | Tinker: Example-Based Programming for Artificial Intelligence. Henry Lieberman |
| 1981 | Toward a Detailed Model of Processing for Language Describing the Physical World. David L. Waltz |
| 1981 | Towards Automating Explanations. Richard E. Cullingford, Myron W. Krueger, Mallory Selfridge, Marie A. Bienkowski |
| 1981 | Triangulation of 3-D Objects. Jean-Daniel Boissonnat, Olivier D. Faugeras |
| 1981 | Tuning of Search of the Problem Space for Geometry Proofs. John R. Anderson |
| 1981 | UNIFORM: A Language Based upon Unification which Unifies (Much of) LISP, PROLOG, and ACT I. Kenneth M. Kahn |
| 1981 | Universal Unification and Regular Equational ACFM Theories. Jörg H. Siekmann, Peter Szabó |
| 1981 | Use of Data Representation Mapping in Automatic Generation of Data Base Access Procedures. Koichi Furukawa |
| 1981 | Using Active Connection Graphs for Reasoning with Recursive Rules. Donald P. McKay, Stuart C. Shapiro |
| 1981 | Using Language and Context in the Analysis of Text. Yigal Arens |
| 1981 | Using Matching in Algebraic Equation Solving. Alan Borning, Alan Bundy |
| 1981 | Variable-Depth Natural Language Understanding. Daniel Kayser, Daniel Coulon |
| 1981 | Viewing Word Expert Parsing as Linguistic Theory. Steven L. Small |
| 1981 | Volumetric Model and 3D-Trajectory of a Moving Car Derived from Monocular TV-Frame Sequence of a Street Scene. Leonie Dreschler, Hans-Hellmut Nagel |
| 1981 | Why Robots Will Have Emotions. Aaron Sloman, Monica Croucher |
| 1981 | ZMOB: A New Conputing Engine for AI. Chuck Rieger, Randall H. Trigg, Bob Bane |
| 1981 | \RESTAURANT Revisited or "Lunch with BORIS". Michael C. Dyer |