3. AAAI 1983: Washington, D.C.

Michael R. Genesereth (Ed.): Proceedings of the National Conference on Artificial Intelligence. Washington, D.C., August 22-26, 1983. AAAI Press, 1983, ISBN 0-262-51052-9

Knowledge Representation and Problem Solving

Michael R. Genesereth: An Overview of Meta-Level Architecture. 119-124
David E. Smith: Finding All of the Solutions to a Problem. 373-377
Michael P. Georgeff: Communication and Interaction in Multi-Agent Planning. 125-129
Drew V. McDermott: Data Dependencies on Inequalities. 266-269
Ronald J. Brachman, Hector J. Levesque, Richard Fikes: KRYPTON: Integrating Terminology and Assertion. 31-35
Jean-Louis Lassez, Michael J. Maher: The Denotational Semantics of Horn Clauses as a Production System. 229-231
Mark E. Stickel: Theory Resolution: Building in Nonequational Theories. 391-397
Anthony G. Cohn: Improving the Expressiveness of Many Sorted Logic. 84-87
Eugene Charniak: The Bayesian Basis of Common Sense Medical Diagnosis. 70-73
Carl Hewitt, Peter de Jong: Analyzing the Roles of Descriptions and Actions in Open Systems. 162-167
Harry G. Barrow: Proving the Correctness of Digital Hardware Designs. 17-21
Murray Campbell, Hans J. Berliner: A Chess Program That Chunks. 49-53
Craig Stanfill: The Decomposition of a Large Domain: Reasoning About Machines. 387-390
William J. Long: Reasoning About State From Causation and Time in a Medical Domain. 251-254
Reid G. Simmons: The Use of Qualitative and Quantitative Simulations. 364-368
Elaine Kant, Allen Newell: An Automatic Algorithm Designer: An Initial Implementation. 177-181
David W. Etherington, Raymond Reiter: On Inheritance Hierarchies With Exceptions. 104-108
Elaine Rich: Default Reasoning as Likelihood Reasoning. 348-351
Jane Terry Nutter: Default Reasoning Using Monotonic Logic: A Modest Proposal. 297-300
Philippe Besnard, Rene Quiniou, Patrice Quinton: A Theorem-Prover for a Decidable Subset of Default Logic. 27-30
Jaime G. Carbonell: Derivational Analogy and Its Role in Problem Solving. 64-69

Cognitive Modeling

Neil M. Goldman: Three Dimensions of Design Development. 130-133
Peter Norvig: Six Problems for Story Understanders. 284-287
Kristian J. Hammond: Planning and Goal Interaction: The Use of Past Solutions in Present Situations. 148-151
Mark H. Burstein: A Model of Learning by Incremental Analogical Reasoning and Debugging. 45-48
Benjamin Kuipers: Modeling Human Knowledge of Routes: Partial Knowledge and Individual Variation. 216-219
Richard H. Granger, Kurt P. Eiselt, Jennifer K. Holbrook: STRATEGIST: A Program That Models Strategy-Driven and Content-Driven Inference Behavior. 139-147
Sarah A. Douglas, Thomas P. Moran: Learning Operator Semantics by Analogy. 100-103
Eswaran Subrahmanian: An Analysis of a Welfare Eligibility Determination Interview: A Planning Approach. 398-401

Vision and Robotics

John F. Canny: A Variational Approach to Edge Detection. 54-58
John R. Kender: Surface Constraints From Linear Extents. 187-190
James J. Little: An Iterative Method for Reconstructing Convex Polyhedra From External Guassian Images. 247-250
Michael J. Brooks: Two Results Concerning Ambiguity in Shape From Shading. 36-39
David G. Lowe, Thomas O. Binford: Perceptual Organization as a Basis for Visual Recognition. 255-260
Darwin T. Kuan, Robert J. Drazovich: Model-Based Interpretation of Range Imagery. 210-215
Robert A. Hummel: A Design Method for Relaxation Labeling Applications. 168-171
Tokuji Okada, Takeo Kanade: Appropriate Lengths Between Phalanges of Multijointed Fingers for Stable Grasping. 301-305
Rodney A. Brooks: Find-Path for a PUMA-Class Robot. 40-44
Terry E. Weymouth, J. S. Griffith, Allen R. Hanson, Edward M. Riseman: Rule Based Strategies for Image Interpretation. 429-432

Natural Language

Kathleen McKeown: Recursion in TEXT and Its Use in Language Generation. 270-273
Bradley A. Goodman: Repairing Miscommunication: Relaxation in Reference. 134-138
Sandra Carberry: Tracking User Goals in an Information-Seeking Environment. 59-63
Paul O'Rorke: Reasons for Beliefs in Understanding: Applications of Non-Monotonic Dependencies to Story Processing. 306-309
Michael Lebowitz: RESEARCHER: An Overview. 232-235
Daniel P. Huttenlocher, Victor W. Sue: Phonotactic and Lexical Constraints in Speech Recognition. 172-176
Edward P. Stabler Jr.: Deterministic and Bottom-Up Parsing in Prolog. 383-386
Henry S. Thompson: MCHART: A Flexible, Modular Chart Parsing System. 408-410
Martha Stone Palmer: Inference-Driven Semantic Analysis. 310-313
Ralph M. Weischedel: Mapping Between Semantic Representations Using Horn Clauses. 424-428
Joan Bachenko, Donald Hindle, Eileen Fitzpatrick: Constraining a Deterministic Parser. 8-11
James Clifford: QE-III: A Formal Approach to Natural Language Ouerying. 79-83
William C. Mann: An Overview of the Penman Text Generation System. 261-265
Michael J. Pazzani: Interactive Script Instantiation. 320-326

