Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981
    DBLP: db/conf/ijcai/ijcai81.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 100 of 219  
    Select a publication
    Show Title Venue Rating Date
    John R. Anderson.
    A Theory of Language Acquisition Based on General Learning Principles.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    John R. Anderson.
    Tuning of Search of the Problem Space for Geometry Proofs.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Norihiro Abe, Itsuya Soga, Saburo Tsuji.
    A Plot Understanding System on Reference to Both Image and Language.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Yigal Arens.
    Using Language and Context in the Analysis of Text.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    James F. Allen.
    An Interval-Based Representation of Temporal Knowledge.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Haruhiko Asada, Takeo Kanade.
    Design Concept of Direct-Drive Manipulators Using Rare-Earth DC Torque Motors.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Mark S. Fox.
    Factory Modelling, Simulation, and Scheduling in the Intelligent Management System.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Giuseppe Attardi, Maria Simi.
    Consistency and Completeness of OMEGA, a Logic for Knowledge Representation.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Jeffrey A. Barnett.
    Computational Methods for a Mathematical Theory of Evidence.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    David R. Barstow.
    Overview of a Display-Oriented Editor for INTERLISP.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Ulrich Bartels, Walter G. Olthoff, Peter Raulefs.
    APE: An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    H. Harlyn Baker, Thomas O. Binford.
    Depth from Edge and Intensity Based Stereo.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Dana H. Ballard.
    Parameter Networks: Towards a Theory of Low-Level Vision.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Dana H. Ballard, Daniel Sabbah.
    On Shapes.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Robert J. Bechtel.
    STAMMER2: A Rule-Based Application.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    James S. Bennett, Clifford R. Hollander.
    DART: An Expert System for Computer Fault Diagnosis.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Hans J. Berliner.
    An Examination of Brute Force Intelligence.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Michael J. A. Berry.
    A Set of APL Functions to Play New Eleusis.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther.
    The Markgraf Karl Refutation Procedure.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Branimir Boguraev, Karen Sparck Jones.
    A General Semantic Analyser for Data Base Access.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Jean-Daniel Boissonnat, Olivier D. Faugeras.
    Triangulation of 3-D Objects.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Jean-Daniel Boissonnat, F. Germain.
    A New Approach to the Problem of Acquiring Randomly Oriented Workpieces Out of a Bin.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Robert C. Bolles, Martin A. Fischler.
    A RANSAC-Based Approach to Model Fitting and Its Application to Finding Cylinders in Range Data.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Alan H. Bond, David H. Mott.
    Learning of Sensory-Motor Schemas in a Mobile Robot.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Alexander Borgida.
    On the Definition of Specialization Hierarchies for Procedures.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Alan Borning, Alan Bundy.
    Using Matching in Algebraic Equation Solving.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Rodney A. Brooks.
    Model-Based Three Dimensional Interpretations of Two Dimensional Images.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Richard H. Brown.
    Automatic Synthesis of Numerical Computer Programs.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Alan Bundy, Bernard Silver.
    Homogenization: Preparing Equations for Change of Unknown.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Jaime G. Carbonell.
    A Computational Model of Analogical Problem Solving.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Jaime G. Carbonell.
    A Computational Model of Analogical Problem Solving.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Dennis de Champeaux, Jos de Bruin.
    Symbolic Evaluation of LISP Functions with Side Effects for Verification.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    B. Chandrasekaran, Sanjay Mittal, Jack W. Smith.
    MDX and Related Medical Decision-Making Systems.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Eugene Charniak.
    Six Topics in Search of a Parser: An Overview of AI Language Research.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    William J. Clancey, Reed Letsinger.
    NEOMYCIN: Reconfiguring a Rule-Based Expert System for Application to Teaching.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Frank Claser.
    Computing Optic Flow.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Philip R. Cohen.
    The Need for Referent Identification as a Planned Action.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    E. North Coleman Jr., Ramesh Jain.
    Shape from Shading for Surfaces with Texture and Specularity.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Alain Colmerauer, Henry Kanoui, Michel Van Caneghem.
    Last Steps Towards an Ultimate PROLOG.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Alain Colmerauer, Henry Kanoui, Michel Van Caneghem.
    Demonstrating PROLOG on APPLE II.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    R. E. Cullingford, M. W. Krueger, Mallory Selfridge, Marie A. Bienkowski.
    Towards Automating Explanations.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Martin Davis.
    Obvious Logical Inferences.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Randall Davis, Howard Austin, Ingrid Carlbom, Bud Frawley, Paul Pruchnik, Rich Sneiderman, J. A. Gilreath.
    The DIPMETER ADVISOR: Interpretation of Geologic Signals.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Gerald DeJong.
    Generalizations Based on Explanations.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Michael Deering, Joseph Faletti, Robert Wilensky.
    PEARL - A Package for Efficient Access to Representations in LISP.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Natlie Dehn.
    Story Generation After TALE-SPIN.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Yannick Descotte, Jean-Claude Latombe.
    GARI: A Problem Solver That Plans How to Machine Mechanical Parts.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Vincent J. Digricoli.
    The Efficacy of RUE Resolution Experimental Results and Heuristic Theory.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    John K. Dixon, Susan A. Bouchard, William G. Kennedy, James R. Slagle.
    MARK I Robot.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Leonie Dreschler, Hans-Hellmut Nagel.
    Volumetric Model and 3D-Trajectory of a Moving Car Derived from Monocular TV-Frame Sequence of a Street Scene.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Michael C. Dyer.
    Integration, Unification, Reconstruction, Modification: An Eternal Parsing Braid.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Michael C. Dyer.
    \RESTAURANT Revisited or "Lunch with BORIS".
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Michael G. Dyer, Thomas C. Wolf, Martin Korsin.
    BORIS - An In-Dept Understander of Narratives.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Andrew Eaas.
    Reasoning about Deduction with Unknown Constants.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Norbert Eisinger.
    Subsumption And Connection Graphs.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Lee D. Erman, Philip London, Stephen Fickas.
    The Design and an Example Use of Hearsay-III.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Scott E. Fahlman, David S. Touretzky, Walter van Roggen.
    Cancellation in a Parallel Semantic Network.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Oscar Firschein, Martin A. Fischler.
    Perceptual Problems in Analyzing Industrial Radiographs.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Kenneth D. Forbus.
    Qualitative Reasoning about Physical Processes.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Mark S. Fox.
    Reasoning With Incomplete Knowledge in a Resource-Limited Environment: Integrating Reasoning and Knowledge Acquisition.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Robert A. Freitas Jr., Timothy J. Healy, James E. Long.
    Advanced Automaton For Space Missions.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Peter Friedland.
    Acquisition of Procedural Knowledge from Domain Experts.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Leonard Friedman.
    Extended Plausible Inference.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Brian V. Funt.
    Multi-Processor Rotation and Comparison of Objects.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Teiji Furugori.
    Computing a Map from Michi-Annai-Bun or Written Descriptions.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Koichi Furukawa.
    Use of Data Representation Mapping in Automatic Generation of Data Base Access Procedures.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Anatole Gershman.
    Figuring Out What the User Wants: Steps Toward an Automatic Yellow Pages Assistant.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Malik Ghallab.
    Decision Trees For Optimizing Pattern - Matching Algorithms in Production Systems.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Thomas D. Garvey, John D. Lowrance, Martin A. Fischler.
    An Inference Technique for Integrating Knowledge from Disparate Sources.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    G. Goerx.
    GLP: A General Linguistic Processor.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Donald B. Gennery.
    A Feature-Based Scene Matcher.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Sarah E. Goldin, Philip Klahr.
    Learning And Abstraction In Simulation.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Michael P. Georgeff.
    Search Methods Using Heuristic Strategies.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Ira P. Goldstein, Daniel G. Bobrow.
    Layered Networks as a Tool for Software Development.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Daniel Goossens.
    The Conceptual Calculus For Automatic Program Understanding.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Richard Granger.
    Directing And Re-Directing Inference Pursuit: Extra-Textual Influences on Text Interpretation.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Roger T. Hartley.
    How Expert Should an Expert System Be?
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Göran Hagert, Sten-Åke Tärnlund.
    Deductive Modeling of Human Cognition.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Philip J. Hayes.
    Anaphora for Limited Domain Systems.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Philip J. Hayes, Jaime G. Carbonell.
    Multi-Strategy Construction-Specific Parsing for Flexible Data Base Query and Update.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Lawrence J. Henschen, Shamim A. Naqvi.
    An Improved Filter for Literal Indexing in Resolution Systems.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Geoffrey E. Hinton.
    Shape Representation in Parallel Systems.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Geoffrey E. Hinton.
    A Parallel Computation that Assigns Canonical Object-Based Frames of Reference.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Lynette Hirschman, Guy Story.
    Representing Implicit And Explicit Time Relations In Narrative.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Jerry R. Hobbs.
    Metaphor Interpretation as Selective Inferencing.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Jerry R. Hobbs, Michael Agar.
    Text Plans and World Plans in Natural Discourse.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Werner Horn, Walter Buchstaller, Robert Trappl.
    Knowledge Structure Definition for an Expert System in Primary Medical Care.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Jun-ichi Iijima, Yutaka Kanayama, Shin'ichi Yuta.
    A Locomotion Control System for Mobile Robots.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Katsushi Ikeuchi.
    Recognition of 3-D Objects Using the Extended Gaussian Image.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Mitsuru Ishizuka, King-sun Fu, James T. P. Yao.
    Inexact Inference for Rule-Based Damage Assessment of Existing Structures.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    David J. Israel, Ronald J. Brachman.
    Distinctions and Confusions: A Catalogue Raisonne.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Aravind K. Joshi, Scott Weinstein.
    Control of Inference: Role of Some Aspects of Discourse Structure-Centering.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Kenneth M. Kahn.
    UNIFORM: A Language Based upon Unification which Unifies (Much of) LISP, PROLOG, and ACT I.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Laveen N. Kanal, Vipin Kumar.
    Branch Bound Formulation for Sequential and Parallel Game Tree Searching: Preliminary Results.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Paul E. Johnson, William B. Thompson.
    Strolling Down The Garden Path: Error Prone Tasks in Expert Problem Solving.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Daniel Kayser, Daniel Coulon.
    Variable-Depth Natural Language Understanding.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    John K. Kastmer, Sholom M. Weiss.
    A Precedence Scheme for Selection and Explanation of Therapies.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Shmuel Katz, Ruth Zimmerman.
    An Advisory System for Developing Data Representations.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Paul J. Kline.
    The Superiority of Relative Criteria in Partial Matching and Generalization.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981
    Dennis F. Kibler, Paul Morris.
    Don't Be Stupid.
    Proceedings of the 7th International Joint Conference on Artificial Intelligence (IJCAI '81), Vancouver, BC, Canada, August 1981 1981 (0) 1981

    Your query returned 219 matches in the database.