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