2. AAAI 1982: Pittsburgh, PA

Vision

• K. Prazdny:
  The Role of Eye Position Information in Algorithms for Stereoscopic Matching. 1-4
  
• D. D. Hoffman, W. A. Richards:
  Representing Smooth Plane Curves for Recognition: Implications for Figure-Ground Reversal. 5-8
  
• John R. Kender:
  Why Perspective Is Difficult: How Two Algorithms Fail. 9-12
  
• Donald B. Gennery:
  Tracking Known Three-Dimensional Objects. 13-17
  
• Katsushi Ikeuchi, Yoshiaki Shirai:
  A Model Based Vision System for Recognition of Machine Parts. 18-21
  
• Alex Pentland:
  Local Computation of Shape. 22-25
  
• William B. Thompson, Kathleen M. Mutch, Valdis Berzins:
  Edge Detection in Optical Flow Fields. 26-29
  
• Martin A. Fischler, Stephen T. Barnard, Robert C. Bolles, Michael R. Lowry, L. Quam, G. Smith, Andrew P. Witkin:
  Modeling and Using Physical Constraints in Scene Analysis. 30-35
  
• Andrew P. Witkin:
  Intensity-Based Edge Classification. 36-41
  
• Gérard G. Medioni:
  Segmentation of Images Into Regions Using Edge Information. 42-45
  
• Jia-Qi Fang, Thomas S. Huang:
  A Corner Finding Algorithm for Image Analysis and Registration. 46-49
  
• M. D. Diamond, N. Narasimhamurthi, S. Ganapathy:
  A Systematic Approach to Continuous Graph Labeling With Application to Computer Vision. 50-54
  
• Paul Amaranth, William Jaynes:
  Determining Surface Type From Surface Normals. 55-58
  

Natural Language and Speech

• Douglas E. Appelt:
  Planning Natural-Language Utterances. 59-62
  
• Lawrence Birnbaum:
  Argument Molecules: A Functional Representation of Argument Structure. 63-65
  
• James F. Allen, Alan M. Frisch, Diane J. Litman:
  ARGOT: The Rochester Dialogue System. 66-70
  
• Marc Luria:
  Dividing Up the Question Answering Process. 71-74
  
• David D. McDonald, E. Jeffrey Conklin:
  Salience as a Simplifying Metaphor for Natural Language Generation. 75-78
  
• Mark A. Jones, David Scott Warren:
  Conceptual Dependency and Montague Grammar: A Step Toward Conciliation. 79-83
  
• David L. Waltz:
  Event Shape Diagrams. 84-87
  
• Robert Milne:
  An Explanation for Minimal Attachment and Right Association. 88-90
  
• Mark D. Grover:
  A Synthetic Approach to Temporal Information Processing. 91-94
  
• Graeme Hirst, Eugene Charniak:
  Word Sense and Case Slot Disambiguation. 95-98
  
• David M. Keirsey:
  Word Learning With Hierarchy-Guided Inference. 99-102
  
• Robert Wilensky:
  Talking to UNIX in English: An Overview of UC. 103-106
  
• Renato de Mori, Attilio Giordana, Lorenza Saitta, Pietro Laface:
  An Expert System for Interpreting Speech Patterns. 107-110
  

Problem Solving and Search

• Bruce W. Ballard:
  A Search Procedure for Perfect Information Games of Chance: Its Formulation and Analysis. 111-114
  
• Jeffrey S. Rosenschein:
  Synchronization of Multi-Agent Plans. 115-119
  
• Dana S. Nau, Vipin Kumar, Laveen N. Kanal:
  A General Paradigm for A.I. Search Procedures. 120-123
  
• Paul Walton Purdom Jr., Cynthia A. Brown:
  Evaluating Search Methods Analytically. 124-127
  
• Bernard Nudel:
  Consistent-Labeling Problems and Their Algorithms. 128-132
  
• Judea Pearl:
  Reverend Bayes on Inference Engines: A Distributed Hierarchical Approach. 133-136
  
• Randall Davis, Howard E. Shrobe, Walter Hamscher, Kären Wieckert, Mark Shirley, Steve Polit:
  Diagnosis Based on Description of Structure and Function. 137-142
  
• Daniel D. Corkill, Victor R. Lesser, Eva Hudlicka:
  Unifying Data-Directed and Goal-Directed Control: An Example and Experiments. 143-147
  
• Sargur N. Srihari, Jonathan J. Hull:
  Knowledge Integration in Text Recognition. 148-151
  
