Conferences in DBLP
Eugene Charniak Ms. Maloprop, A Language Comprehension Program. [Citation Graph (0, 0)][DBLP ] Conf ] Roger C. Schank , Mallory Selfridge How to Learn/What to Learn. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Wilensky PAM - A Program That Infers Intentions. [Citation Graph (0, 0)][DBLP ] Conf ] Gerald DeJong Skimming Newspaper Stories by Computer. [Citation Graph (0, 0)][DBLP ] Conf ] R. E. Cullingford Controlling Inference in Story Understanding. [Citation Graph (0, 0)][DBLP ] Conf ] William A. Woods Shortfall and Density Scoring Strategies for Speech Understanding Control. [Citation Graph (0, 0)][DBLP ] Conf ] Frederick Hayes-Roth , Victor R. Lesser Focus of Attention in the Hearsay-II Speech Understanding System. [Citation Graph (1, 0)][DBLP ] Conf ] Donald E. Walker , William H. Paxton , Barbara J. Grosz , Gary G. Hendrix , Ann E. Robinson , Jane J. Robinson , Jonathan Slocum Procedures for Integrating Knowledge in a Speech Understanding System. [Citation Graph (0, 0)][DBLP ] Conf ] C. Bullwinkle Levels of Complexity in Discourse for Anaphora Disambiguation and Speech Act Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] James R. McSkimin , Jack Minker The Use of a Semantic Network in a Deductive Question- Answering System. [Citation Graph (0, 0)][DBLP ] Conf ] Koichi Furukawa A Deductive Question Answering System on Relational Data Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara J. Grosz The Representation and Use of Focus in a System for Understanding Dialogs. [Citation Graph (0, 0)][DBLP ] Conf ] William C. Mann , James A. Moore , J. A. Levin A Comprehension Model for Human Dialogue. [Citation Graph (0, 0)][DBLP ] Conf ] M. K. Horrigan Modelling Simple Dialogs. [Citation Graph (0, 0)][DBLP ] Conf ] Charles L. Hedrick Making Inferences in Natural Language Dialogs. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara J. Grosz , Gary G. Hendrix , Ann E. Robinson Using Process Knowledge in Understanding Task- Oriented Dialogs. [Citation Graph (0, 0)][DBLP ] Conf ] James R. Meehan TALE-SPIN, An Interactive Program that Writes Stories. [Citation Graph (0, 0)][DBLP ] Conf ] Philip J. Hayes On Semantic Nets, Frames and Associations. [Citation Graph (0, 0)][DBLP ] Conf ] Steven Rosenberg Frames-based Text Processing. [Citation Graph (0, 0)][DBLP ] Conf ] J. Stansfield COMEX: A Commodities Support System. [Citation Graph (0, 0)][DBLP ] Conf ] Jerry R. Hobbs Coherence and Interpretation in English Texts. [Citation Graph (0, 0)][DBLP ] Conf ] S. L. Taylor , Gilbert K. Krulee , Lawrence J. Henschen Automatic Abstracting of Textual Material. [Citation Graph (0, 0)][DBLP ] Conf ] C. Raymond Perrault , P. R. Kohen Overview of 'Planning Speech Acts' [Citation Graph (0, 0)][DBLP ] Conf ] Gregg C. Oden The Generation of Continuous Semantic Constraints from Semantic Propositions. [Citation Graph (0, 0)][DBLP ] Conf ] B. Nash-Webber , Raymond Reiter Anaphora and Logical Form: On Formal Meaning Representations for Natural Language. [Citation Graph (0, 0)][DBLP ] Conf ] Anatole Gershman Conceptual Analysis of Noun Groups in English. [Citation Graph (0, 0)][DBLP ] Conf ] Nick Cercone A Note on Representing Adjectives and Adverbs. [Citation Graph (0, 0)][DBLP ] Conf ] Aviel D. Rubin , Bertram C. Bruce From Conversations to Stories: An Analysis of Differences Between Oral and Written Language Comprehension. [Citation Graph (0, 0)][DBLP ] Conf ] David D. McDonald Language Generation: The Linguistics Component. [Citation Graph (0, 0)][DBLP ] Conf ] George E. Heidorn Generating Noun Phrases to Identify Nodes in a Semantic Network. [Citation Graph (0, 0)][DBLP ] Conf ] David L. Waltz , Bradley A. Goodman Writing a Natural Language Data Base System. [Citation Graph (0, 0)][DBLP ] Conf ] Yorick Wilks Knowledge Structures and Language Boundaries. [Citation Graph (0, 0)][DBLP ] Conf ] Wendy G. Lehnert A Conceptual Theory of Question Answering. [Citation Graph (0, 0)][DBLP ] Conf ] Mark S. Fox , Jack Mostow Maximal Consistent Interpretations of Errorful Data in Hierarchically Modeled Domains. [Citation Graph (0, 0)][DBLP ] Conf ] Richard H. Granger FOUL-UP: A Program that Figures Out Meanings of Words from Context. [Citation Graph (1, 0)][DBLP ] Conf ] R. Schinghal , D. Rosenberg , Godfried T. Toussaint A Simplified Heuristic Version of Raviv's Algorithm for Using Context in Text Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] P. Dell'Orco , Margaret King , V. N. Spadavecchia Two Semantic Worlds: A Data Base System with Provision for Natural Language Input. [Citation Graph (0, 0)][DBLP ] Conf ] Gary G. Hendrix Human Engineering for Applied Natural Language Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Fred Damerau Advantages of a Transformational Grammar for Question Answering. [Citation Graph (0, 0)][DBLP ] Conf ] Timothy W. Finin , George D. Hadden Augmenting ATNS. [Citation Graph (0, 0)][DBLP ] Conf ] David Klappholz , Abe Lockman The Use of Dynamically Extracted Context for Anaphoric Reference Resolution. [Citation Graph (0, 0)][DBLP ] Conf ] Victor Raskin Presupposition-Based AI Natural Language System. [Citation Graph (0, 0)][DBLP ] Conf ] Earl D. Sacerdoti Language Access to Distributed Data with Error Recovery. [Citation Graph (0, 0)][DBLP ] Conf ] Charles Kellogg , Philip Klahr , Larry Travis Deductive Methods for Large Data Bases. [Citation Graph (0, 0)][DBLP ] Conf ] Gerald A. Wilson SPARK: A System for Parallel Representation of Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Aravind K. Joshi , S. Jerrold Kaplan , R. M. Lee Approximate Responses from a Data Base Query System: An Application of Inferencing in Natural Language. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel G. Bobrow , Terry Winograd Experience with KRL-0: One Cycle of a Knowledge Representation Language. [Citation Graph (0, 0)][DBLP ] Conf ] Robert C. Moore Reasoning About Knowledge and Action. [Citation Graph (0, 0)][DBLP ] Conf ] Camilla Schwind A State Logic for the Representation of Natural Language Based Intelligent Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Drew V. McDermott Vocabularies for Problem Solver State Descriptions. [Citation Graph (0, 0)][DBLP ] Conf ] Richard Fikes , Gary G. Hendrix A Network-Based Knowledge Representation and Its Natural Deduction System. [Citation Graph (0, 0)][DBLP ] Conf ] Jon Doyle Truth Maintenance Systems for Problem Solving. [Citation Graph (0, 0)][DBLP ] Conf ] H. Ogawa , K. Tanaka A Structure for the Representation of Knowledge: A Proposal for a Micro-Actor. [Citation Graph (0, 0)][DBLP ] Conf ] Chuck Rieger , Maurice Grinberg he Declarative Representation and Procedural Simulation of Causality in Physical Mechanisms. [Citation Graph (0, 0)][DBLP ] Conf ] Ira P. Goldstein , R. B. Roberts NUDGE, A Knowledge-Based Scheduling Program. [Citation Graph (0, 0)][DBLP ] Conf ] William S. Havens A Procedural Model of Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] N. S. Sridharan , Frank M. Hawrusik Representation of Actions That Have Side-Effects. [Citation Graph (0, 0)][DBLP ] Conf ] Robert F. Simmons , Daniel L. Chester Inferences in Quantified Semantic Networks. [Citation Graph (0, 0)][DBLP ] Conf ] M. Trigoboff , Casimir A. Kulikowski IRIS: A System for the Propogation of Inferences in a Semantic Net. [Citation Graph (0, 0)][DBLP ] Conf ] Norman K. Sondheimer Towards a Combined Representation for Spacial and Temporal Reference. [Citation Graph (0, 0)][DBLP ] Conf ] Hector J. Levesque , John Mylopoulos An Overview of a Procedural Approach to Semantic Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Stuart C. Shapiro Representing Numbers in Semantic Networks: Prolegomena. [Citation Graph (0, 0)][DBLP ] Conf ] R. L. Young Specification Overlays: An Application of Partitioned Semantic Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Gordon S. Novak Representations of Knowledge in a Program for Solving Physics Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Benjamin Kuipers Modeling Spatial Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Johan de Kleer Multiple Representations of Knowledge in a Mechanics Problem-Solver. [Citation Graph (0, 0)][DBLP ] Conf ] Tom M. Mitchell Version Spaces: A Candidate Elimination Approach to Rule Learning. [Citation Graph (1, 0)][DBLP ] Conf ] Ira P. Goldstein , Eric Grimson Annotated Production Systems: A Model for Skill Acquisition. [Citation Graph (0, 0)][DBLP ] Conf ] Mark S. Fox , Raj Reddy Knowledge Guided Learning of Structural Descriptions. [Citation Graph (0, 0)][DBLP ] Conf ] Ryszard S. Michalski A System of Programs for Computer-Aided Induction: A Summary. [Citation Graph (0, 0)][DBLP ] Conf ] Randall Davis Interactive Transfer of Expertise: Acquisition of New Inference Rules. [Citation Graph (0, 0)][DBLP ] Conf ] William S. Mark The Reformulation Approach to Building Expert Systems. [Citation Graph (0, 0)][DBLP ] Conf ] A. Leal , Judea Pearl An Interactive Program for Conversational Elecitation of Decision Structures. [Citation Graph (0, 0)][DBLP ] Conf ] Michael D. Rychener , Charles Forgy , Pat Langley , John P. McDermott , Allen Newell , K. Ramakrishna Problems in Building an Instructable Production System. [Citation Graph (0, 0)][DBLP ] Conf ] Reid G. Smith , Tom M. Mitchell , R. A. Chestek , Bruce G. Buchanan A Model for Learning Systems. [Citation Graph (1, 0)][DBLP ] Conf ] Pat Langley BACON: A Production System That Discovers Empirical Laws. [Citation Graph (0, 0)][DBLP ] Conf ] D. T. Chen , N. Finder Analogical Reasoning in Problem Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Pavel Brazdil Learning Simple Arithmetic. [Citation Graph (0, 0)][DBLP ] Conf ] E. Towster Concept Decomposition as a Method of Concept Formation. [Citation Graph (0, 0)][DBLP ] Conf ] Richard M. Young , Gordon D. Plotkin , R. F. Linz Analysis of an Extended Concept-Learning Task. [Citation Graph (0, 0)][DBLP ] Conf ] Steven A. Vere Induction of Relational Productions in the Presence of Background Information. [Citation Graph (0, 0)][DBLP ] Conf ] Frederick Hayes-Roth , John P. McDermott Knowledge Acquisition from Structural Descriptions. [Citation Graph (0, 0)][DBLP ] Conf ] Raymond Aubin Strategies for Mechanizing Structural Induction. [Citation Graph (0, 0)][DBLP ] Conf ] Akinori Yonezawa , Carl Hewitt Modelling Distributed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Harald Wertz Understanding and Improving LISP Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Nachum Dershowitz Automatic Program Annotation. [Citation Graph (0, 0)][DBLP ] Conf ] Hanan Samet Toward Automatic Debugging of Compilers. [Citation Graph (0, 0)][DBLP ] Conf ] C. Green A Summary of the PSI Program Synthesis System. [Citation Graph (0, 0)][DBLP ] Conf ] David R. Barstow A Knowledge-Based System for Automatic Program Construction. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Balzer , Neil M. Goldman , David S. Wile Informality in Program Specifications. [Citation Graph (0, 0)][DBLP ] Conf ] Robert Balzer , Neil M. Goldman , David S. Wile Meta-Evaluation as a Tool for Program Understanding. [Citation Graph (0, 0)][DBLP ] Conf ] Neil M. Goldman , Robert Balzer , David S. Wile The Use of a Domain Model in Understanding Informal Process Descriptions. [Citation Graph (0, 0)][DBLP ] Conf ] Zohar Manna , Richard J. Waldinger The Automatic Synthesis of Systems of Recursive Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-Pierre Jouannaud , Gérard D. Guiho , Jean-Pierre Treuil SISP/1: An Interactive System Able to Synthesize Functions from Examples. [Citation Graph (0, 0)][DBLP ] Conf ] Keith L. Clark , Sharon Sickel Predicate Logic: A Calculus for the Formal Derivation of Programs. [Citation Graph (0, 0)][DBLP ] Conf ] C. Perdue , Hans J. Berliner EG - A Case Study in Problem Solving with King and Pawn Endings. [Citation Graph (0, 0)][DBLP ] Conf ] Hans J. Berliner Experiences in Evaluation with BKG - A Program that Plays Backgammon. [Citation Graph (0, 0)][DBLP ] Conf ] John Gaschnig Exactly How Good Are Heuristics?: Toward a Realistic Predictive Theory of Best-First Search. [Citation Graph (0, 0)][DBLP ] Conf ] Ranan B. Banerji , George W. Ernst A Comparsion of Three Problem-Solving Methods. [Citation Graph (0, 0)][DBLP ] Conf ] Ranan B. Banerji , George W. Ernst A Theory for the Complete Mechanization of a GPS-Type Problem Solver. [Citation Graph (0, 0)][DBLP ] Conf ] John Gaschnig A General Backtrack Algorithm That Eliminates Most Redundant Tests. [Citation Graph (0, 0)][DBLP ] Conf ] Azriel Rosenfeld Generality and Computational Cost. [Citation Graph (0, 0)][DBLP ] Conf ] Brian V. Funt WHISPER: A Problem-Solving System Utilizing Diagrams and a Parallel Processing Retina. [Citation Graph (0, 0)][DBLP ] Conf ] Clive Dawson , Laurent Siklóssy The Role of Preprocessing in Problem Solving Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Reid G. Smith The Contract Net: A Formalism for the Control of Distributed Problem Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Robert B. Wesson Planning in the World of the Air Traffic Controller. [Citation Graph (0, 0)][DBLP ] Conf ] Charles F. Schmidt , N. S. Sridharan Plan Recognition Using A Hypothesize and Revise Paradigm. [Citation Graph (0, 0)][DBLP ] Conf ] Chuck Rieger , Philip London Subgoal Protection and Unraveling During Plan Synthesis. [Citation Graph (0, 0)][DBLP ] Conf ] P. R. Davis , Robert T. Chien Using and Re-Using Partial Plans. [Citation Graph (0, 0)][DBLP ] Conf ] Arthur M. Farley The Coordination of Multiple Goal Satisfaction. [Citation Graph (0, 0)][DBLP ] Conf ] Alan Bundy Can Domain Specific Knowledge Be Generalized? [Citation Graph (0, 0)][DBLP ] Conf ] Alan Borning ThingLab - An Object-Oriented System for Building Simulations Using Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Gretchen P. Brown Failure Handling in a Dialogue System. [Citation Graph (0, 0)][DBLP ] Conf ] George F. Luger , Alan Bundy Representing Semantic Information In Pulley Problems. [Citation Graph (0, 0)][DBLP ] Conf ] W. W. Bledsoe Set Variables. [Citation Graph (0, 0)][DBLP ] Conf ] Robert S. Boyer , J. Strother Moore A Lemma Driven Automatic Theorem Prover for Recursive Function Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Jared L. Darlington Improving the Efficiency of Higher Order Unification. [Citation Graph (0, 0)][DBLP ] Conf ] Robert E. Shostak An Algorithm for Reasoning About Equality. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Kühner , Chris Mathis , Peter Raulefs , Jörg H. Siekmann Unification of Idempotent Functions. [Citation Graph (0, 0)][DBLP ] Conf ] Malcolm C. Harrison A Hierarchical Approach to Theorem-Proving. [Citation Graph (0, 0)][DBLP ] Conf ] Frank M. Brown A Theorem Prover for Elementary Set Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Lawrence J. Henschen , W. M. Evangelist Theorem Proving by Covering Expressions. [Citation Graph (0, 0)][DBLP ] Conf ] Alberto Martelli , Ugo Montanari Theorem Proving with Structure Sharing and Efficient Unification. [Citation Graph (0, 0)][DBLP ] Conf ] Sharon Sickel Formal Grammars as Models of Logic Derivations. [Citation Graph (0, 0)][DBLP ] Conf ] Steven D. Litvintchouk , Vaughan R. Pratt A Proof-Checker for Dynamic Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick J. Hayes In Defense of Logic. [Citation Graph (1, 0)][DBLP ] Conf ] Peter B. Andrews , Eve Longini Cohen Theorem Proving in Type Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Raymond D. Gumb A Mechanized Proof Procedure for Free Intensional Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Robert C. Bolles Verification Vision for Programmable Assembly. [Citation Graph (0, 0)][DBLP ] Conf ] Donald B. Gennery A Stereo Vision System for an Autonomous Vehicle. [Citation Graph (0, 0)][DBLP ] Conf ] D. J. Burr , Robert T. Chien A System for Stereo Computer Vision with Geometric Models. [Citation Graph (0, 0)][DBLP ] Conf ] Hans P. Moravec Towards Automatic Visual Obstacle Avoidance. [Citation Graph (0, 0)][DBLP ] Conf ] M. O. Shneier Recognition Using Semantic Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Steven M. Rubin , Raj Reddy The LOCUS Model of Search and its Use in Image Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] Ruzena Bajcsy , Barry I. Soroka Steps Towards the Representation of Complex Three- Dimensional Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Leonard Uhr , R. J. Douglass A `Recognition Cone' Perceptual System: Brief Test Results. [Citation Graph (0, 0)][DBLP ] Conf ] Alan K. Mackworth On Reading Sketch Maps. [Citation Graph (0, 0)][DBLP ] Conf ] A. H. Dixon Generation of Descriptions for Line Drawings. [Citation Graph (0, 0)][DBLP ] Conf ] M. R. Adler Computer Interpretation of PEANUTS Cartoons. [Citation Graph (0, 0)][DBLP ] Conf ] Saburo Tsuji , A. Morizono , S. Kuroda Understanding a Simple Cartoon Film by a Computer Vision System. [Citation Graph (0, 0)][DBLP ] Conf ] John K. Tsotsos Some Notes on Motion Understanding. [Citation Graph (0, 0)][DBLP ] Conf ] Ramesh Jain , D. Militzer , Hans-Hellmut Nagel Separating Non-Stationary from Stationary Scene Components in a Sequence of Real World TV Images. [Citation Graph (0, 0)][DBLP ] Conf ] K. Price , Raj Reddy Change Detection and Analysis in Multispectral Images. [Citation Graph (0, 0)][DBLP ] Conf ] Hans-Hellmut Nagel Analysing Sequences of TV-Frames. [Citation Graph (0, 0)][DBLP ] Conf ] David Hogg A Methodology for Real Time Scene Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Ruth Shapira , Herbert Freeman Reconstruction of Curved-Surface Bodies from a Set of Imperfect Projections. [Citation Graph (0, 0)][DBLP ] Conf ] Robert J. Woodham A Cooperative Algorithm for Determining Surface Orientation from a Single View. [Citation Graph (0, 0)][DBLP ] Conf ] J. Prager , P. Nagin , R. Kohler , Allen R. Hanson , Edward M. Riseman Segmentation Processes in the VISIONS System. [Citation Graph (0, 0)][DBLP ] Conf ] T. Williams , John D. Lowrance , Allen R. Hanson , Edward M. Riseman Model-Building in the Visions System. [Citation Graph (0, 0)][DBLP ] Conf ] Kurt Konolige , Bryant W. York , Allen R. Hanson , Edward M. Riseman Between Regions and Objects - Surfaces and Volumes. [Citation Graph (0, 0)][DBLP ] Conf ] Berthold K. P. Horn Towards a Science of Image Understanding. [Citation Graph (0, 0)][DBLP ] Conf ] H. Baker Three-Dimensional Modeling. [Citation Graph (0, 0)][DBLP ] Conf ] Fanya S. Montalvo Human Vision Paradox Implicates Relaxation Model. [Citation Graph (0, 0)][DBLP ] Conf ] R. J. Douglass Recognition and Depth Perception of Objects in Real World Scenes. [Citation Graph (0, 0)][DBLP ] Conf ] Robert T. Chien , L. J. Peterson Image Compression and Reconstruction Using Feature Extraction. [Citation Graph (0, 0)][DBLP ] Conf ] Harry G. Barrow , Jay M. Tenenbaum , Robert C. Boles , Helen C. Wolf Parametric Correspondence and Chamfer Matching: Two New Techniques for Image Matching. [Citation Graph (0, 0)][DBLP ] Conf ] Dana H. Ballard , Christopher M. Brown , Jay M. Feldman An Approach to Knowledge-Directed Image Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Eugene C. Freuder A Computer System for Visual Recognition Using Active Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] W. A. Perkins Model-Based Vision System for Scenes Containing Multiple Parts. [Citation Graph (0, 0)][DBLP ] Conf ] M. Mese , T. Miyatake , S. Kasaioka , M. Etiri , I. Yamazaki , T. Hamada An Automatic Position Recognition Technique for LSI Assembly. [Citation Graph (0, 0)][DBLP ] Conf ] M. L. Baird Image Segmentation Technique for Locating Automotive Parts on Belt Conveyors. [Citation Graph (0, 0)][DBLP ] Conf ] Harry G. Barrow , Robert C. Boles , Thomas D. Garvey , J. H. Kremers , Jay M. Tenenbaum , Helen C. Wolf Experiments in Map-Guided Photo Interpretation. [Citation Graph (0, 0)][DBLP ] Conf ] C. M. Brace , J. H. Kulick , T. W. Challis Automatic Rib Detection in Chest Radiographs. [Citation Graph (0, 0)][DBLP ] Conf ] John K. Tsotsos Knowledge-Base Driven Analysis of Cinecardioangiograms. [Citation Graph (0, 0)][DBLP ] Conf ] Saburo Tsuji , Fumio Matsumoto Detection of Elliptic and Linear Edges by Searching Two Parameter Spaces. [Citation Graph (0, 0)][DBLP ] Conf ] K. Sugihara , Yoshiaki Shirai Range Data Understanding Guided by a Junction Dictionary. [Citation Graph (0, 0)][DBLP ] Conf ] Steven L. Tanimoto Rapid Computation of Fourier Texture Descriptors. [Citation Graph (0, 0)][DBLP ] Conf ] Bruce R. Schatz Computation of Immediate Texture Discrimination. [Citation Graph (0, 0)][DBLP ] Conf ] Steven W. Zucker Toward Consistent Descriptions in Vision Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Tomás Lozano-Pérez , Patrick H. Winston LAMA: A Language for Automatic Mechanical Assembly. [Citation Graph (0, 0)][DBLP ] Conf ] T. Ishida Force Control in Coordination of Two Arms. [Citation Graph (0, 0)][DBLP ] Conf ] B. Dobrotin , R. A. Lewis A Practical Manipulator System. [Citation Graph (0, 0)][DBLP ] Conf ] R. Goldman Recent Work with the AL System. [Citation Graph (0, 0)][DBLP ] Conf ] Leonard Friedman Robot Learning and Error Correction. [Citation Graph (0, 0)][DBLP ] Conf ] S. M. Udupa Collision Detection and Avoidance in Computer Controlled Manipulators. [Citation Graph (0, 0)][DBLP ] Conf ] Alan M. Thompson The Navigation System of the JPL Robot. [Citation Graph (0, 0)][DBLP ] Conf ] J. R. Birk , Robert B. Kelley , Vivek V. Badami Workpiece Orientation Correction with a Robot Arm Using Visual Information. [Citation Graph (0, 0)][DBLP ] Conf ] J. A. Miller Autonomous Guidance and Control of a Roving Robot. [Citation Graph (0, 0)][DBLP ] Conf ] Marc H. Raibert A Model for Motor Control and Learning. [Citation Graph (0, 0)][DBLP ] Conf ] R. A. Lewis , A. R. Johnston A Scanning Laser Rangefinder for a Robotic Vechicle. [Citation Graph (0, 0)][DBLP ] Conf ] R. Eskenazi , R. Cunningham A Random Access Picture Digitizer, Display, and Memory System. [Citation Graph (0, 0)][DBLP ] Conf ] B. Kirchmann , P. Kopecky , Z. Zdrahal GOALEM from Prague. [Citation Graph (0, 0)][DBLP ] Conf ] C. C. Geschke A Variable Capacitance Touch Sensor. [Citation Graph (0, 0)][DBLP ] Conf ] M. L. Miller , Ira P. Goldstein Structured Planning and Debugging. [Citation Graph (0, 0)][DBLP ] Conf ] Derek H. Sleeman A System Which Allows Students to Explore Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Donald R. Gentner The FLOW Tutor: A Schema-Based Tutorial System. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Aikins The Use of Models in a Rule-Based Consultation System. [Citation Graph (0, 0)][DBLP ] Conf ] Michael R. Genesereth An Automated Consultant for MACSYMA. [Citation Graph (0, 0)][DBLP ] Conf ] Victor R. Lesser , Lee D. Erman A Retrospective View of the Hearsay-II Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Elliot Soloway , Edward M. Riseman Levels of Pattern Description in Learning. [Citation Graph (0, 0)][DBLP ] Conf ] J. V. Phillips Program Inference from Traces using Multiple Knowledge Sources. [Citation Graph (0, 0)][DBLP ] Conf ] Christopher Riesbeck Delayed Interpretation Using Processing Notes. [Citation Graph (0, 0)][DBLP ] Conf ] C. E. Oleson EXAMINER: A System Using Contextual Knowledge for Analysis of Diagnostic Behavior. [Citation Graph (0, 0)][DBLP ] Conf ] William R. Swartout A Digitalis Therapy Advisor with Explanations. [Citation Graph (0, 0)][DBLP ] Conf ] Sholom M. Weiss , Casimir A. Kulikowski , Aran Safir A Model-Based Consultation System for the Long-Term Management of Glaucoma. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas B. Lenat Automated Theory Formation in Mathematics. [Citation Graph (1, 0)][DBLP ] Conf ] E. R. Michener Structuring Mathematical Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Frank M. Brown , Sten-Åke Tärnlund Inductive Reasoning in Mathematics. [Citation Graph (0, 0)][DBLP ] Conf ] Vesko Marinov Computer Understanding of Mathematical Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] William J. Clancey An Antibiotic Therapy Selector which Provides for Explanations. [Citation Graph (0, 0)][DBLP ] Conf ] Anthony I. Hinxman A Two-dimensional Trim-Loss Problem with Sequencing Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] John Wade Ulrich The Analysis and Synthesis of Jazz by Computer. [Citation Graph (0, 0)][DBLP ] Conf ] Margaret King , Monique Ornato , Gian Piero Zarri , L. Zarri-Baldi , A. Zwiebel Ghosts in the Machine: An AI Treatment of Medieval History. [Citation Graph (0, 0)][DBLP ] Conf ] S. I. Samolylenko Application of Fuzzy Heuristic Techniques to Computer Network Design. [Citation Graph (0, 0)][DBLP ] Conf ] John M. Hollerbach A Simple Model for Handwriting. [Citation Graph (0, 0)][DBLP ] Conf ] N. Martin , Peter Friedland , J. King , Mark Stefik Knowledge Base Management for Experiment Planning in Molecular Genetics. [Citation Graph (0, 0)][DBLP ] Conf ] Austin Tate Generating Project Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Gerald J. Sussman Electrical Design: A Problem for Artificial Intelligence Research. [Citation Graph (0, 0)][DBLP ] Conf ] Jack R. Buchanan , Richard D. Fennell An Intelligent Information System for Criminal Case Management in the Federal Courts. [Citation Graph (0, 0)][DBLP ] Conf ] Larry R. Harris ROBOT: A High Performance Natural Language Data Base Query System. [Citation Graph (0, 0)][DBLP ] Conf ] Warren Teitelman A Display Oriented Programmer's Assistant. [Citation Graph (0, 0)][DBLP ] Conf ] David C. Brown , Stanley C. Kwasny , H. William Buttelmann , B. Chandrasekaran , Norman K. Sondheimer NLG - Natural Language Graphics. [Citation Graph (0, 0)][DBLP ] Conf ] Larry Travis , M. Honda , R. LeBlanc , S. Ziegler TELOS, A Language for Building Well-Structured AI Models. [Citation Graph (0, 0)][DBLP ] Conf ] Lotfi A. Zadeh PRUF - A Language for the Representation of Meaning in Natural Languages. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir V. Chavchanidze Heuristico-Conceptual Programming. [Citation Graph (0, 0)][DBLP ] Conf ] Randall Davis , Bruce G. Buchanan Meta-Level Knowledge: Overview and Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas B. Lenat , John P. McDermott Less Than General Production System Architectures. [Citation Graph (0, 0)][DBLP ] Conf ] Charles Forgy , John P. McDermott OPS, A Domain-Independent Production System Language. [Citation Graph (1, 0)][DBLP ] Conf ] William B. Gevarter , James S. Albus , N. Caplan , B. Chern , Kent Curtis , Marvin Denicoff , James R. Slagle Federal Programs in Artificial Intelligence. [Citation Graph (0, 0)][DBLP ] Conf ] Pamela McCorduck , Marvin Minsky , Oliver G. Selfridge , Herbert A. Simon History of Artificial Intelligence. [Citation Graph (0, 0)][DBLP ] Conf ] Jacques Pitrat , Erik Sandewall , Wolfgang Bibel , Gérard P. Huet , Hans-Hellmut Nagel , M. Somalivco Artificial Intelligence in Western Europe. [Citation Graph (0, 0)][DBLP ] Conf ] Donald E. Walker , Lee D. Erman , Allen Newell , Nils J. Nilsson , William H. Paxton , Terry Winograd , William A. Woods Speech Understanding and AI/AI and Speech Understanding. [Citation Graph (0, 0)][DBLP ] Conf ] Hans J. Berliner , R. Greenblatt , Jacques Pitrat , A. Samuel , David Slate Computer Game Playing. [Citation Graph (0, 0)][DBLP ] Conf ] Daniel G. Bobrow , Gary G. Hendrix , William A. Martin , John L. McCarthy , Allen Newell , Roger C. Schank , Brian C. Smith , N. S. Sridharan Knowledge Representation. [Citation Graph (0, 0)][DBLP ] Conf ] Azriel Rosenfeld , Jerome A. Feldman , Laveen N. Kanal , Patrick H. Winston AI and Pattern Recognition. [Citation Graph (0, 0)][DBLP ] Conf ] Saul Amarel , John Seely Brown , Bruce G. Buchanan , Peter E. Hart , Casimir A. Kulikowski , William A. Martin , Harry E. Pople Applications of Artificial Intelligence. [Citation Graph (0, 0)][DBLP ] Conf ] Roger C. Schank , Eugene Charniak , Yorick Wilks , Terry Winograd , William A. Woods Natural Language Processing. [Citation Graph (0, 0)][DBLP ] Conf ] Edward A. Feigenbaum The Art of Artificial Intelligence: Themes and Case Studies of Knowledge Engineering. [Citation Graph (1, 0)][DBLP ] Conf ] Harry E. Pople The Formation of Composite Hypotheses in Diagnostic Problem Solving: An Exercise in Synthetic Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] John L. McCarthy Epistemological Problems of Artificial Intelligence. [Citation Graph (1, 0)][DBLP ] Conf ] Rod M. Burstall , Joseph A. Goguen Putting Theories Together to Make Specifications. [Citation Graph (2, 0)][DBLP ] Conf ] Herbert A. Simon Artificial Intelligence Systems That Understand. [Citation Graph (0, 0)][DBLP ] Conf ] Takeo Kanade Model Representations and Control Structures in Image Understanding. [Citation Graph (0, 0)][DBLP ] Conf ] Marvin Minsky Plain Talk about Neurodevelopmental Epistemology. [Citation Graph (0, 0)][DBLP ] Conf ] Douglas B. Lenat Computers and Thought Lecture: The Ubiquity of Discovery. [Citation Graph (0, 0)][DBLP ] Conf ] 