3. AAAI 1983: Washington, D.C.

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 W. 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 S. 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

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