• Reid G. Simmons:
  Spatial and Temporal Reasoning in Geologic Map Interpretation. 152-154
  
• Mark S. Fox, Bradley P. Allen, Gary Strohm:
  Job-Shop Scheduling: An Investigation in Constraint-Directed Reasoning. 155-158
  
• Douglas B. Lenat:
  Heuretics: Theoretical and Experimental Study of Heuristic Rules. 159-163
  
• Richard E. Korf:
  A Program That Learns to Solve Rubik's Cube. 164-167
  
• Jaime G. Carbonell:
  Experiential Learning in Analogical Problem Solving. 168-171
  
• Blake Ward, Gordon I. McCalla:
  Error Detection and Recovery in a Dynamic Planning Environment. 172-175
  
• Rajendra S. Wall, Edwina L. Rissland:
  Scenarios as an Aid to Planning. 176-180
  
• David McArthur, Randall Steeb, Stephanie J. Cammarata:
  A Framework for Distributed Problem Solving. 181-184
  
• Joseph Faletti:
  PANDORA: A Program for Doing Commonsense Planning in Complex Situations. 185-188
  

Knowledge Represenation

• Ronald J. Brachman, Hector J. Levesque:
  Competence in Knowledge Representation. 189-192
  
• Charles Rich:
  Knowledge Representation Languages and Predicate Calculus: How to Have Your Cake and Eat It Too. 193-196
  
• Marc B. Vilain:
  A System for Reasoning About Time. 197-201
  
• Kurt Konolige:
  Circumscriptive Ignorance. 202-204
  
• Kenneth D. Forbus:
  Modeling Motion With Qualitative Process Theory. 205-208
  
• Benjamin Kuipers:
  Getting the Envisionment Right. 209-212
  
• Hans J. Berliner, David H. Ackley:
  The QBKG System: Generating Explanations From a Non-Discrete Knowledge Representation. 213-216
  
• Carl T. Uhrik:
  PLANT/ds Revisited: Non-Homogeneous Evaluation Schema in Expert Systems. 217-220
  
• Neil C. Rowe:
  Inheritance of Statistical Properties. 221-224
  

Theorem Proving

• Mabry Tyson:
  Proof Methods in an Agenda-Based Natural-Deduction Theorem Prover. 225-228
  
• Mark E. Stickel:
  A Nonclausal Connection-Graph Resolution Theorem-Proving Program. 229-233
  

AI Languages and Software

• Alan Borning, Daniel H. H. Ingalls:
  Multiple Inheritance in Smalltalk-BO. 234-237
  
• Gordon S. Novak:
  GLISP: A High-Level Language for A.I. Programming. 238-241
  

Specialized Architecture for AI

• Salvatore J. Stolfo, David Elliot Shaw:
  DADO: A Tree-Structured Machine Architecture for Production Systems. 242-246
  

Cognitive Modeling

• Steven L. Small, Garrison W. Cottrell, Lokendra Shastri:
  Toward Connectionist Parsing. 247-250
  
• Mallory Selfridge:
  Why Do Children Misunderstand Reversible Passives? The CHILD Program Learns to Understand Passive Sentences. 251-254
  
• Paul S. Rosenbloom, Allen Newell:
  Learning by Chunking: Summary of a Task and a Model. 255-257
  
• R. J. Elliott, Michael Lesk:
  Route Finding in Street Maps by Computers and People. 258-261
  
• William F. Brewer:
  Plan Understanding, Narrative Comprehension, and Story Schemas. 262-264
  
• Michael G. Dyer:
  Affect Processing for Narratives. 265-268
  
• Margot Flowers:
  On Being Contradictory. 269-272
  
• Janet L. Kolodner:
  The Role of Experience in Development of Expertise. 273-277
  

Applications Systems

Computer Systems and Engineering

• Michael R. Genesereth:
  Diagnosis Using Hierarchical Design Models. 278-283
  
• Van E. Kelly, Louis I. Steinberg:
  The CRITTER System: Analyzing Digital Circuits by Propagating Behaviors and Specifications. 284-289
  
• Hal Shubin, John Wade Ulrich:
  IDT: An Intelligent Diagnostic Tool. 290-295
  
• William R. Nelson:
  REACTOR: An Expert System for Diagnosis and Treatment of Nuclear Reactor Accidents. 296-301
  
• W. E. Underwood:
  A CSA Model-Based Nuclear Power Plant Consultant. 302-305
  

