2. AAAI 1982:
Pittsburgh,
PA
David L. Waltz (Ed.):
Proceedings of the National Conference on Artificial Intelligence. Pittsburgh,
PA, August 18-20, 1982. AAAI Press, 1982, ISBN 0-262-51051-2
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
- J.-Q. 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
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
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
Specialized Architecture for AI
Cognitive Modeling
Applications Systems
Computer Systems and Engineering
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 PhiNIX.
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
Knowledge Acquisition
Theoretical Foundations
Copyright © Mon Nov 2 20:16:38 2009
by Michael Ley (ley@uni-trier.de)