Learning

Dennis F. Kibler, Bruce W. Porter: Episodic Learning. 191-196
Kurt VanLehn: Human Procedural Skill Acquisition: Theory, Model and Psychological Validation. 420-423
D. Paul Benjamin, Malcolm C. Harrison: A Production System for Learning Plans From an Expert. 22-26
Richard E. Korf: Operator Decomposability: A New Type of Problem Structure. 206-209
Paul Smolensky: Schema Selection and Stochastic Inference in Modular Environments. 378-382
Douglas B. Lenat, John Seely Brown: Why AM and Eurisko Appear to Work. 236-240
Patrick H. Winston, Boris Katz, Thomas O. Binford, Michael R. Lowry: Learning Physical Descriptions From Functional Definitions, Examples, and Precedents. 433-439
Jack Mostow: A Problem-Solver for Making Advice Operational. 279-283
Steven Salzberg: Generating Hypotheses to Explain Prediction Failures. 352-355
Richard M. Keller: Learning by Re-Expressing Concepts for Efficient Recognition. 182-186
Paul D. Scott: Learning: The Construction of A Posteriori Knowledge Structures. 359-363
Larry A. Rendell: A Doubly Layered, Genetic Penetrance Learning System. 343-347
Elaine Pettit, Kathleen M. Swigger: An Analysis of Genetic-Based Pattern Tracking and Cognitive-Based Component Tracking Models of Adaptation. 327-332

Expert Systems

Anne v. d. L. Gardner: The Design of a Legal Analysis Program. 114-118
William J. Clancey: The Advantages of Abstract Control Knowledge in Expert System Design. 74-78
William R. Swartout: The GIST Behavior Explainer. 402-407
Nelleke Aiello: A Comparative Study of Control Strategies for Expert Systems: Age Implementation of Three Variations of PUFF. 1-4
Richard M. Tong, Daniel G. Shapiro, Brian P. McCune, Jeffrey S. Dean: A Rule-Based Approach to Information Retrieval: Some Results and Comments. 411-415
James R. Slagle, Michael Gaynor: Expert System Consultation Control Strategy. 369-372
Randall Davis: Diagnosis Via Causal Reasoning: Paths of Interaction and the Locality Principle. 88-94
James A. Reggia, Dana S. Nau, Pearl Y. Wang: A New Inference Method for Frame-Based Expert Systems. 333-337
John C. Kunz: Analysis of Physiological Behavior Using a Causal Model Based on First Principles. 225-228
Tom M. Mitchell, Louis I. Steinberg, Smadar T. Kedar-Cabelli, Van E. Kelly, Jeffrey Shulman, Timothy Weinrich: An Intelligent Aid for Circuit Redesign. 274-278
Jin Kim, John P. McDermott: TALIB: An IC Layout Design Assistant. 197-201
Walter Hamscher: Using Structural and Functional Information in Diagnostic Design. 152-156
Diane Warner Hasling: Abstract Explanations of Strategy in a Diagnostic Consultation System. 157-161

Search

Chun-Hung Tzeng, Paul Walton Purdom Jr.: A Theory of Game Trees. 416-419
Rina Dechter, Judea Pearl: The Optimality of A* Revisited. 95-99
Bernard Nudel: Solving the General Consistent Labeling (or Constraint Satisfaction) Problem: Two Algorithms and Their Expected Complexities. 292-296
Vipin Kumar, Laveen N. Kanal: The Composite Decision Process: A Unifying Formulation for Heuristic Search, Dynamic Programming and Branch & Bound Procedures. 220-224
Andrew L. Reibman, Bruce W. Ballard: Non-Minimax Search Strategies for Use Against Fallible Opponents. 338-342
Madhur Kohli, Jack Minker: Intelligent Control Using Integrity Constraints. 202-205
Jasmina Pavlin: Predicting the Performance of Distributed Knowledge-Based Systems: A Modeling Approach. 314-319

Support Hardware and Software

Scott E. Fahlman, Geoffrey E. Hinton, Terrence J. Sejnowski: Massively Parallel Architectures for AI: NETL, Thistle, and Boltzmann Machines. 109-113
Elizabeth Allen: YAPS: A Production Rule System Meets Objects. 5-7
Robert Balzer, David Dyer, Matthew Morgenstern, Robert Neches: Specification-Based Computing Environments. 12-16
Henry Lieberman: An Object-Oriented Simulator for the Apiary. 241-246
Gordon S. Novak: Knowledge-Based Programming Using Abstract Data Types. 288-291
Eric Schoen, Reid G. Smith: IMPULSE: A Display Oriented Editor for STROBE. 356-358