Knowledge / Databases

• Charles Kellogg:
  Knowledge Management: A Practical Amalgam of Knowledge and Data Base Technology. 306-309
  
• Laurent Siklóssy, Jean-Louis Laurière:
  Removing Restrictions in the Relational Data Base Model: An Application of Problem Solving Techniques. 310-313
  
• Frederich N. Tou, Michael D. Williams, Richard Fikes, D. Austin Henderson Jr., Thomas W. Malone:
  RABBIT: An Intelligent Database Assistant. 314-318
  
• Susan P. Ennis:
  Expert Systems: A User's Perspective of Some Current Tools. 319-321
  
• Sholom M. Weiss, Casimir A. Kulikowski, Chidanand Apté, Michael Uschold, Jay Patchett, Robert Brigham, Belynda Spitzer:
  Building Expert Systems for Controlling Complex Programs. 322-326
  
• Lawrence A. Stabile:
  Frame-Based Computer Network Monitoring. 327-330
  
• Philip Klahr, David McArthur, Sanjai Narain:
  SWIRL: An Object-Oriented Air Battle Simulator. 331-334
  
• Bob London, William J. Clancey:
  Plan Recognition Strategies in Student Modeling: Prediction and Description. 335-338
  
• Jeff Shrager, Timothy W. Finin:
  An Expert System That Volunteers Advice. 339-340
  
• Yumi Iwasaki, Peter Friedland:
  SPEX: A Second-Generation Experiment Design System. 341-344
  

Medical

• Ramesh S. Patil, Peter Szolovits, William B. Schwartz:
  Information Acquisition in Diagnosis. 345-348
  
• B. Chandrasekaran, Sanjay Mittal:
  Deep Versus Compiled Knowledge Approaches to Diagnostic Problem-Solving. 349-354
  
• Robert L. Blum:
  Induction of Causal Relationships From a Time-Oriented Clinical Database: An Overview of the RX Project. 355-357
  
• Martha E. Pollack, Julia Hirschberg, Bonnie L. Webber:
  User Participation in the Reasoning Processes of Expert Systems. 358-361
  
• Norihiro Abe, Fumihide Itoh, Saburo Tsuji:
  Toward a Learning of Object Models Using Analogical Objects and Verbal Instruction. 362-366
  
• David R. Barstow, Roger Duffey, Stephen W. Smoliar, Stanley Vestal:
  An Overview of Phi_NIX. 367-369
  
• Drew V. McDermott, Ruven E. Brooks:
  ARBY: Diagnosis With Shallow Causal Models. 370-372
  
• Daniel E. Neiman:
  Graphical Animation From Knowledge. 373-376
  

Robotics

• Hans P. Moravec:
  The CMU Rover. 377-380
  
• Rodney A. Brooks:
  Solving the Find-Path Problem by Good Representation of Free Space. 381-386
  
• Jonathan Delatizky:
  Final Position Control in Planar Horizontal Arm Movements. 387-389
  
• Tokuji Okada:
  Development of an Overall Direction-of-Action Sensor for Robots. 390-393
  
• E. Gordon Powell:
  An Efficient Collision Warning Algorithm for Robot Arms. 394-395
  
• L. Y. Shih:
  Stability of Automatic Guidance for a Mobile Robot. 396-399
  

Program Synthesis and Understanding

• Joachim Laubsch, Marc Eisenstadt:
  Using Temporal Abstraction to Understand Recursive Programs Involving Side Effects. 400-403
  
• William R. Swartout:
  GIST English Generator. 404-409
  

Knowledge Acquisition

• Gerald DeJong:
  Automatic Schema Acquisition in a Natural Language Environment. 410-413
  
• Paul E. Utgoff, Tom M. Mitchell:
  Acquisition of Appropriate Bias for Inductive Concept Learning. 414-417
  

Theoretical Foundations

• Raymond Reiter:
  Circumscription Implies Predicate Completion (Sometimes). 418-420
  
• Eric Mays:
  Monitors as Responses to Questions: Determining Competence. 421-423
  
• John F. Lemmer, Stephen W. Barth:
  Efficient Minimum Information Updating for Bayesian Inferencing in Expert Systems. 424-427
  
• Robert C. Moore:
  The Role of Logic in Knowledge Representation and Commonsense Reasoning. 428-433
  
• Johan de Kleer, John Seely Brown:
  Foundations of Envisioning. 434-437
  

Last update Tue Feb 14 03:46:51 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page